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


Reply via email to