<div dir="ltr">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:<div><br></div><div style>public class Doer<T> {</div><div style>
<br></div><div style>public T Do() {...}</div><div style><br></div><div style>}</div><div style><br></div><div style>... shouldn't be listed but this instanced version probably should:</div><div style><br></div><div style>
public class DoOnInt : Doer<int> {}</div><div style><br></div><div style>Hope it helps,</div></div><div class="gmail_extra"><br clear="all"><div>Rafael "Monoman" Teixeira<br>---------------------------------------<br>
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' (I found it!) but 'That's funny ...'"<br>Isaac Asimov<br>US science fiction novelist & scholar (1920 - 1992)</div>

<br><br><div class="gmail_quote">On Wed, Feb 6, 2013 at 1:28 PM, Stuart Golodetz <span dir="ltr"><<a href="mailto:stuart@semmle.com" target="_blank">stuart@semmle.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
As a follow-up to my question about the way in which Mono handles generic<br>
types (see "Handling of generics by Mono compiler" on January 15), please do<br>
you know whether the distinction being made by Mono between a generic type<br>
and the instance type corresponding to it is only of relevance to the<br>
compiler, or does it have real implications for an application-level<br>
developer? (This relates to the comment Marek Safar made in the previous<br>
thread, namely: "Compiled generic types always exist at least as open<br>
(generic) types, usually TypeContainer(s) but can at the same time exist as<br>
InflatedTypeSpec too when accesses from within the type.")<br>
<br>
I'm working on a static analysis tool, and it would arguably be quite<br>
helpful to blur the distinction between the two for the purposes of writing<br>
queries over the source code (i.e. query writers shouldn't necessarily have<br>
to know about compiler internals), but I'm loath to make that change if<br>
there's a practical difference between the two that's relevant even outside<br>
the compiler.<br>
<br>
I realise it's a bit of a difficult question to answer without the full<br>
context, but any thoughts would be extremely welcome.<br>
<br>
Cheers,<br>
Stuart<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://mono.1490590.n4.nabble.com/Distinction-between-generic-type-and-instance-type-tp4658491.html" target="_blank">http://mono.1490590.n4.nabble.com/Distinction-between-generic-type-and-instance-type-tp4658491.html</a><br>

Sent from the Mono - Dev mailing list archive at Nabble.com.<br>
_______________________________________________<br>
Mono-devel-list mailing list<br>
<a href="mailto:Mono-devel-list@lists.ximian.com">Mono-devel-list@lists.ximian.com</a><br>
<a href="http://lists.ximian.com/mailman/listinfo/mono-devel-list" target="_blank">http://lists.ximian.com/mailman/listinfo/mono-devel-list</a><br>
</blockquote></div><br></div>