Add ASSERTs to all calls of nameModule
[ghc-hetmet.git] / compiler / typecheck / Inst.lhs
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule
2008-10-01 Manuel M T ChakravartyTcSimplify.reduceImplication: clean up
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables
2008-09-16 Manuel M T ChakravartyType families: bug fixes
2008-09-15 Manuel M T ChakravartySignature for Inst.isValidWantedEqInst
2008-09-14 Manuel M T ChakravartyRemember if RewriteInst is swapped & bug fixes
2008-09-13 Manuel M T ChakravartyType families: completed the new equality solver
2008-09-10 simonpj@microsoft.comAdd newDictOcc, newDictOccs
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities
2008-07-31 Max BolingbrokeFollow OccName and MkCore changes in Inst
2008-06-16 Ian LynaghMore commandline flag improvements
2008-06-05 simonpj@microsoft.comVital follow-up to fix of Trac #2045
2008-05-10 Ian LynaghRemove redundant imports from Inst
2008-05-10 Ian LynaghFix a warning when DEBUG is not on
2008-05-06 Ian LynaghMake Inst warning-free
2008-05-06 Ian LynaghAdd a panic for lookupPred EqPred
2008-05-06 simonpj@microsoft.comFix Trac #2246; overhaul handling of overloaded literals
2008-04-23 Ian LynaghAdd 123## literals for Word#
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Inst
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-03-06 simonpj@microsoft.comFix Trac #783: improve short-cutting literals in the...
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3
2008-01-17 Twan van LaarhovenMonadify typecheck/Inst: use do, return and standard...
2007-11-28 simonpj@microsoft.comImprove pretty-printing for Insts
2007-11-22 Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug
2007-10-27 simonpj@microsoft.comAn implication constraint can abstract over EqInsts
2007-10-18 Manuel M T ChakravartyFix typo that prevented zonking of rhs of EqInsts
2007-10-10 Dan LicataView patterns, record wildcards, and record puns
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-06 Manuel M T ChakravartyEqInst related clean up
2007-09-04 Tom Schrijversfix of wanted equational class context
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
2007-08-04 Ian LynaghRename Opt_Allow* to Opt_* to match the language names
2007-08-04 Ian LynaghTypo in a comment
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB
2007-06-19 simonpj@microsoft.comFix a bug in the handling of implication constraints...
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv
2006-12-21 lennart@augustsson.netAdd support for overloaded string literals.
2007-01-03 simonpj@microsoft.comFix several bugs related to finding free variables
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
2006-12-29 Manuel M T ChakravartyMake dicts for arbitrary type equalities
2006-12-29 Manuel M T ChakravartyConstruction of EqPred dictionaries
2006-12-01 simonpj@microsoft.comq
2006-11-23 simonpj@microsoft.comSimplify TcSimplify, by removing Free
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-11 simonpj@microsoft.comMake Inst into a record type to ease subsequent changes
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-20 Manuel M T ChakravartyAnother comment
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T Chakravartynewtype deriving still not working
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-07-25 Simon MarlowGeneralise Package Support
2006-04-07 Simon MarlowReorganisation of the source tree