summaryrefslogtreecommitdiff
path: root/compiler/GHC/Builtin/Names.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Built-in type families: CharToNat, NatToChar (#19535)Vladislav Zavialov2021-03-171-31/+32
* fromInteger :: Integer -> {Float,Double} now always round to nearest evenARATA Mizuki2021-03-171-11/+9
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-33/+41
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-0/+12
* Add cmpNat, cmpSymbol, and cmpCharDaniel Winograd-Cort2021-03-031-3/+5
* Pmc: Implement `considerAccessible` (#18610)Sebastian Graf2021-03-011-11/+11
* Make known names simple ConApps (#19386)Sylvain Henry2021-02-281-4/+9
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-2/+13
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-7/+11
* The Char kind (#11342)Daniel Rogozin2021-02-061-49/+69
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-76/+234
* When deriving Eq always use tag based comparisons for nullary constructorsAndreas Klebinger2021-01-221-1/+2
* Bignum: fix for Integer/Natural Ord instancesSylvain Henry2021-01-171-39/+44
* GHCi: Fill field `DynFlags.dumpPrefix`. (Fixes #17500)Roland Senn2021-01-071-1/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-35/+30
* Implement BoxedRep proposalAndrew Martin2020-12-141-30/+35
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-261-2/+3
View Lorry Controller Status