summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
* Comments onlywip/T17509Simon Peyton Jones2020-02-061-0/+28
* Use foldTyCo for exactTyCoVarsOfTypeSimon Peyton Jones2020-02-062-87/+34
* Use foldTyCo for coVarsOfTypeSimon Peyton Jones2020-02-061-32/+57
* Simplify closeOverKindsSimon Peyton Jones2020-02-062-6/+13
* Use foldTyCo for noFreeVarsOfTypeSimon Peyton Jones2020-02-061-64/+15
* Reform the free variable finders for typesSimon Peyton Jones2020-02-064-239/+543
* Move closeOverKinds and friends to TyCoFVsBen Gamari2020-02-062-29/+37
* Improve pretty-printing for TyConBindersSimon Peyton Jones2020-02-011-2/+2
* Disable two warnings for files that trigger themTom Ellis2020-01-274-0/+6
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-126-14/+14
* Don't zap to Any; error insteadRichard Eisenberg2020-01-122-6/+7
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-082-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-067-14/+16
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-045-5/+5
* Module hierarchy (#13009): StgSylvain Henry2019-12-311-4/+4
* Split up coercionKindSimon Peyton Jones2019-12-066-26/+32
* Work in progress on coercionLKind, coercionRKindSimon Peyton Jones2019-12-061-75/+122
* Simplify uniqAwayBen Gamari2019-12-031-6/+6
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-283-3/+3
* Fix typosBrian Wignall2019-11-231-1/+1
* Fix random typos [skip ci]nineonine2019-11-171-1/+1
* Ensure that coreView/tcView are able to inlineBen Gamari2019-11-136-229/+190
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-102-1/+8
* Update Note references -- comments onlyRichard Eisenberg2019-11-021-2/+2
* Fix a bad error in tcMatchTySimon Peyton Jones2019-11-011-4/+28
* Make isTcLevPoly more conservative with newtypes (#17360)Ryan Scott2019-10-241-3/+18
* Reify oversaturated data family instances correctly (#17296)Ryan Scott2019-10-231-1/+0
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-236-25/+74
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-162-362/+135
* Do not add a 'solved dict' for quantified constraintsSimon Peyton Jones2019-10-121-8/+1
* Only flatten up to type family arity in coreFlattenTyFamApp (#16995)Ryan Scott2019-10-071-126/+193
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-252-1/+9
* PredType for type constraints in the pattern match checker instead of EvVarSebastian Graf2019-09-211-3/+3
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-0/+4
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-202-4/+4
* CoreUtils: Use mightBeUnliftedType in exprIsTopLevelBindableBen Gamari2019-09-191-1/+3
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-192-8/+23
* Refactor bad coercion checking in a few placesÖmer Sinan Ağacan2019-09-111-1/+20
* SetLevels: Fix potential panic in lvlBindBen Gamari2019-09-111-1/+11
* Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)Ryan Scott2019-08-021-2/+94
* Move tyConAppNeedsKindSig to TypeBen Gamari2019-07-312-273/+269
* Break up TyCoRepBen Gamari2019-07-3115-2505/+2625
* Add Note [RuntimeRep and PrimRep] in RepTypeRichard Eisenberg2019-07-291-1/+7
* Fix #16870 by improving documentation (only)Richard Eisenberg2019-07-192-6/+4
* Create {Int,Word}32RepJohn Ericson2019-07-171-3/+7
* Comments and tiny refactorSimon Peyton Jones2019-06-191-18/+3
* Properly trim IdInfos of DFunIds and PatSyns in TidyPgmÖmer Sinan Ağacan2019-06-191-3/+3
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-142-1/+34
* Use DeriveFunctor throughout the codebase (#15654)Krzysztof Gogolewski2019-06-122-6/+4
* Add GHCi :instances commandXavier Denis2019-06-041-1/+4
View Lorry Controller Status