enhancement for ADTs/GADTs, active patterns and capturing

thautwarm released this 02 Mar 10:25

· 212 commits to master since this release

Fixed subtyping of ADT/GADT
Enhanced the implicit conversion for GADTs
Allowed capturing by uppercase symbols, via enabling UppercaseCapturing
Allowed ML style enumerations and view/active patterns

Assets 2