summaryrefslogtreecommitdiff
path: root/compiler/prelude/TysWiredIn.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules (#13009)Sylvain Henry2020-04-181-1690/+0
* Special case `isConstraintKindCon` on `AlgTyCon`Sebastian Graf2020-04-091-0/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-13/+13
* Modules: Core (#13009)Sylvain Henry2020-03-161-7/+7
* Modules: Core (#13009)Sylvain Henry2020-02-261-3/+3
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-9/+9
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-3/+3
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Module hierarchy (#13009): StgSylvain Henry2019-12-311-6/+6
* Ignore unary constraint tuples during typechecking (#17511)Ryan Scott2019-12-101-3/+3
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-271-0/+21
* Fix random typos [skip ci]nineonine2019-11-171-1/+1
* Clean up TH's treatment of unary tuples (or, #16881 part two)Ryan Scott2019-11-071-1/+5
* Refactor some cruft in TcDerivInfer.inferConstraintsRyan Scott2019-10-151-2/+4
* Clean up `#include`s in the compilerJohn Ericson2019-10-051-1/+0
* Improve documentation around empty tuples/listsRichard Eisenberg2019-10-031-0/+1
* Note [Don't flatten tuples from HsSyn] in MkCoreRichard Eisenberg2019-10-031-5/+23
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-2/+2
* Add Note [RuntimeRep and PrimRep] in RepTypeRichard Eisenberg2019-07-291-0/+6
* Create {Int,Word}32RepJohn Ericson2019-07-171-20/+29
* Replace nOfThem by replicateKrzysztof Gogolewski2019-03-191-3/+3
* Visible dependent quantificationRyan Scott2019-03-011-1/+0
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-11/+28
* Use ByteString to represent Cmm string literals (#16198)Sylvain Henry2019-01-311-1/+1
* Minor refactor [ci skip]Gabor Greif2019-01-231-1/+1
* Introduce Int16# and Word16#Abhiroop Sarkar2018-11-171-6/+9
* Add Int8# and Word8#Michal Terepeta2018-11-021-11/+22
* Add RubbishLit for absent bindings of UnliftedRepSebastian Graf2018-10-141-1/+1
* Revert "Add Int8# and Word8#"Ben Gamari2018-10-091-22/+11
* Add Int8# and Word8#Michal Terepeta2018-10-071-11/+22
* Improve generated `GHC.Prim` docsAlec Theriault2018-10-041-0/+3
* Don't show constraint tuples in errors (#14907)Alec Theriault2018-09-251-0/+14
* Coercion Quantificationningning2018-09-151-5/+5
* Refactor (~) to reduce the suerpclass stackSimon Peyton Jones2018-07-271-20/+52
* More refactoring in TcValiditySimon Peyton Jones2018-07-101-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-3/+3
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-21/+3
* Fix #15214 by listing (~) in isBuiltInOcc_maybeRyan Scott2018-06-021-0/+3
* vectorise: Put it out of its miseryBen Gamari2018-06-021-88/+1
* Lift constructor tag allocation out of a loopBartosz Nitka2018-01-101-1/+9
* Cache the number of data cons in DataTyCon and SumTyConBartosz Nitka2018-01-041-35/+30
* Rename HEq_sc and Coercible_sc to heq_sel and coercible_selMatthew Pickering2018-01-021-2/+2
* Imrpove comments about equality typesSimon Peyton Jones2017-11-081-1/+1
* Track the order of user-written tyvars in DataConRyan Scott2017-10-031-7/+12
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-251-3/+4
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-291-2/+2
View Lorry Controller Status