add comment
[ghc-hetmet.git] / compiler / typecheck / TcEnv.lhs
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-04-12 simonpjInitial commit for Pedro's new generic default methods
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-15 simonpj@microsoft.comImprove printing for -ddump-deriv
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-08-20 dimitris@microsoft.comMinor
2010-03-09 simonpj@microsoft.comFix Trac #1954: newtype deriving caused 'defined but...
2010-02-10 simonpj@microsoft.comImprove error dump in TcEnv
2010-02-10 simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
2009-09-11 simonpj@microsoft.comWibble to error message
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-08-20 simonpj@microsoft.comImprovements to record puns, wildcards
2009-07-23 simonpj@microsoft.comFix Trac #3012: allow more free-wheeling in standalone...
2009-07-16 Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances...
2009-07-10 Manuel M T ChakravartyTFs: Fix should_compile/Simple8
2009-07-07 Ian LynaghRemove unused imports
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-31 simonpj@microsoft.comFix Trac #2856: make deriving work for type families
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
2008-10-28 simonpj@microsoft.comFix Trac #2723: keep track of record field names in...
2008-10-03 simonpj@microsoft.comFix warnings
2008-10-03 simonpj@microsoft.comExpunge ThFake, cure Trac #2632
2008-08-11 simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion
2008-07-31 Max BolingbrokeMinor refactorings in TcEnv
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378
2008-06-10 Ian LynaghFix warnings in TcEnv
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcEnv
2008-04-02 simonpj@microsoft.comFix Trac #2141: invalid record update
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3
2008-01-17 Twan van LaarhovenMonadify typecheck/TcEnv: use do, return, applicative...
2007-11-06 simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
2007-10-10 Dan LicataView patterns, record wildcards, and record puns
2007-10-10 simonpj@microsoft.comcheckWellStaged: reverse comparsion (no change in seman...
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
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-06-25 simonpj@microsoft.comPrint infix type constructors in an infix way
2007-05-23 simonpj@microsoft.comIn GHCi, bind identifiers at TH level 'impLevel'
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-10 Michael D. AdamsWarning fix for unused and redundant imports
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons
2007-01-11 simonpj@microsoft.comAdd the function TypeRep.pprTypeApp, and use it
2007-01-04 Manuel M T ChakravartyFix and improve deriving for indexed data types
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
2006-12-18 Manuel M T ChakravartyDeriving for indexed data types
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-13 simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10 simonpj@microsoft.comFail more informatively when a global isn't in the...
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
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-05-05 simonpj@microsoft.comTrim imports
2006-05-04 simonpj@microsoft.comPrint a more helpful error for find_thing
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-07 Simon MarlowReorganisation of the source tree