summaryrefslogtreecommitdiff
path: root/compiler/prelude
Commit message (Expand)AuthorAgeFilesLines
* 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-245-142/+379
* Unwire Typeable representation typesBen Gamari2016-02-182-61/+23
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-203-73/+84
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-182-9/+9
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-182-83/+18
* Fix #10872.Richard Eisenberg2016-01-151-30/+2
* Add missing type representationsBen Gamari2016-01-132-24/+52
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-33/+14
* Canonicalise `MonadPlus` instancesHerbert Valerio Riedel2016-01-011-6/+4
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-4/+0
* Visible type applicationRichard Eisenberg2015-12-243-12/+12
* Refactoring onlySimon Peyton Jones2015-12-241-2/+2
* Allow CallStacks to be frozenEric Seidel2015-12-231-1/+10
* Fix super-class cycle checkSimon Peyton Jones2015-12-231-0/+1
* Refactor named wildcards (again)Simon Peyton Jones2015-12-221-6/+3
* Rework Template Haskell's handling of strictnessRyanGlScott2015-12-221-37/+61
* Add proper GADTs support to Template HaskellJan Stolarek2015-12-211-9/+14
* Maintain cost-centre stacks in the interpreterSimon Marlow2015-12-211-0/+8
* Encode strictness in GHC generics metadataRyanGlScott2015-12-212-12/+44
* Comments onlySimon Peyton Jones2015-12-181-11/+27
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-163-42/+141
* primops: Mark actions evaluated by `catch*` as lazyBen Gamari2015-12-151-10/+20
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-1/+2
* Comments on equality types and classesSimon Peyton Jones2015-12-152-29/+78
* TysWiredIn: Fix a comment - Note [TYPE] is in TysPrimÖmer Sinan Ağacan2015-12-141-1/+1
* Frontend plugins.Edward Z. Yang2015-12-121-1/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-118-420/+509
* Use TypeLits in the meta-data encoding of GHC.GenericsRyanGlScott2015-12-071-16/+43
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-1/+1
* 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-172-12/+35
* 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
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-2/+2
* Add subWordC# on x86ishNikita Karetnikov2015-10-311-0/+5
* Generate Typeable info at definition sitesBen Gamari2015-10-305-146/+251
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-295-251/+146
* Generate Typeable info at definition sitesBen Gamari2015-10-295-146/+251
* Record pattern synonymsMatthew Pickering2015-10-291-1/+1
* PrelNames: Fix duplicate uniqueBen Gamari2015-10-271-1/+1
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Add typed holes support in Template Haskell.Jan Stolarek2015-10-161-8/+15
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-1/+1
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-144-14/+14
View Lorry Controller Status