summaryrefslogtreecommitdiff
path: root/compiler/GHC/Builtin/Types
Commit message (Expand)AuthorAgeFilesLines
* Built-in type families: CharToNat, NatToChar (#19535)wip/char-type-familiesVladislav Zavialov2021-03-151-0/+91
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-12/+14
* Add cmpNat, cmpSymbol, and cmpCharDaniel Winograd-Cort2021-03-031-78/+5
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-13/+21
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-0/+1
* The Char kind (#11342)Daniel Rogozin2021-02-061-35/+189
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-12/+10
* Implement BoxedRep proposalAndrew Martin2020-12-141-10/+12
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-142-4/+5
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-142-5/+4
* Optimise nullary type constructor usageBen Gamari2020-12-142-4/+5
* Split GHC.Driver.TypesSylvain Henry2020-10-291-3/+4
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-1/+1
* Unification of Nat and NaturalsHaskellMouse2020-10-131-8/+6
* Misc cleanupKrzysztof Gogolewski2020-10-071-0/+1
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-291-2/+3
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-5/+5
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-0/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-10/+1
* winio: Add IOPort synchronization primitiveTamar Christina2020-07-151-1/+19
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-6/+0
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-3/+3
* Update compilerSylvain Henry2020-06-171-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-7/+25
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-2/+16
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-262-9/+7
* Modules (#13009)Sylvain Henry2020-04-182-0/+2103
View Lorry Controller Status