Use a Representaional coercion for data families
[ghc.git] / compiler / types /
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-06-19  Gabor GreifSpelling in comments
2015-06-18  Simon Peyton JonesReport arity errors correctly despite kinds
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergReimplement Unify.typesCantMatch in terms of apartness.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergFix #10493.
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-16  Richard EisenbergFix #10534
2015-06-05  Richard EisenbergFix #10488 by unwrapping type synonyms.
2015-06-01  Simon Peyton JonesAdd some missing seqs to Coercion.seqCo
2015-05-22  Simon Peyton JonesFix quadratic behaviour in tidyOccName
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-05-04  Adam GundryPermit empty closed type families
2015-05-01  Simon Peyton JonesRefactor TyCon to eliminate TupleTyCon
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Simon Peyton JonesDo not decompose => (Trac #9858)
2015-04-21  Simon Peyton JonesSupport unboxing for GADT product types
2015-04-17  Edward Z. YangComments only.
2015-04-14  Simon Peyton JonesDo not allow Typeable on constraints (Trac #9858)
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-09  Simon Peyton JonesComments only
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-04-03  Thomas MiedemaComments only, mostly typos
2015-03-18  Gabor GreifTypos in comments
2015-03-07  Alexander VershilovImprove core linter so it catches unsafeCoerce problems...
2015-03-07  Herbert Valerio... Re-export `<$>` from Prelude (#10113)
2015-03-04  Simon Peyton JonesComments only
2015-03-03  Richard EisenbergDon't use deriveUnique *twice* in flattenTys.
2015-03-02  Simon Peyton JonesTwo kind-polymorphism fixes (Trac #10122)
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-19  Alan ZimmermanAPI Annotations documentation update, parsing issue...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesRemove redundant constraints in the compiler itself...
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-13  Richard EisenbergreduceTyFamApp_maybe should *not* normalise arguments...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-04  Edward Z. YangComments on TrieMap and unifier.
2014-12-02  Simon Peyton JonesMinor refactoring of Edward's recent orphans patch...
2014-12-02  Jan StolarekRemove references to SynTyCon. Fixes #9812
2014-12-02  Jan StolarekComments and formatting in TyCon
2014-12-01  Herbert Valerio... unlit compiler/types/ modules
2014-11-30  Edward Z. YangFilter instance visibility based on set of visible...
2014-11-28  Thomas WinantImplement Partial Type Signatures
2014-11-28  Simon Peyton JonesRename some of the functions in NameSet, to make the...
2014-11-20  Jan StolarekKill trailing whitespace
2014-11-20  Jan StolarekSplit SynTyCon to SynonymTyCon and FamilyTyCon
2014-11-19  Edward Z. YangWhen outputting list of available instances, sort it.
2014-11-06  Simon Peyton JonesMake tyConsOfType return a (NameEnv TyCon) rather than...
2014-11-04  Simon Peyton JonesRename setRole_maybe to downgradeRole_maybe
2014-11-04  Simon Peyton JonesFix reduceTyFamApp_maybe
2014-11-04  Simon Peyton JonesWhite space only
2014-10-31  Yuras Shumovichremove old .NET related code
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-10-21  Richard EisenbergClarify location of Note. Comment change only.
2014-10-07  Simon Peyton JonesMerge branch 'master' of git.haskell.org/ghc
2014-10-07  Simon Peyton JonesUse correct precedence when printing contexts with...
2014-09-26  Simon Peyton JonesDe-tabify and remove trailing whitespace
2014-09-26  Austin Seipptypes: detabify/dewhitespace Unify
2014-09-21  Herbert Valerio... Export `Monoid(..)`/`Foldable(..)`/`Traversable(.....
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-18  Richard EisenbergComments only: explain checkAxInstCo in OptCoercion
2014-09-17  Gabor GreifTypo
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-29  Simon Peyton JonesDefine mapUnionVarSet, and use it
2014-08-12  Richard EisenbergFix Trac #9371.
2014-08-08  Simon Peyton JonesImplement the final change to INCOHERENT from Trac...
2014-08-01  Gabor GreifTypo fixes
2014-08-01  Gabor GreifSmall tweaks to comment
2014-07-31  Gabor GreifTypo in comment
2014-07-31  Simon Peyton JonesComplete work on new OVERLAPPABLE/OVERLAPPING pragmas...
2014-07-31  Simon Peyton JonesComments and white space
2014-07-27  Iavor S. DiatchkiImplement OVERLAPPING and OVERLAPPABLE pragmas (see...
2014-07-21  Gabor GreifTypos in note
2014-07-20  Austin Seipptypes: detabify/dewhitespace Kind
2014-07-18  Simon Peyton JonesComments only
2014-07-17  Richard EisenbergRemove unused parameters in OptCoercion (#9233)
2014-07-17  Herbert Valerio... Workaround haddock parser error caused by 5e7406d9
2014-07-16  Richard EisenbergOptimise optCoercion. (#9233)
2014-07-16  Richard EisenbergRewrite coercionRole. (#9233)
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-11  Jan StolarekComments only
2014-06-30  Iavor S. DiatchkiEliminate `Unify.validKindShape` (#9242)
2014-06-29  Iavor S. DiatchkiFactor-out the `OverlapMode` from `OverlapFlag`.
2014-06-27  Gabor GreifComments only
2014-06-27  Simon Peyton JonesMore allDistinctTyVars from TcDeriv to Type
2014-06-26  Joachim BreitnerMerge Thomas Miedema‚Äôs syn-all improvments
2014-06-25  Gabor GreifTypos in comments
next