summaryrefslogtreecommitdiff
path: root/compiler/prelude
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make GHC generics capable of handling unboxed typesRyanGlScott2015-10-031-13/+52
* Move CallStack back to baseBen Gamari2015-10-021-4/+5
* Fix treatment of -0.0Ben Gamari2015-10-021-51/+74
* Weak: Don't require wrapping/unwrapping of finalizersBen Gamari2015-09-251-2/+8
* Add constant-folding rule for Data.Bits.bitBen Gamari2015-09-232-10/+37
* Remove references to () from types of mkWeak# and friendsBen Gamari2015-09-231-3/+3
* DeriveLift extension (#1830)RyanGlScott2015-09-212-2/+56
* Injective type familiesJan Stolarek2015-09-034-105/+158
* Use IP based CallStack in error and undefinedEric Seidel2015-09-023-30/+100
* TysWiredIn: Shuffle code aroundBen Gamari2015-08-271-73/+71
* PrelNames: introduce dcQual in place of conNameBen Gamari2015-08-271-20/+18
* Revert "Clean up handling of knownKeyNames"Ben Gamari2015-08-271-46/+54
* Clean up handling of knownKeyNamesBen Gamari2015-08-261-54/+46
* PrelNames: Clean up list a bitBen Gamari2015-08-261-10/+11
* Refactor: delete most of the module FastTypesThomas Miedema2015-08-211-13/+7
* Implement getSizeofMutableByteArrayOp primopBen Gamari2015-08-211-1/+7
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-1/+3
* Give raise# a return type of open kind (#10481)Reid Barton2015-07-311-1/+2
* Remove runSTRep from PrelNamesReid Barton2015-07-271-7/+2
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-1/+1
* Comments about stricteness of catch#Simon Peyton Jones2015-07-241-15/+28
* Some utility functions for testing IfaceType equality.Edward Z. Yang2015-07-221-1/+1
* Improve strictness analysis for exceptionsSimon Peyton Jones2015-07-211-7/+26
* primops: Fix spelling mistakeBen Gamari2015-07-211-1/+1