projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor type errors a bit
[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs
2010-09-17 simonpj@microsoft.comRefactor type errors a bit blob | commitdiff
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-03-20 Ian LynaghRemove LazyUniqFM; fixes trac #3880 blob | commitdiff | diff to current
2010-02-10 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2009-11-30 Simon MarlowCheck whether the main function is actually exported... blob | commitdiff | diff to current
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467) blob | commitdiff | diff to current
2009-08-26 Isaac Dupreeremove Haddock-lexing/parsing/renaming from GHC blob | commitdiff | diff to current
2009-07-23 simonpj@microsoft.comFix Trac #3012: allow more free-wheeling in standalone... blob | commitdiff | diff to current
2009-07-16 Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances... blob | commitdiff | diff to current
2009-07-07 Ian LynaghRemove unused imports blob | commitdiff | diff to current
2009-07-06 simonpj@microsoft.comMajor patch to fix reporting of unused imports blob | commitdiff | diff to current
2009-04-27 Manuel M T ChakravartyEquality constraint solver is now externally pure blob | commitdiff | diff to current
2009-01-30 simonpj@microsoft.comFix Trac #2985: generating superclasses and recursive... blob | commitdiff | diff to current
2008-12-11 Thomas SchillingComments only. Haddockify parts of TcRnTypes. blob | commitdiff | diff to current
2008-10-30 simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature blob | commitdiff | diff to current
2008-10-28 simonpj@microsoft.comFix Trac #2723: keep track of record field names in... blob | commitdiff | diff to current
2008-10-15 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2008-10-02 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities blob | commitdiff | diff to current
2008-08-11 simonpj@microsoft.comMake comparison on equalities work right (ie look at... blob | commitdiff | diff to current
2008-07-20 Thomas SchillingFix Haddock errors. blob | commitdiff | diff to current
2008-07-20 Ian LynaghAdd a WARNING pragma blob | commitdiff | diff to current
2008-06-06 Ian LynaghFix warnings in TcRnTypes blob | commitdiff | diff to current
2008-05-28 Simon MarlowUse MD5 checksums for recompilation checking (fixes... blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRnTypes blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3 blob | commitdiff | diff to current
2008-02-07 Ian LynaghConvert more UniqFM's back to LazyUniqFM's blob | commitdiff | diff to current
2008-01-18 simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland blob | commitdiff | diff to current
2007-11-22 Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints blob | commitdiff | diff to current
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised blob | commitdiff | diff to current
2007-11-06 simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell... blob | commitdiff | diff to current
2007-10-27 simonpj@microsoft.comAn implication constraint can abstract over EqInsts blob | commitdiff | diff to current
2007-10-10 Dan LicataView patterns, record wildcards, and record puns blob | commitdiff | diff to current
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules blob | commitdiff | diff to current
2007-09-11 simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty... blob | commitdiff | diff to current
2007-09-06 Manuel M T ChakravartyEqInst related clean up 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-08-26 Ian LynaghCheck that exported modules were actually imported... blob | commitdiff | diff to current
2007-07-17 andy@galois.comAdding pushing of hpc translation status through hi... blob | commitdiff | diff to current
2007-06-21 LemmihAdd several new record features blob | commitdiff | diff to current
2007-05-02 simonpj@microsoft.comImprove error reporting for type signatures blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification blob | commitdiff | diff to current
2006-11-24 simonpj@microsoft.comGather constraints in program order blob | commitdiff | diff to current
2006-11-23 simonpj@microsoft.comSimplify TcSimplify, by removing Free blob | commitdiff | diff to current
2006-11-22 simonpj@microsoft.comRetain simplifications of implication constraints blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-10-18 Manuel M T ChakravartyCross-module consistency check for family instances blob | commitdiff | diff to current
2006-10-13 simonpj@microsoft.comMore refactoring in RnNames blob | commitdiff | diff to current
2006-10-13 Manuel M T ChakravartyKeep track of family instance modules 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 MarlowMore import tidying and fixing the stage 2 build blob | commitdiff | diff to current
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent blob | commitdiff | diff to current
2006-10-10 Manuel M T ChakravartyRough matches for family instances blob | commitdiff | diff to current
2006-10-05 davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big... blob | commitdiff | diff to current
2006-09-19 bjorn@bringert.netFixed source location and instance origin in stand... 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 ChakravartyBasic set up for global family instance environment 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-08-11 simonpj@microsoft.comTwo more error message indendations blob | commitdiff | diff to current
2006-07-25 Simon MarlowGeneralise Package Support blob | commitdiff | diff to current
2006-07-24 Simon MarlowIn interface files, store FastStrings rather than OccNa... blob | commitdiff | diff to current
2006-04-18 simonpj@microsoft.comComment only 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)