[nem-en] RFC: matching variant options against non-variant values

[Kamil Skalski]

2007/4/30, Kamil Skalski <kamil.skalski at gmail.com>:
> Well, this would be consistent with
..
>   | A where (foo = 1) => System.Console.WriteLine ("a");
>   | _ => ()
> }

I mean - it does not compile and now variants behave in similar way.

> > TyVar was matched against a pattern of type MType.Something. The
> > correct way to do it, is to match the result of Fix(), otherwise we

This is actually the problem with TyVar / MType data-structure /
design. I don't think this is the universal scenario and I think that
even in more cases being able to match directly against variant
options is good.

-- 
Kamil Skalski
http://nazgul.omega.pl