summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix missing unboxed tuple RuntimeReps (#16565)Krzysztof Gogolewski2019-05-292-25/+38
* Improve comments around injectivity checksRichard Eisenberg2019-05-281-12/+15
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-6/+14
* Fix assertion failures reported in #16533Krzysztof Gogolewski2019-04-142-3/+3
* removing x87 register support from native code genCarter Schonwald2019-04-101-2/+2
* Fix #16518 with some more kind-splitting smartsRyan Scott2019-04-041-0/+15
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-159-45/+45
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-3/+2
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-072-6/+38
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-11/+29
* Visible dependent quantificationRyan Scott2019-03-012-3/+15
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-239-316/+523
* Remove tcTyConUserTyVarsSimon Peyton Jones2019-02-221-7/+4
* Tiny refactor in isUnliftedRuntimeRepSimon Peyton Jones2019-02-201-11/+17
* Get rid of tcm_smart from TyCoMapperSimon Peyton Jones2019-02-171-40/+24
* Make a smart mkAppTyMSimon Peyton Jones2019-02-146-49/+84
* Fix #16188Richard Eisenberg2019-02-121-0/+3
* Fix #16293 by cleaning up Proxy# infelicitiesRyan Scott2019-02-121-9/+15
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-083-35/+502
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-16/+289
* Some refactoring in tcInferAppsRichard Eisenberg2019-01-271-0/+3
* Prepare source-tree for base-4.13 MFP bumpHerbert Valerio Riedel2019-01-181-0/+2
* More minor comment improvementsRichard Eisenberg2019-01-112-12/+8
* Remove OPTIONS_HADDOCK hide in favour for not-homeAdam Sandberg Eriksson2019-01-061-1/+1
View Lorry Controller Status