Major refactoring of CoAxioms
[ghc.git] / compiler / typecheck / Inst.lhs
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-21  Simon MarlowAdd support for all top-level declarations to GHCi
2011-09-17  Ian LynaghImprove the handling of Integer literals
2011-09-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-13  Ian Lynaghchange how Integer's are handled in Core
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-18  David TereiSafeHaskell: Move safe haskell flag into Overlap flag
2011-06-18  David TereiSafeHaskell: Restrict OverlappingInstances.
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-19  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Dimitrios VytiniotisIntroducing:
2011-05-15  Max BolingbrokeUse FractionalLit more extensively to improve other...
2011-05-15  Max BolingbrokeRecord the original text along with parsed Rationals...
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-11-12  simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-22  simonpj@microsoft.comAdd rebindable syntax for if-then-else
2010-10-13  benl@ouroborus.netFix warnings
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-15  simonpj@microsoft.comFix egregious bug in deeplyInstantiate
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-09-10  simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-08-20  Manuel M T ChakravartyFIX #2767 & original problem of #3208
2009-06-03  simonpj@microsoft.comAllow RULES for seq, and exploit them
2009-05-28  simonpj@microsoft.comRemove dead code isHsVar
2009-04-27  Manuel M T ChakravartyEquality constraint solver is now externally pure
2009-03-15  Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct...
2009-02-11  simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
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
next