summaryrefslogtreecommitdiff
path: root/compiler/prelude/PrelNames.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #11974 by adding a more smarts to TcDefaults.Richard Eisenberg2016-06-231-0/+12
* Kill the magic of AnyBen Gamari2016-03-301-8/+10
* Overload the static form to reduce verbosity.Facundo Domínguez2016-02-251-0/+8
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-10/+28
* Unwire Typeable representation typesBen Gamari2016-02-181-0/+22
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-23/+17
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-17/+18
* Add missing type representationsBen Gamari2016-01-131-23/+0
* Allow CallStacks to be frozenEric Seidel2015-12-231-1/+10
* Encode strictness in GHC generics metadataRyanGlScott2015-12-211-11/+37
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-1/+1
* Frontend plugins.Edward Z. Yang2015-12-121-1/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-61/+86
* Use TypeLits in the meta-data encoding of GHC.GenericsRyanGlScott2015-12-071-16/+43
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-2/+2
* Implement warnings for Semigroups as parent of MonoidDavid Luposchainsky2015-11-291-1/+28
* Add `PrelNames.thenAName` for `Applicative(*>)`Herbert Valerio Riedel2015-11-241-11/+17
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-12/+27
* Implement OverloadedLabelsAdam Gundry2015-11-171-0/+15
* Implement support for user-defined type errors.Iavor S. Diatchki2015-11-161-0/+47
* New magic function for applying realWorld#Ben Gamari2015-11-121-1/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-22/+66
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-66/+22
* Generate Typeable info at definition sitesBen Gamari2015-10-291-22/+66
* PrelNames: Fix duplicate uniqueBen Gamari2015-10-271-1/+1
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-9/+9
* Make GHC generics capable of handling unboxed typesRyanGlScott2015-10-031-13/+52
* Move CallStack back to baseBen Gamari2015-10-021-4/+5
* Add constant-folding rule for Data.Bits.bitBen Gamari2015-09-231-2/+6
* DeriveLift extension (#1830)RyanGlScott2015-09-211-0/+9
* Injective type familiesJan Stolarek2015-09-031-12/+14
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-13/+14
* PrelNames: introduce dcQual in place of conNameBen Gamari2015-08-271-20/+18
* PrelNames: Clean up list a bitBen Gamari2015-08-261-10/+11
* Remove runSTRep from PrelNamesReid Barton2015-07-271-7/+2
* Handle Char#, Addr# in TH quasiquoter (fixes #10620)RyanGlScott2015-07-171-4/+5
* Deferred type errors now throw TypeError (#10284)David Kraeutmann2015-07-071-1/+4
* Change `Typeable` instance for type-lis to use the Known* classes.Iavor S. Diatchki2015-06-211-9/+15
* Add parseExpr and compileParsedExpr and use them in GHC API and GHCiSimon Marlow2015-06-121-13/+10
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-17/+0
* Revert multiple commitsAustin Seipp2015-05-141-0/+17
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-17/+0
* Move IP, Symbol, Nat to ghc-primSimon Peyton Jones2015-05-011-3/+2
* Drop old integer-gmp-0.5 from GHC source treeHerbert Valerio Riedel2015-03-311-2/+0
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-071-4/+40
* Show '#' on unboxed literalsThomas Miedema2015-02-231-1/+2
* Add packageName to GHC.Generics.DatatypeOleg Grenrus2015-02-051-1/+2
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-191-0/+26
* Implement -XStaticValuesFacundo Domínguez2014-12-091-0/+50
* compiler: de-lhs prelude/Austin Seipp2014-12-031-0/+1845