projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix CodingStyle#Warnings URLs
[ghc-hetmet.git] / compiler / typecheck / Inst.lhs
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff
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-08-04 Ian LynaghRename Opt_Allow* to Opt_* to match the language names blob | commitdiff | diff to current
2007-08-04 Ian LynaghTypo in a comment blob | commitdiff | diff to current
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB blob | commitdiff | diff to current
2007-06-19 simonpj@microsoft.comFix a bug in the handling of implication constraints... blob | commitdiff | diff to current
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name blob | commitdiff | diff to current
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv blob | commitdiff | diff to current
2006-12-21 lennart@augustsson.netAdd support for overloaded string literals. blob | commitdiff | diff to current
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables blob | commitdiff | diff to current
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code blob | commitdiff | diff to current
2006-12-29 Manuel M T ChakravartyMake dicts for arbitrary type equalities blob | commitdiff | diff to current
2006-12-29 Manuel M T ChakravartyConstruction of EqPred dictionaries blob | commitdiff | diff to current
2006-12-01 simonpj@microsoft.comq blob | commitdiff | diff to current
2006-11-23 simonpj@microsoft.comSimplify TcSimplify, by removing Free blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar blob | commitdiff | diff to current
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes blob | commitdiff | diff to current
2006-10-11 Simon MarlowModule header tidyup, phase 1 blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAnother comment 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 Chakravartynewtype deriving still not working blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... 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-07-25 Simon MarlowGeneralise Package Support 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)