Improve typechecking of let-bindings
[ghc.git] / compiler / typecheck / TcType.hs
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-13  Simon Peyton JonesKill off redundant SigTv check in occurCheckExpand
2016-05-25  Gabor GreifSpelling in comments
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesRe-do the invariant for TcDepVars
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Bartosz NitkaRemove unused tyCoVarsOfTelescope
2016-04-22  Bartosz NitkaTypo: veraibles -> variables
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-20  Bartosz NitkaRename FV related functions
2016-04-20  Simon Peyton JonesFix two buglets in 17eb241 noticed by Richard
2016-04-20  Simon Peyton JonesTighten up imports, white space
2016-04-19  Simon Peyton JonesKill dead TauTvFlavour, and move code around
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-21  Bartosz NitkaRemove unused substTyWithBinders functions
2016-03-17  Richard EisenbergFix #11716.
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-15  Richard EisenbergRemove redundant anonymiseTyBinders (#11648)
2016-03-15  Richard EisenbergFix #11648.
2016-03-01  Simon Peyton JonesRemove unnecessary isTyVar tests in TcType
2016-02-26  Simon Peyton JonesExclude TyVars from the constraint solver
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton JonesTake type-function arity into account
2016-02-18  Simon Peyton JonesImprove piResultTys and friends
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergMake exactTyCoVarsOfTypes closed over kinds.
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-02-08  Simon Peyton JonesSome tiding up in TcGenDeriv
2016-02-08  Simon Peyton JonesAllow foralls in instance decls
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-23  Simon Peyton JonesFix super-class cycle check
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
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-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-06  Simon Peyton JonesComments about TcLevel assignment
2015-10-02  Ben GamariFix treatment of -0.0
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-16  Ömer Sinan AğacanImplement -fprint-expanded-synonyms
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-03  Edward Z. YangAllow Any return in foreign prim, fixes #10460.
2015-06-02  Simon Peyton JonesImprove FFI error reporting
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-31  Simon Peyton JonesWhen solving one Given from another, use the depth...
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesFix type-variable details naming (fixes misleading...
2014-12-08  Gabor Greifcatch some recent typos
2014-12-03  Austin Seippcompiler: de-lhs typecheck/