I need your opinion... (original) (raw)

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

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