I need your opinion...

Florian Weimer fw at deneb.enyo.de
Sat Mar 21 14:46:44 PDT 2009

* John Rose:

> On Mar 21, 2009, at 12:52 PM, Marek Kozieł wrote:
>> Allow final variables and final Fields (except blank final), to not
>> having explicit Type.
> Yes.  Someone should work exactly this (and no more) into a separate  
> proposal, if it hasn't been done already.

What should be the inferred type of an expression with an intersection
type?  Is there an answer which is acceptable in the COIN context?

More information about the coin-dev mailing list