summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnTypes.hs
Commit message (Expand)AuthorAgeFilesLines
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-2/+2
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-3/+13
* Fix unused-import warningsDavid Eichmann2018-11-221-2/+3
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-1/+1
* Remove a zonkTcTyVarToTyVarSimon Peyton Jones2018-10-251-4/+43
* Wibble report a wantedSimon Peyton Jones2018-10-241-1/+4
* Add HasDebugCallStack to ctEvCoecionSimon Peyton Jones2018-10-241-1/+1
* Report a Wanted error even if there are Given onesSimon Peyton Jones2018-10-241-9/+15
* Make TcRnMonad independent of TcSplice (#14391)Krzysztof Gogolewski2018-10-041-3/+2
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-16/+21
* Coercion Quantificationningning2018-09-151-1/+1
* More info for Implication with -dppr-debugSimon Peyton Jones2018-09-131-3/+3
* Comments onlySimon Peyton Jones2018-08-241-1/+3
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-1/+1
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-1/+1
* Comments onlySimon Peyton Jones2018-07-251-3/+9
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-20/+46
* Instances in no-evidence implicationsSimon Peyton Jones2018-06-221-4/+24
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Provide a better error message for unpromotable data constructor contextsRyan Scott2018-06-171-16/+23
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-6/+0
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-13/+54
* vectorise: Put it out of its miseryBen Gamari2018-06-021-30/+1
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-1/+27
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-211-2/+2
* Debug tracing onlySimon Peyton Jones2018-05-181-4/+5
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-9/+0
* Fix GHCi space leaks (#15111)Simon Marlow2018-05-171-4/+8
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-1/+4
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-46/+45
* Clarify comments around dropping Derived constraintsRichard Eisenberg2018-03-311-1/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-11/+38
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-13/+2
* Support adding objects from THAlec Theriault2018-03-251-1/+1
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-231-8/+19
* Make cost centre symbol names deterministic.Shea Levy2018-03-021-1/+7
* Add valid refinement substitution suggestions for typed holesMatthías Páll Gissurarson2018-02-181-8/+8
* Fix isDroppableCt (Trac #14763)Simon Peyton Jones2018-02-081-43/+66
* More tc-tracingSimon Peyton Jones2018-01-311-1/+1
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-4/+4
* Allocate less in plus_mod_depBartosz Nitka2018-01-231-4/+7
* Improve comments about TcLevel invariantsSimon Peyton Jones2018-01-221-2/+5
* Inform hole substitutions of typeclass constraints (fixes #14273).Matthías Páll Gissurarson2018-01-181-4/+9
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-12/+34
* Refactor coercion holesSimon Peyton Jones2017-12-211-10/+15
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-181-0/+5
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-301-7/+0
* Revert "trees that grow" workBen Gamari2017-11-211-45/+46
* StaticPointers: Clarify documentationFacundo Domínguez2017-11-151-2/+2
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-46/+45
View Lorry Controller Status