summaryrefslogtreecommitdiff
path: root/compiler/GHC/Builtin/Names.hs
Commit message (Expand)AuthorAgeFilesLines
* Add the Unsatisfiable classsheaf2023-04-291-1/+20
* Handle records in the renamersheaf2023-03-291-10/+13
* Rename () into Unit, (,,...,,) into Tuple<n> (#21294)Andrei Borzenkov2023-03-211-0/+1
* Update note at beginning of GHC.Builtin.NAmesJoachim Breitner2023-01-311-7/+9
* CApiFFI: add ConstPtr for encoding const-qualified pointer return typesnineonine2023-01-281-3/+9
* Revert "CApiFFI: add ConstPtr for encoding const-qualified pointer return typ...Ben Gamari2023-01-281-9/+3
* Misc cleanupKrzysztof Gogolewski2023-01-051-16/+0
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-221-32/+34
* Move Void to GHC.Base...Oleg Grenrus2022-11-301-3/+2
* CApiFFI: add ConstPtr for encoding const-qualified pointer return types (#22043)nineonine2022-11-231-3/+9
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-24/+47
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-3/+8
* Numeric exceptions: replace FFI calls with primopsSylvain Henry2022-10-251-7/+2
* Rename Solo[constructor] to MkSoloTorsten Schmits2022-09-211-2/+3
* Add diagnostic codessheaf2022-09-131-5/+2
* Add native delimited continuations to the RTSAlexis King2022-09-111-1/+3
* Make withDict opaque to the specialisersheaf2022-07-211-0/+3
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-1/+2
* Cleanup BuiltInSyntax vs UserSyntaxMatthew Pickering2022-06-281-1/+4
* export IsList from GHC.IsListTeo Camarasu2022-05-291-5/+6
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-6/+11
* Misc cleanupKrzysztof Gogolewski2022-05-161-5/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-3/+1
* Rename [] to List (#21294)Vladislav Zavialov2022-04-071-1/+2
* Fix error when using empty case in arrow notationJakob Bruenker2022-04-011-5/+15
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+2
* Introduce ConcreteTv metavariablessheaf2022-03-021-2/+2
* Fix some notesMatthew Pickering2022-02-081-1/+0
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-4/+2
* Misc cleanupKrzysztof Gogolewski2021-11-251-2/+1
* Include "not more specific" info in overlap msgsheaf2021-11-201-1/+1
* Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)Zubin Duggal2021-11-201-1/+6
* Increase type sharingBen Gamari2021-11-171-13/+25
* Bignum: allow Integer's signum to inline (#20361)Sylvain Henry2021-10-201-5/+0
* Bignum: allow Integer predicates to inline (#20361)Sylvain Henry2021-10-201-35/+0
* Bignum: constant folding for bigNatCompareWord# (#20361)Sylvain Henry2021-10-201-0/+4
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+3
* Bignum: allow naturalToWordClamp/Negate/Signum to inline (#20361)Sylvain Henry2021-10-071-15/+0
* Bignum: allow inlining of naturalEq/Ne/Gt/Lt/Ge/Le/Compare (#20361)Sylvain Henry2021-10-071-26/+5
* Bignum: allow naturalEq#/Ne# to inline (#20361)Sylvain Henry2021-10-071-10/+6
* Improve overlap error for polykinded constraintssheaf2021-10-061-6/+30
* Introduce stack snapshotting / cloning (#18741)Sven Tennie2021-09-231-1/+2
* Improve error messages involving operators from Data.Type.OrdChristiaan Baaij2021-09-171-6/+7
* Constant-fold unpackAppendCString (fix #20174)Sylvain Henry2021-08-021-25/+26
* Remove some unused namesKrzysztof Gogolewski2021-07-271-19/+8
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-30/+6
* Fix naturalToFloat/DoubleSylvain Henry2021-06-191-4/+12
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-4/+7
* Add {lifted,unlifted}DataConKey to pretendNameIsInScope's list of NamesRyan Scott2021-04-131-1/+6
View Lorry Controller Status