projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Global renamings in HsSyn
[ghc-hetmet.git] / compiler / typecheck / TcUnify.lhs
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff
2006-09-29 simonpj@microsoft.comImprove unification error messages (again) (push to... blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comTrim more imports blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages blob | commitdiff | diff to current
2006-09-18 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2006-09-06 simonpj@microsoft.comPattern-match warning police blob | commitdiff | diff to current
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments blob | commitdiff | diff to current
2006-08-11 simonpj@microsoft.comImprove error message layouts blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comImprove error message blob | commitdiff | diff to current
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check blob | commitdiff | diff to current
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting... blob | commitdiff | diff to current
2006-06-23 Simon Marlowthe unlifted kind blob | commitdiff | diff to current
2006-05-05 simonpj@microsoft.comPreserve type variable names during type inference blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)