Refactor named wildcards (again)
[ghc.git] / compiler / types /
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-22  Simon Peyton JonesComments only, about coercion holes
2015-12-17  Richard EisenbergFix #11232.
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-16  Jan StolarekLook through type synonyms in GADT kind signatures
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-09  Simon Peyton JonesComments only
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-12-04  Simon Peyton JonesMinor refactoring of user type errors
2015-12-04  Simon Peyton JonesFix egregious error in eta-reduction of data families
2015-12-04  Simon Peyton JonesMake -dppr-debug show contents of (TypeError ...)
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Ben GamariUnify: Add Outputable instance for UnifyResultM
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-09-19  Richard EisenbergFix #10815 by kind-checking type patterns against known...
2015-09-11  Jan StolarekCode movement
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-04  Richard EisenbergFix #10713.
2015-08-02  Gabor GreifMake BranchFlag a new kind
2015-08-02  Gabor GreifTypo in comment
2015-08-01  Gabor GreifTypos in comments
2015-07-30  Gabor GreifTypos in comments and strings
2015-07-24  Simon Peyton JonesImprove instanceCantMatch
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-07-23  Simon Peyton JonesSlight refactoring to the fix for #4012
2015-07-17  Bartosz NitkaReduce non-determinism in ABI hashes with RULES and...
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesAllow recursive unwrapping of data families
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...
next