summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* PmCheck: Only ever check constantly many models against a single patternSebastian Graf2019-09-251-4/+1
* Add -Wderiving-defaults (#15839)Kari Pahula2019-09-251-1/+2
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-2044-72/+72
* Extract PmTypes module from PmExpr and PmOracleSebastian Graf2019-09-191-1/+1
* Use level numbers for generalisationRichard Eisenberg2019-09-1910-241/+196
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-196-211/+249
* Improve error message for out-of-scope variables + VTASimon Peyton Jones2019-09-171-2/+46
* Comments onlySimon Peyton Jones2019-09-171-2/+2
* Fix #13571 by adding an extension flag checkRichard Eisenberg2019-09-171-0/+10
* Encode shape information in `PmOracle`Sebastian Graf2019-09-162-5/+6
* Fix scoping of implicit parametersSimon Peyton Jones2019-09-131-3/+7
* Add a new flag -dno-typeable-binds for debuggingÖmer Sinan Ağacan2019-09-081-2/+4
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-1910-22/+22
* Fix #17067 by making data family type constructors actually injectiveRyan Scott2019-08-181-2/+3
* Remove unused imports of the form 'import foo ()' (Fixes #17065)James Foster2019-08-151-1/+0
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-022-88/+61
* Rip out 9-year-old pattern variable hack (#17007)Ryan Scott2019-08-021-28/+0
* Move tyConAppNeedsKindSig to TypeBen Gamari2019-07-311-1/+0
* Break up TyCoRepBen Gamari2019-07-314-1/+6
* reifyTypeOfThing: panic on impossible casesVladislav Zavialov2019-07-261-1/+4
* TemplateHaskell: reifyType (#16976)Vladislav Zavialov2019-07-261-0/+16
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-261-58/+132
* Drop the orphan roles check (#16941)Vladislav Zavialov2019-07-191-4/+2
* Fix kind-checking for data/newtypesSimon Peyton Jones2019-07-122-31/+69
* Don't typecheck too much (or too little) in DerivingVia (#16923)Ryan Scott2019-07-112-138/+180
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-0924-255/+256
* More sensible SrcSpans for recursive pattern synonym errors (#16900)Ryan Scott2019-07-051-6/+12
* Fix over-eager implication constraint discardSimon Peyton Jones2019-07-043-5/+48
* Add a missing zonk (fixes #16902)Simon Peyton Jones2019-07-041-10/+22
* Produce all DerivInfo in tcTyAndClassDeclsVladislav Zavialov2019-07-044-48/+62
* Add -Winferred-safe-imports warningOleg Grenrus2019-06-251-2/+2
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-233-39/+108
* Add HoleFitPlugins and RawHoleFitswip/D5373Matthías Páll Gissurarson2019-06-216-162/+310
* Move 'Platform' to ghc-bootJohn Ericson2019-06-191-1/+1
* Comments and tiny refactorSimon Peyton Jones2019-06-192-6/+30
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-199-118/+135
* Fix two places that failed the substitution invariantSimon Peyton Jones2019-06-192-6/+5
* Properly trim IdInfos of DFunIds and PatSyns in TidyPgmÖmer Sinan Ağacan2019-06-191-2/+3
* Remove dead codeKrzysztof Gogolewski2019-06-152-28/+1
* Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)Ryan Scott2019-06-153-35/+50
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-148-114/+426
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-126-29/+15
* Refine the GHCI macro into HAVE[_{INTERNAL, EXTERNAL}]_INTERPRETERAlp Mestanogullari2019-06-112-3/+3
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-099-87/+144
* Preserve ShadowInfo when rewriting evidenceSimon Peyton Jones2019-06-072-17/+40
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-072-3/+19
* Add GHCi :instances commandXavier Denis2019-06-041-2/+5
* Reject nested foralls in foreign imports (#16702)Ryan Scott2019-05-311-6/+8
* tcMatchesFun s/rho/sigma #16692Vladislav Zavialov2019-05-292-3/+3
* In hole fits, don't show VTA for inferred variables (#16456)Krzysztof Gogolewski2019-05-291-7/+16
View Lorry Controller Status