cmpTypeX: Avoid kind comparison when possible
[ghc.git] / compiler / types /
2016-02-25  Ben GamaricmpTypeX: Avoid kind comparison when possible
2016-02-25  Ben GamariTyCoRep: Add haddock sections
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Richard EisenbergFix #11246.
2016-02-17  Richard EisenbergUse CoercionN and friends in TyCoRep
2016-02-17  Richard EisenbergAdd missing kind cast to pure unifier.
2016-02-17  Simon Peyton JonesSimplify the defn of coreViewOneStarKind
2016-02-16  Rik SteenkampFix typos
2016-02-15  Simon Peyton JonesTiny refactor; use guards instead of 'if'
2016-02-12  Bartosz NitkaRevert "Build the substitution correctly in piResultTy"
2016-02-11  Bartosz NitkaBuild the substitution correctly in piResultTy
2016-02-09  Ben GamariPrint * has Unicode star with -fprint-unicode-syntax
2016-02-08  Simon Peyton JonesDefine tyConRolesRepresentational and use it
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-02-02  Ömer Sinan AğacanTyCoRep: Implement some helpers for dropping/checking...
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-27  Bartosz NitkaFix a typo in the note name in comments
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-26  Bartosz NitkaPass InScopeSet to substTy in lintTyApp
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-21  Ben GamariTyCoRep: Restore compatibility with 7.10.1
2016-01-21  Simon Peyton JonesImprove pretty-printing of UnivCo
2016-01-21  Simon Peyton JonesAdd comments about tyCoVarsOfType
2016-01-20  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-15  Richard EisenbergFix #11311
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-13  Iavor S. DiatchkiHandle over-applied custom type errors too.
2016-01-05  George KarachaliasRemove -Wtoo-many-guards from default flags (fixes...
2016-01-01  Herbert Valerio... Canonicalise `MonadPlus` instances
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-27  George KarachaliasAdding flags: -ffull-guard-reasoning and too-many-guards
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-26  Richard EisenbergNote [TyBinder] in TyCoRep
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-22  Richard EisenbergCoercionN is not in scope in TyCoRep
2015-12-22  Richard EisenbergTweak comments around UnivCos.
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
next