summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcMType.hs
Commit message (Expand)AuthorAgeFilesLines
* push the code into the UnivCo axiom framework and drop all the "smart compres...Carter Tazio Schonwald2020-01-041-5/+1
* more stuff with the thingsCarter Tazio Schonwald2020-01-041-0/+6
* things seem to now all fit! (may need to add some extra wiring)Carter Tazio Schonwald2020-01-041-2/+3
* fixed the approach to erasure proof to have the from / to targets, still need...Carter Tazio Schonwald2020-01-041-0/+4
* Fix random typos [skip ci]nineonine2019-11-171-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-131-0/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-13/+7
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-3/+26
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-1/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-5/+4
* Use level numbers for generalisationRichard Eisenberg2019-09-191-144/+149
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-14/+78
* Comments onlySimon Peyton Jones2019-09-171-2/+2
* Comments and tiny refactorSimon Peyton Jones2019-06-191-3/+3
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+1
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-11/+36
* Correct two misspellings of "separately"Chris Martin2019-04-031-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-2/+2
* Fix typosKrzysztof Gogolewski2019-03-191-1/+1
* Replace nOfThem by replicateKrzysztof Gogolewski2019-03-191-2/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-8/+8
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-111/+129
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-11/+11
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-8/+10
* Make a smart mkAppTyMSimon Peyton Jones2019-02-141-14/+27
* Make candidateQTvs contain tyvar with zonked kindsSimon Peyton Jones2018-12-211-68/+82
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-5/+5
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-221/+288
* Finish fix for #14880.Tobias Dammers2018-10-281-50/+361
* Normalise EmptyCase types using the constraint solverRyan Scott2018-09-281-1/+11
* Coercion Quantificationningning2018-09-151-9/+9
* Remove knot-tying bug in TcHsSyn.zonkTyVarOccSimon Peyton Jones2018-08-311-3/+25
* Clean up TcHsSyn.zonkEnvSimon Peyton Jones2018-08-241-15/+6
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-37/+37
* Allow scoped type variables refer to typesJoachim Breitner2018-08-051-8/+32
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-0/+2
* Remove the type-checking knot.Richard Eisenberg2018-08-011-17/+7
* Fix and document cloneWCSimon Peyton Jones2018-07-251-14/+28
* Treat isConstraintKind more consistentlySimon Peyton Jones2018-07-251-3/+2
* Clone relevant constraints to avoid side-effects on HoleDests. Fixes #15370.Matthías Páll Gissurarson2018-07-241-4/+5
* Remove dead codeSimon Peyton Jones2018-06-261-12/+0
* Document and simplify tcInstTyBindersRichard Eisenberg2018-06-191-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-5/+6
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-1/+8
* Remove special case from TcTyVar level checkSimon Peyton Jones2018-05-231-2/+1
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-5/+18
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-15/+38
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-5/+6
* Turn EvTerm (almost) into CoreExpr (#14691)Joachim Breitner2018-01-261-2/+2
View Lorry Controller Status