Better layout for coercion error message
[ghc.git] / compiler / typecheck / TcRnTypes.lhs
2014-04-14  Simon Peyton JonesBetter layout for coercion error message
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-16  Krzysztof GogolewskiTypos in comments
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
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 JonesComments only
2013-12-10  Simon Peyton JonesBetter debug printing
2013-12-04  Simon Peyton JonesComments only
2013-12-04  Joachim BreitnerMore detailed error message when GND fails
2013-12-03  Joachim BreitnerElaborate "deriving" error messages
2013-11-26  Gabor GreifTypos in comments
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
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-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-06  Simon Peyton JonesRefactor the constraint solver (again!)
2013-10-25  Simon Peyton JonesUntabify and remove trailing whitespace
2013-10-25  Simon Peyton JonesRemove canSolve in favour of canRewrite
2013-10-12  Austin SeippAdd machinery to reify annotations (#8397)
2013-10-08  Gabor GreifCatch some popular typos in comments
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandAdd support for Template Haskell state.
2013-10-04  Geoffrey MainlandAdd support for Template Haskell module finalizers.
2013-10-04  Geoffrey MainlandAllow splices to add additional top-level declarations.
2013-10-04  Geoffrey MainlandTrack the typed/untyped distinction in the current...
2013-09-18  Simon Peyton JonesA little refactoring
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 JonesImprove TcSimplify.approximateWC, fixing Trac #8155
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-12  Simon Peyton JonesFix the constraint simplifier (Trac #7967)
2013-04-23  Simon Peyton JonesComment typo
2013-04-22  Simon Peyton JonesFurther wibbbling to type error message reporting
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
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-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesAdd OverloadedLists, allowing list syntax to be overloaded
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
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-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-12-08  Ian LynaghAdd replaceDynFlags to the ContainsDynFlags class
2012-12-06  Ian LynaghMerge branch 'master' of mac:ghc/git/val64/.
2012-12-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-05  Daniel VainsencherWhen using a GHC plugin, load its interface file very...
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-26  Simon Peyton JonesAccurately report usage of newtype data constructors...
2012-11-21  Gabor Greiffix some typos
2012-11-21  Jose Pedro MagalhaesReject promoted constructors when -XDataKinds is not...
2012-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-11-08  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-11-07  Gabor Greifanother typo
2012-11-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-02  Ian LynaghRefactoring: Make a HasModule class for getModule
2012-11-02  Ian LynaghWhitespace only in typecheck/TcRnTypes.lhs
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-26  Simon Peyton JonesComments in Note [Efficient orientation] about interact...
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-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-01  Simon Peyton JonesWibbles to fe6ddf00, fixing infelicities
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...
next