Use a Representaional coercion for data families
[ghc.git] / compiler / typecheck /
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-25  Simon Peyton JonesImprove kind-checking for 'deriving' clauses
2015-06-24  Sergei TrofimovichClean outdated ext-core references in comments.
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-18  Simon Peyton JonesComments plus tiny refactoring
2015-06-18  Simon Peyton JonesA bit more tracing
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-18  Simon Peyton JonesComments only
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergFix typo in comment
2015-06-16  Richard EisenbergTreat funTyCon like any other TyCon in can_eq_nc.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
2015-06-16  Richard EisenbergFix #10493.
2015-06-16  Richard EisenbergFix #10495.
2015-06-16  Richard EisenbergFix #10494
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Simon Peyton JonesRemove derived CFunEqCans after solving givens
2015-06-15  Gabor GreifDemonstrate that inferring Typeable for type literals...
2015-06-11  Edward Z. YangRevert "Change loadSrcInterface to return a list of...
2015-06-11  Edward Z. YangRemove redundant tcg_visible_orphan_mods, it is recorde...
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-05  Richard EisenbergMinor code cleanup
2015-06-03  Edward Z. YangAllow Any return in foreign prim, fixes #10460.
2015-06-03  Simon Peyton JonesRefactor RdrName.Provenance, to fix #7672
2015-06-02  Gabor GreifTypofixes
2015-06-02  Simon Peyton JonesImprove FFI error reporting
2015-06-01  Simon Peyton JonesImprove constraint tuples (Trac #10451)
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-06-01  Simon Peyton JonesRefactor the GlobalRdrEnv, fixing #7672
2015-06-01  Simon Peyton JonesTreat pattern-synonym binders more consistently
2015-06-01  Simon Peyton JonesComments only
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
2015-06-01  Alan ZimmermanApiAnnotations : strings in warnings do not return...
2015-05-22  Simon Peyton JonesFix quadratic behaviour in tidyOccName
2015-05-18  Simon Peyton JonesMake the "matchable-given" check happen first
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesMake the "matchable-given" check happen first
2015-05-13  Simon Peyton JonesAdd a case to checkValidTyCon
2015-05-13  Simon Peyton JonesSeparate transCloVarSet from fixVarSet
2015-05-13  Simon Peyton JonesTwo wibbles to fix the build
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  Erik de Castro LopoUse fmap instead of <$> (Fixes #10407)
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-05-12  David TereiFix safe haskell bug: instances in safe-inferred
2015-05-11  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-09  Edward Z. YangRevert stage 1 template-haskell. This is a combination...
2015-05-09  Edward Z. YangAlways do polymorphic typed quote check, c.f. #10384
2015-05-09  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-07  Simon Peyton JonesComments only
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-05-06  watashiRetain ic_monad and ic_int_print from external packages...
2015-05-06  Vikraman ChoudhuryFix typo: identifer -> identifier
2015-05-06  Christiaan BaaijNormalise type families in the type of an expression
2015-05-05  Edward Z. YangDoc: checkCrossStageLifting, RnSplice/TcExpr is untyped...
2015-05-04  Adam GundryPermit empty closed type families
2015-05-01  Simon Peyton JonesKill off the default types in ghc-prim
2015-05-01  Simon Peyton JonesMake Derived NomEq rewrite only Derived NomEq
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-30  Gabor GreifTypo fixes (mostly in comments)
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-29  Simon Peyton JonesDon't print evidence in TcFlatten
2015-04-29  Simon Peyton JonesA little outright bug in canEqTyVar2
2015-04-24  Richard EisenbergChange default roles in hs-boot files. (#9204)
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Simon Peyton JonesImprove error reporting for impredicative types
2015-04-22  Simon Peyton JonesComments only
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-22  Edward Z. YangFix #10182 by disallowing/avoiding self {-# SOURCE...
2015-04-22  Simon Peyton JonesFix the boot dfun impedence-matching binding
2015-04-17  Edward Z. YangComments only.
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-16  Iavor S. DiatchkiAdd exception for `KnownNat` and `KnownSymbol` in super...
2015-04-15  Simon Peyton JonesFix fundep coverage-condition check for poly-kinds
2015-04-14  Simon Peyton JonesDo not allow Typeable on constraints (Trac #9858)
2015-04-14  Simon Peyton JonesComments and white space only
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-04-09  Simon Peyton JonesComments in rejigConRes
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-04-07  Simon Peyton JonesPut quotes round a Name in an error message
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-04-01  Edward Z. YangIndentation only.
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-19  Iavor S. DiatchkiMerge branch 'master' of git://git.haskell.org/ghc
2015-03-19  Iavor S. DiatchkiImprove `Typeable` solver.
2015-03-18  Gabor GreifTypos in comments
2015-03-17  Simon Peyton JonesRefactor the extra-deps stuff for hs-boot
next