On 10/03/2013, at 5:46 PM, john skaller wrote:
>
> Rule change. Qualified constructor names are banned.
> Reason: we always know the union type within which
> to find the constructor. So the qualification is useless.
in particular you can NOT do this anymore:
match None[int] with
| None[int] => ..
****
ERROR. in patterns, you have to use a plain identifier.
The system knows the union type from the match expression
and the bindings for type parameters.
On the other hand for constant constructors in expressions the type bindings
are mandatory.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester
Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the
endpoint security space. For insight on selecting the right partner to
tackle endpoint security challenges, access the full report.
http://p.sf.net/sfu/symantec-dev2dev
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
