Flattener preserves synonyms, rewriteEvidence can drop buggy "optimisation"
[ghc.git] / compiler / typecheck / TcCanonical.lhs
2014-03-24  Simon Peyton JonesFlattener preserves synonyms, rewriteEvidence can drop...
2014-03-24  Simon Peyton JonesDebug tracing only
2014-03-24  Simon Peyton JonesFor equalities with incompatible kinds, new IrredCan...
2014-02-18  Simon Peyton JonesAdd some more traceTcS calls
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesFurther refine the test for 'given' equalities
2014-01-03  Simon Peyton JonesImprove the equality-floating story (again), to fix...
2013-12-28  Simon Peyton JonesRe-factor TcCanonical (again), fixes Trac #8603
2013-12-10  Simon Peyton JonesDo not generate given kind-equalities (fix Trac #8566)
2013-12-02  Joachim BreitnerHandle Coercible (forall a. t) (forall a. t2) in TcInteract
2013-12-02  Joachim BreitnerRefactor deferTcSForAllEq: Do not bind, but return...
2013-11-29  Joachim BreitnerUpdate Notes for Coercible
2013-11-29  Herbert Valerio... Remove whitespace between macro identifiers and `(`
2013-11-28  Joachim BreitnerEvCast needs to take a representational coercion
2013-11-27  Joachim BreitnerCoercible for impredicative types
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-22  Joachim BreitnerLarge refactor: Move CtLoc field from Ct to CtEvidence
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-22  Simon Peyton JonesBetter constraint-solver tracing
2013-11-18  Simon Peyton JonesFix typo in a836b6, 'Improve orientation'
2013-11-15  Simon Peyton JonesFix canIrredPred again
2013-11-15  Simon Peyton JonesImprove orientation
2013-11-15  Simon Peyton JonesFix a subtle bug in kind-mis-matched equalities (Trac...
2013-11-06  Simon Peyton JonesUntabify and whitespace
2013-11-06  Simon Peyton JonesRefactor the constraint solver (again!)
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-06-12  Simon Peyton JonesFix the constraint simplifier (Trac #7967)
2013-05-03  Simon Peyton JonesEliminate (given) flatten-skolems in favour of user...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-03  Simon Peyton JonesThis changes fixes a bad error in canonicalisation...
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-03  Simon Peyton JonesTreat equalities with incompatible kinds as "irreducibl...
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-30  Simon Peyton JonesAdd support for *named* holes; an extension of -XTypeHoles
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-24  Simon Peyton JonesA bit more tracing
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-10-31  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-31  Simon Peyton JonesDo not instantiate unification variables with polytypes
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesComments and debug tracing only
2012-10-15  Simon Peyton JonesMove occurCheckExpand from TcCanonical to TcType
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-02  Simon Peyton JonesA few more constraint solver improvements
2012-10-01  Simon Peyton JonesMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-10-01  Simon Peyton JonesModest refactoring in TcCanonical (and TcSMonad)
2012-10-01  Simon Peyton JonesSimplify the reOrient function (no change in behaviour)
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesRefactor the handling of kind errors
2012-09-21  Simon Peyton JonesFiddling with kind errors
2012-09-20  Simon Peyton JonesFix an outright bug in my "left/right" stuff,
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMake sure that even insoluble constraints are fully...
2012-09-17  Simon Peyton JonesImplement 'left' and 'right' coercions
2012-09-17  Simon Peyton JonesRemove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
2012-09-17  Simon Peyton JonesAnother refactoring of constraints
2012-09-17  Simon Peyton JonesAdd type "holes", enabled by -XTypeHoles, Trac #5910
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-09-01  Simon Peyton JonesA bunch more simplification and refactoring to the...
2012-08-31  Simon Peyton JonesMore simplifications to the constraint solver
2012-08-30  Simon Peyton JonesA raft more changes,
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Dimitrios.VytiniotisMerge branch 'tc-untouchables' of darcs.haskell.org...
2012-08-29  Dimitrios.VytiniotisAvoid emitting Given constraints for spontaneous unific...
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-08-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-08-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-08-23  Simon Peyton JonesMerge ../HEAD
2012-08-23  Simon Peyton JonesMinor refactoring
2012-07-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20  Simon Peyton JonesMerge ../HEAD
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-19  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-07-19  Dimitrios VytiniotisPreserve synonyms if possible (leads to better error...
2012-07-18  Dimitrios VytiniotisSmall refactoring in the generation of superclasses.
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13  Simon Peyton JonesSimplify the implementation of Implicit Parameters
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Dimitrios.VytiniotisRemoving stale and commented out code.
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-06-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
next