Pretty-print the following TyThings via their IfaceDecl counterpart:
[ghc.git] / compiler / typecheck /
2014-03-13  Simon Peyton JonesComments only
2014-03-13  Simon Peyton JonesExport runTcInteractive from TcRnDriver, and from GHC...
2014-03-13  Simon Peyton JonesA bit more tracing to do with SPECIALISE pragmas
2014-03-10  Simon Peyton JonesUnify, rather than match, in GND processing (fixes...
2014-03-07  Simon Peyton JonesFix the treatment of lexically scoped kind variables...
2014-03-07  Simon Peyton JonesMake -XDeriveFunctor more generous about non-last argum...
2014-03-06  Simon Peyton JonesAttach the right location to pattern synonym error...
2014-02-18  Simon Peyton JonesKeep kind-inconsistent Given type equalities (fixes...
2014-02-18  Simon Peyton JonesAdd some more traceTcS calls
2014-02-18  Simon Peyton JonesAllow ($) to return an unlifted type (Trac #8739)
2014-02-18  Simon Peyton JonesUse NoGen plan for unboxed-tuple bindings
2014-02-13  Richard EisenbergFix #8773.
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-02-10  Richard EisenbergRefactor previous commit on fixing #7021.
2014-02-09  YoEightApply changes relative to TH.Pred becoming a TH.Type...
2014-02-09  Richard EisenbergFix #8759 by not panicking with TH and patsyns.
2014-02-09  Richard EisenbergFix #8758 by assuming RankNTypes when checking GND...
2014-02-09  Richard EisenbergFix #8631.
2014-02-01  Gabor GreifFix a popular typo in comments
2014-01-26  Gabor GreifSquash some spelling issues
2014-01-23  Gabor GreifSome typos in comments
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-20  Joachim BreitnerExplain why TcAxiomInstCo carries [TcCoercion], and...
2014-01-16  Krzysztof GogolewskiTypos in comments
2014-01-12  Austin SeippFix new Haddock doc parse failures.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-10  Gabor GreifComment typos only
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
2014-01-09  Simon Peyton JonesFurther improve the "same-occurrence" error messages...
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...
2014-01-03  Simon Peyton JonesUse the GlobalRdrEnv when renaming the axuiliary bindin...
2014-01-02  Joachim BreitnerUpdate Note [Coercible instances]
2013-12-28  Simon Peyton JonesComments only
2013-12-28  Simon Peyton JonesRe-factor TcCanonical (again), fixes Trac #8603
2013-12-28  Simon Peyton JonesDefine mkTcNomReflCo = TcRefl Nominal, and use it all...
2013-12-10  Simon Peyton JonesSpelling in comment
2013-12-10  Simon Peyton JonesBetter debug printing
2013-12-10  Simon Peyton JonesDo not generate given kind-equalities (fix Trac #8566)
2013-12-05  Simon Peyton JonesTypecheck typed TH splices properly (fix Trac #8577)
2013-12-05  Simon Peyton JonesComments, and rename a variable
2013-12-04  Joachim BreitnerRemove code that generates FunDep error message context
2013-12-04  Simon Peyton JonesComments only
2013-12-04  Simon Peyton JonesComments only
2013-12-04  Joachim BreitnerMore detailed error message when GND fails
2013-12-03  Edsko de VriesMask async exceptions in forkM_
2013-12-03  Joachim BreitnerElaborate "deriving" error messages
2013-12-03  Joachim BreitnerRefactor: Origin of inferred Thetas
2013-12-02  Gabor GreifSome popular typos in comments
2013-12-02  Joachim BreitnerMove FunDeps to typecheck
2013-12-02  Richard EisenbergRejig rejigConRes & friends, doing role checks in a...
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
2013-12-02  Joachim BreitnerMore links to [Coercible Instances]
2013-12-02  Joachim BreitnerHandle Coercible (forall a. t) (forall a. t2) in TcInteract
2013-12-02  Joachim BreitnerBind monadic stuff in getCoercibleInst locally, not...
2013-12-02  Joachim BreitnerRefactor deferTcSForAllEq: Do not bind, but return...
2013-12-02  Joachim BreitnerPrint nicer error message for Coercible errors
2013-12-02  Joachim BreitnerWith GND, report Coercible errors earliy
2013-12-02  Joachim BreitnerTcDeriv: s/isomorphism/coercible
2013-11-29  Joachim BreitnerUpdate Notes for Coercible
2013-11-29  Herbert Valerio... Remove whitespace between macro identifiers and `(`
2013-11-29  Simon Peyton JonesFail (rather than addErr) if you use a bogus field...
2013-11-28  Simon Peyton JonesMore faff to get GHCi's top-level environment right
2013-11-28  Joachim BreitnerEvCast needs to take a representational coercion
2013-11-27  Joachim BreitnerCoercible for impredicative types
2013-11-27  Joachim BreitnerGet rid of EvCoercible
2013-11-27  Joachim BreitnerBeginnings of removing EvCoercible
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-27  Joachim BreitnerRemove unused liftTcCoSubstWith
2013-11-27  Gabor GreifComment only
2013-11-26  Gabor GreifTypos in comments
2013-11-26  Joachim BreitnerTypos in comments in TcEvidence
2013-11-25  Joachim BreitnerIn toHsType, filter out kind variables
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
2013-11-22  Joachim BreitnerUse bindLocalNamesFV in rn_inst_info
2013-11-22  Joachim BreitnerUse newTyConInstRhs in coerce’d GND
2013-11-22  Richard EisenbergImplement GeneralizedNewtypeDeriving in terms of `coerce`.
2013-11-22  Joachim BreitnerExtend Coercible to newtype instances
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 JonesRefactor TcSplice.tcBracket a bit
2013-11-22  Simon Peyton JonesClarify what is in ic_tythings, and refactor TcRnDriver...
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-22  Simon Peyton JonesFix type-equality in the type checker (fixes Trac ...
2013-11-22  Simon Peyton JonesPrint the correct name when complaining about SPECIALIS...
2013-11-22  Simon Peyton JonesBetter constraint-solver tracing
2013-11-20  Joachim BreitnerExplain higher-kinded Coerctions in Note [Coercible...
2013-11-20  Joachim BreitnerCoercible: Do not try to unwrap undersaturated newtypes
2013-11-20  Joachim BreitnerMake Coercible higher-kinded
2013-11-18  Simon Peyton JonesImprove the 'deriving' code for polykinded data types
2013-11-18  Simon Peyton JonesFix typo in a836b6, 'Improve orientation'
2013-11-18  Jose Pedro MagalhaesGeneric1 cannot yet be derived for datatypes with tuple...
2013-11-18  Nicolas Frisbyfixing canDoGenerics1 (fixes #8468) (fixes #8479)
2013-11-15  Simon Peyton JonesInclude funTyCon in oprhNamesOfType (fixes Trac #8535)
2013-11-15  Simon Peyton JonesFix canIrredPred again
2013-11-15  Simon Peyton JonesImprove orientation