summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTypeNats.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules (#13009)Sylvain Henry2020-04-181-992/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-1/+1
* Modules: Core (#13009)Sylvain Henry2020-03-161-6/+6
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Fix #14934 by including axSub0R in typeNatCoAxiomRulesRyan Scott2018-03-191-9/+84
* Comments and tiny refactorSimon Peyton Jones2018-03-191-0/+9
* Export typeNat{Div;Mod;Log}TyCon from TcTypeNatsChristiaan Baaij2018-01-081-0/+3
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Implement Div, Mod, and Log for type-level nats.Iavor Diatchki2017-10-031-0/+146
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Reexport CmpNat and friends (defined in GHC.TypeNats) from GHC.TypeLitsRyan Scott2017-03-041-6/+7
* Add 'type family (m :: Symbol) <> (n :: Symbol)'Oleg Grenrus2017-01-201-7/+91
* Refactor functional dependencies a bitSimon Peyton Jones2016-11-251-2/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-9/+5
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-4/+8
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-5/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-67/+44
* Generate Typeable info at definition sitesBen Gamari2015-10-301-6/+6
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-6/+6
* Generate Typeable info at definition sitesBen Gamari2015-10-291-6/+6
* Injective type familiesJan Stolarek2015-09-031-2/+10
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-5/+5
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-9/+5
* Implement typechecker pluginsAdam Gundry2014-11-201-0/+8
* Implement ordering comparisons for type-level naturals and symbols.Iavor S. Diatchki2014-03-181-1/+141
* Fix type-equality in the type checker (fixes Trac #8553)Simon Peyton Jones2013-11-221-17/+17
* Change the representation and move TcBuiltInSynFamily.Iavor S. Diatchki2013-11-141-32/+30
* Make type-level evaluation work with :kind!Iavor S. Diatchki2013-11-121-1/+1
* Improve documentation (Related to #8447)Iavor S. Diatchki2013-10-161-13/+16
* Weaken the improvement for subtraction.Iavor S. Diatchki2013-10-151-6/+35
* Add a type-function for subtraction.Iavor S. Diatchki2013-09-241-7/+57
* Comment typo onlyGabor Greif2013-09-161-1/+1
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+467
View Lorry Controller Status