nordland 2003/02/10 12:24:02 PST
Modified files:
timber/compiler Core.hs Desugar.hs Env.hs Kind.hs
Match.hs
Log:
Added support for predicate schemes and rank-n polymorphic types.
Re-implemented kind-inference is now a separate pass.
[Better hurry committing before I get swamped by merge conflicts :-) ]
Revision Changes Path
1.23 +108 -50 /timber/compiler/Core.hs
1.27 +15 -17 /timber/compiler/Desugar.hs
1.21 +15 -57 /timber/compiler/Env.hs
1.17 +177 -46 /timber/compiler/Kind.hs
1.19 +2 -2 /timber/compiler/Match.hs
_______________________________________________
Cvs-other mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-other