Major refactoring of the type inference engine
[ghc-hetmet.git] / compiler / typecheck / TcRnDriver.lhs
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2011-01-10 simonpj@microsoft.comDo dependency analysis when kind-checking type declarations
2010-12-22 simonpj@microsoft.comTidy up rebindable syntax for MDo
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-07 simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-09-19 simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ...
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-31 Ian LynaghExpose the functions haddock needs even when haddock...
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-06-25 amsay@amsay.nettrac #2362 (full import syntax in ghci)
2010-05-11 simonpj@microsoft.comFix Trac #4003: fix the knot-tying in checkHiBootIface
2010-05-06 simonpj@microsoft.comAdd a HsExplicitFlag to SpliceDecl, to improve Trac...
2010-03-20 Ian LynaghRemove LazyUniqFM; fixes trac #3880
2010-03-04 simonpj@microsoft.comRefactor part of the renamer to fix Trac #3901
2010-02-10 simonpj@microsoft.comSeveral TH/quasiquote changes
2010-01-22 Ian LynaghRemove an out-of-date comment
2010-01-20 simonpj@microsoft.comFix Trac #3813: unused variables in GHCi bindings
2010-01-20 simonpj@microsoft.comFix Trac #3823, plus warning police in TcRnDriver
2009-11-30 Simon MarlowCheck whether the main function is actually exported...
2009-11-06 simonpj@microsoft.comImprove debug-printing of the type environment
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-02 Ian LynaghFix typo in comment
2009-08-26 Isaac Dupreeremove Haddock-lexing/parsing/renaming from GHC
2009-09-08 simonpj@microsoft.comFix Trac #3468: improve checking for hs-boot interfaces
2009-07-24 Ian LynaghRemove GHC's haskell98 dependency
2009-07-06 simonpj@microsoft.comMajor patch to fix reporting of unused imports
2009-05-28 simonpj@microsoft.comMove getMainFun to TcRnDriver, trim DynFlags imports
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994)
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments
2008-12-30 simonpj@microsoft.comRefactor RnEnv to fix Trac #2901
2008-12-16 Simon MarlowRollback INLINE patches
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-08-14 dias@eecs.harvard.eduMerging in the new codegen branch
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
2008-10-03 simonpj@microsoft.comExpunge ThFake, cure Trac #2632
2008-09-14 Thomas SchillingMake typechecker top-level functions also return messag...
2008-08-11 simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion
2008-07-31 Max BolingbrokeUse DynFlags.getMainFun in TcRnDriver
2008-07-20 Ian LynaghAdd a WARNING pragma
2008-06-04 simonpj@microsoft.comSort modules and packages in debug print (reduce test...
2008-06-02 simonpj@microsoft.comFix minor layout issue (whitespace only)
2008-05-28 Simon MarlowUse MD5 checksums for recompilation checking (fixes...
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRnDriver
2008-04-10 simonpj@microsoft.comFix Trac #2205, which I introduced recently
2008-04-04 simonpj@microsoft.comFix Trac #2188: scoping in TH declarations quotes
2008-04-03 simonpj@microsoft.comFix Trac #2179: error message for main
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 1
2008-02-07 Ian LynaghConvert more UniqFM's back to LazyUniqFM's
2008-01-17 Twan van LaarhovenMonadify typecheck/TcRnDriver: use return and standard...
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised
2007-11-06 simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
2007-11-06 Simon MarlowGHC API: add checkAndLoadModule
2007-11-02 simonpj@microsoft.comRefactor error recovery slightly
2007-11-01 David WaernRefactor Haddock options
2007-10-10 Dan LicataView patterns, record wildcards, and record puns
2007-09-05 Manuel M T ChakravartyFIX #1651: use family instances during interactive...
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-30 Manuel M T ChakravartyAdded decidability check for type instances
2007-08-26 Ian LynaghCheck that exported modules were actually imported...
2007-08-04 simonpj@microsoft.comIn GHCi, filter instances by what is in scope, not...
2007-08-02 simonpj@microsoft.comDump renamer output with -ddump-rn for command-line...
2007-07-17 andy@galois.comAdding pushing of hpc translation status through hi...
2007-07-12 Pepe IborraTeach :print to not panic when the DataCon for a closur...
2007-07-13 Manuel M T Chakravartyinit mg_inst_env when reading ext core
2007-07-10 Ian LynaghBe finer-grained when turning on extensions for generat...
2007-05-23 simonpj@microsoft.comIn GHCi, bind identifiers at TH level 'impLevel'
2007-05-14 simonpj@microsoft.comImprove error message when 'main' is not defined
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-05-06 Manuel M T ChakravartyExtend hptInstances to also cover family instances
2007-05-04 Manuel M T ChakravartyAdded VectInfo to ModGuts
2007-05-03 Simon Marlowcancel out some reverses by changing the order of ic_tm...
2007-05-02 Simon MarlowRefactoring, tidyup and improve layering
2007-05-02 simonpj@microsoft.comDo not generate warnings for compiler-generated code
2007-04-25 Simon MarlowTidy types of free vars at a breakpoint
2007-04-25 Simon MarlowKeep track of free type variables in the interactive...
2007-04-17 Simon MarlowRe-working of the breakpoint support
2007-04-11 Simon MarlowRationalise GhcMode, HscTarget and GhcLink
2007-03-21 simonpj@microsoft.comFix checkHiBootIface for instances declared in hs-boot...
2007-03-21 simonpj@microsoft.comWibble to GHCi part of TcRnDriver
2007-03-21 simonpj@microsoft.comYet another wibble to checkHiBootIface; it's trickier...
2007-03-20 simonpj@microsoft.comFurther wibbles to checkBootIface (fixed HEAD build)
2007-03-16 simonpj@microsoft.comRefactor TcRnDriver, and check exports on hi-boot files
2007-01-11 simonpj@microsoft.comAvoid duplicate defns of 'main' in module Main
2007-01-11 simonpj@microsoft.comMake the LiberateCase transformation understand associa...
2007-01-03 simonpj@microsoft.comFix stupid error in rehashing TcRnDriver (fixes TH...
2006-12-21 Manuel M T ChakravartyAdd hook to fam inst consistency check to GHCi/--make
2006-12-11 Pepe IborraAdjust code from manual merges
2006-12-10 Pepe IborraBreakpoint code instrumentation
2006-12-10 Pepe IborraPlaying with closures
2006-12-12 simonpj@microsoft.comMissed a stage-2 problem in the TcSimplify refactoring
2006-12-12 simonpj@microsoft.comFix up yesterdays commit to TcSimplify; fixes broken...
2006-12-07 Manuel M T ChakravartyFix family instance consistency check for home package...
2006-11-22 simonpj@microsoft.comRefactoring of where tcSimplifyTop happens
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-24 andy@galois.comHaskell Program Coverage
next