[Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Stuart Golodetz
Hi, As a follow-up to my question about the way in which Mono handles generic types (see Handling of generics by Mono compiler on January 15), please do you know whether the distinction being made by Mono between a generic type and the instance type corresponding to it is only of relevance to the

Re: [Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Rafael Teixeira
I just think that if you would query such a thing as list all classes with a method that returns an integer, the generic class: public class DoerT { public T Do() {...} } ... shouldn't be listed but this instanced version probably should: public class DoOnInt : Doerint {} Hope it helps,

Re: [Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Stuart Golodetz
Hi Rafael, Thanks, but if I'm understanding you right, I don't mean the distinction between an instantiation of the generic type (if that's the right term) and the generic type, I mean the difference between the constructed version of the generic type (for accesses from within the generic type)

Re: [Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Marek Safar
Hey, As a follow-up to my question about the way in which Mono handles generic types (see Handling of generics by Mono compiler on January 15), please do you know whether the distinction being made by Mono between a generic type and the instance type corresponding to it is only of relevance

Re: [Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Stuart Golodetz
Hi Marek, Thanks. The question actually relates to mcs internals because we're using it as a frontend when extracting information from the source code. Our usual approach is to be as faithful to the representation used by the compiler as possible, but in this case it's complicating the queries,

Re: [Mono-dev] Distinction between generic type and instance type

2013-02-06 Thread Jonathan Pryor
On Feb 6, 2013, at 10:28 AM, Stuart Golodetz stu...@semmle.com wrote: do you know whether the distinction being made by Mono between a generic type and the instance type corresponding to it is only of relevance to the compiler, or does it have real implications for an application-level