Simplify and tidy up the handling of tuple names
[ghc.git] / compiler / typecheck /
2014-04-04  Richard EisenbergWith AutoDeriveTypeable, derive for promoted constructo...
2014-04-03  Simon Peyton JonesMake sure that polykinded Typeable is defaultable ...
2014-03-25  Gabor GreifTypos in comments
2014-03-25  Simon Peyton JonesComments only
2014-03-24  Simon Peyton JonesImplicit parameters should not be allowed in class...
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-03-24  Simon Peyton JonesComments only
2014-03-24  Simon Peyton JonesDon't export isTcReflCo_maybe (unused)
2014-03-24  Simon Peyton JonesAdd missing kind-check for tcEqType on forall-types
2014-03-23  Gabor GreifCatch a bunch of typos in comments
2014-03-23  Simon Peyton JonesApply the kind subst to the (kinds of the) quanitifed...
2014-03-19  Iavor S. DiatchkiImplement ordering comparisons for type-level naturals...
2014-03-17  Simon Peyton JonesMore debug info
2014-03-17  Simon Peyton JonesUnflatten the constraints of an inferred types (Trac...
2014-03-14  Richard EisenbergRemove code reporting issues with Safe Haskell and...
2014-03-14  Richard EisenbergFix #8884.
2014-03-14  Richard EisenbergRemove "Safe mode" check for Coercible instances
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