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

2010-10-08	simonpj@microsoft.com	Fix Trac #4360: omitted case in combineCtLoc	blob \| commitdiff
2010-10-08	simonpj@microsoft.com	Beautiful new approach to the skolem-escape check and...	blob \| commitdiff \| diff to current
2010-10-07	simonpj@microsoft.com	Some refactoring and simplification in TcInteract.occur...	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	Minor refactoring	blob \| commitdiff \| diff to current
2010-09-17	simonpj@microsoft.com	Yet more error message improvement	blob \| commitdiff \| diff to current
2010-09-13	Ian Lynagh	Fix build with 6.10	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)