search

hughperman / pure-lang

Automatically exported from code.google.com/p/pure-lang
0 stars 0 forks source link

Empty und unimplemented interface types #95

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
This doesn't work as advertized (empty interface type should match anything but 
it matches nothing):

interface any with end;

Also, if a *non-empty* interface type has no implementation at the time it is 
defined, then pure -w gives a warning about an incomplete interface type. We 
should just silenty treat this as an empty type. Example:

interface bar with foo x::bar; end;

Original issue reported on code.google.com by aggraef@gmail.com on 28 Sep 2012 at 8:43

GoogleCodeExporter commented 8 years ago 
This issue was closed by revision 23e242c0b321.

Original comment by aggraef@gmail.com on 13 Nov 2012 at 7:04