git.megacz.com Git - ghc-hetmet.git/history - compiler/typecheck/TcCanonical.lhs

2010-10-19	dimitris@microsoft.com	Midstream changes to deal with spontaneous solving...	blob \| commitdiff
2010-10-18	dimitris@microsoft.com	Major pass through type checker:(1) prioritizing equali...	blob \| commitdiff \| diff to current
2010-10-12	dimitris@microsoft.com	Minor	blob \| commitdiff \| diff to current
2010-10-08	dimitris@microsoft.com	Kind checking bugfix (#4356) and preventing wanteds...	blob \| commitdiff \| diff to current
2010-10-06	dimitris@microsoft.com	Major bugfixing pass through the type checker	blob \| commitdiff \| diff to current
2010-10-04	dimitris@microsoft.com	Typechecker performance fixes and flatten skolem bugfixing	blob \| commitdiff \| diff to current
2010-09-17	simonpj@microsoft.com	Refactor type errors a bit	blob \| commitdiff \| diff to current
2010-09-13	simonpj@microsoft.com	Super-monster patch implementing the new typechecker...	blob \| commitdiff \| diff to current

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)