When reporting the context of given constraints, stop when you find one
[ghc.git] / compiler / typecheck / TcErrors.lhs
2014-11-04  Simon Peyton JonesWhen reporting the context of given constraints, stop...
2014-11-04  Simon Peyton JonesTypechecker debug tracing only
2014-09-26  Simon Peyton JonesDe-tabify and remove trailing whitespace
2014-09-26  Simon Peyton JonesImprove error messages from functional dependencies
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-07-21  Edward Z. YangRename PackageId to PackageKey, distinguishing it from...
2014-06-26  Joachim BreitnerMerge Thomas Miedema’s syn-all improvments
2014-06-24  Simon Peyton JonesMinor refactoring of interface to extraTyVarInfo
2014-06-09  Simon Peyton JonesSuggest -fprint-explicit-kinds when only kind variables...
2014-05-28  Simon Peyton JonesUse mkTcEqPred rather than mkEqPred in the type checker
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-14  Simon Peyton JonesBetter layout for coercion error message
2014-04-08  Simon Peyton JonesImprove error reporting for untouchable type variables
2014-03-14  Richard EisenbergRemove code reporting issues with Safe Haskell and...
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesFurther improve the "same-occurrence" error messages...
2013-12-04  Joachim BreitnerMore detailed error message when GND fails
2013-12-03  Joachim BreitnerElaborate "deriving" error messages
2013-12-02  Joachim BreitnerPrint nicer error message for Coercible errors
2013-11-22  Joachim BreitnerPrevent recursive Coercible dictionaries
2013-11-22  Joachim BreitnerAdd ctLoc = ctev_loc . cc_ev
2013-11-22  Joachim BreitnerLarge refactor: Move CtLoc field from Ct to CtEvidence
2013-11-22  Joachim BreitnerAdd -ftype-function-stack to set type function stack...
2013-11-22  Joachim BreitnerSeparate SubGoalDepthCounters (constraints and typ...
2013-11-22  Joachim BreitnerMake SubGoalDepth a type of its own
2013-11-20  Joachim BreitnerMake Coercible higher-kinded
2013-11-06  Simon Peyton JonesImprove printing of errors when the tycons look the...
2013-11-06  Simon Peyton JonesRefactor the constraint solver (again!)
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-10  Simon Peyton JonesImprove error reporting for "relevant bindings" again...
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-29  Simon Peyton JonesDisplay the full type environment when reporting type...
2013-04-23  Simon Peyton JonesComments and debug messages only
2013-04-22  Simon Peyton JonesFurther wibbbling to type error message reporting
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  shelarcyFix comment to use correct option name
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  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-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
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-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
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:/home/darcs/ghc
2012-10-31  Simon Peyton JonesWibble to recent changes to TcErrors
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 JonesWibbles in TcErrors
2012-10-19  Simon Peyton JonesImprove error reporting for kind errors
2012-10-16  Ian LynaghSome alpha renaming
2012-10-15  Simon Peyton JonesMove occurCheckExpand from TcCanonical to TcType
2012-10-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-04  Simon Peyton JonesImprove erorr location for Given errors
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-03  Simon Peyton JonesImprove constraint solver depth error slightly
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
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 JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
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-06  Dimitrios.VytiniotisMoved solving of type families to zonkWC and a few...
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-30  Simon Peyton JonesA raft more changes,
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesMinor fixes, mostly simplificaitons
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-07-25  Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23  Simon Peyton JonesNumerous small changes to the constraint solver
2012-07-14  Ian LynaghMerge remote branch 'mikolaj/dcoutts'
2012-07-10  Simon Peyton JonesMerge branch 'master' of ../HEAD
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesSuppress ambiguity errors if there are other solid...
next