On 16/09/2014, at 8:51 PM, john skaller wrote:
> Oh YES! Here we go (takes AGES to compile but it works):
> fun _match_ctor_Empty[T] (x:ralist[T]) => ralist_empty x;
Well .. consider this:
fun _match_ctor_Negative (x:int) => x < 0;
match a with | Negative => println$ a.str + "is negative"; endmatch
But, you can also write
_match_ctor_Negative x
to mean "x is Negative" so why not allow that? Except for the union case
which needs some tom foolery it would be easy to translate:
x is Negative ==> _match_ctor_Negative x
But now there's a serious question: why can't
x is Negative
just be a synonym for
Negative x
??
Hmm .. seeking syntactic unification here.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Want excitement?
Manually upgrade your production database.
When you want reliability, choose Perforce
Perforce version control. Predictably reliable.
http://pubads.g.doubleclick.net/gampad/clk?id=157508191&iu=/4140/ostg.clktrk
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
