summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnTypes.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-03-161-5/+5
* Split GHC.Iface.Utils moduleSylvain Henry2020-03-111-2/+2
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-4/+4
* Modules: Driver (#13009)Sylvain Henry2020-02-211-8/+8
* Fix docs for FrontendResultJohn Ericson2020-02-031-5/+3
* Add comments about TH levelsSimon Peyton Jones2020-01-121-4/+8
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-3/+3
* Overloaded Quotation Brackets (#246)Matthew Pickering2020-01-121-0/+7
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-9/+9
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-9/+9
* Optimize MonadUnique instances based on IO (#16843)nineonine2019-11-191-3/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-2298/+37
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-29/+19
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-081-26/+52
* Move pattern match checker modules to GHC.HsToCore.PmCheckSebastian Graf2019-09-301-1/+1
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-251-4/+1
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Extract PmTypes module from PmExpr and PmOracleSebastian Graf2019-09-191-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-191-6/+0
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-5/+4
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-3/+3
* Drop the orphan roles check (#16941)Vladislav Zavialov2019-07-191-4/+2
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-4/+4
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-041-5/+39
* Add HoleFitPlugins and RawHoleFitswip/D5373Matthías Páll Gissurarson2019-06-211-0/+4
* Comments and tiny refactorSimon Peyton Jones2019-06-191-3/+27
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-1/+1
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-121-6/+3
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-2/+11
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-2/+2
* Pattern/expression ambiguity resolutionVladislav Zavialov2019-05-031-4/+0
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-9/+9
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-5/+0
* Expression/command ambiguity resolutionVladislav Zavialov2019-02-231-2/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+1
* Fix typo in TcRnTypes.hs [skip ci]wip/tc-rn-types-typoMatthew Pickering2019-01-211-2/+2
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-0/+2
* 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
View Lorry Controller Status