Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / typecheck / TcExpr.lhs
2006-10-03 simonpj@microsoft.comFix scoped type variables for expression type signatures
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-23 simonpj@microsoft.comFix origin for addDataConStupidTheta
2006-09-20 Manuel M T ChakravartySPJ's fix to resolve conflict in instFun
2006-09-20 Manuel M T ChakravartyAdjust code from manual merges
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-19 Ross Patersonremove spurious commas in imports
2006-08-18 simonpj@microsoft.comI don't thing we want to add a call-context here; it...
2006-08-16 simonpj@microsoft.comAdd ad-hoc typing checks for tagToEnum#
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-07 Simon MarlowReorganisation of the source tree