projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Major refactoring of the type inference engine
[ghc-hetmet.git] / compiler / basicTypes / Var.lhs
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine blob | commitdiff
2010-09-16 simonpj@microsoft.comPrint coercion variables as such (debugging change... blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-03-30 David WaernAdd Data and Typeable instances to HsSyn blob | commitdiff | diff to current
2009-11-10 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2009-04-02 simonpj@microsoft.comBetter panic reporting blob | commitdiff | diff to current
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions blob | commitdiff | diff to current
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... blob | commitdiff | diff to current
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables blob | commitdiff | diff to current
2008-09-16 Manuel M T ChakravartyType families: bug fixes blob | commitdiff | diff to current
2008-08-28 Ian Lynaghhaddock 2 doc fixes blob | commitdiff | diff to current
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id... blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Var blob | commitdiff | diff to current
2008-01-26 Twan van LaarhovenFixed warnings in basicTypes/Var blob | commitdiff | diff to current
2008-01-17 Isaac Dupreelots of portability changes (#1405) blob | commitdiff | diff to current
2007-10-27 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2007-09-08 Ian LynaghMake various assertions work when !DEBUG blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas blob | commitdiff | diff to current
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... blob | commitdiff | diff to current
2007-08-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables blob | commitdiff | diff to current
2006-11-01 simonpj@microsoft.comMake idInfo fail more informatively on TyVars blob | commitdiff | diff to current
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar blob | commitdiff | diff to current
2006-10-11 Simon MarlowModule header tidyup, phase 1 blob | commitdiff | diff to current
2006-10-06 simonpj@microsoft.comImport trimming blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartyfixing record selectors blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyComments only blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... blob | commitdiff | diff to current
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-09-11 simonpj@microsoft.comAdd comment 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)