summaryrefslogtreecommitdiff
path: root/compiler/prelude
Commit message (Expand)AuthorAgeFilesLines
* Change catch# demand signatureDavid Feuer2017-03-011-1/+1
* Disable Typeable binding generation for unboxed sumsBen Gamari2017-02-181-2/+5
* Type-indexed TypeableBen Gamari2017-02-184-62/+170
* Generalize kind of the (->) tyconBen Gamari2017-02-181-13/+14
* Typos [ci skip]Gabor Greif2017-02-151-1/+1
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-0/+16
* Tweaks and typos in manual, note refs, commentsGabor Greif2017-02-091-1/+1
* Fix documentation for setByteArray#Ben Gamari2017-02-081-1/+2
* Fix comment of `section "Exceptions"`Takenobu Tani2017-02-071-13/+12
* Derive <$David Feuer2017-02-071-3/+7
* Add liftA2 to Applicative classDavid Feuer2017-02-051-1/+2
* Introduce GHC.TypeNats module, change KnownNat evidence to be NaturalOleg Grenrus2017-02-011-4/+23
* base: Derive Enum, Bounded for VecCount, VecElemBen Gamari2017-02-011-2/+2
* Fix documentation NOTE about can_failVladislav Zavialov2017-02-011-1/+1
* Mark reallyUnsafePtrEquality# as can_failDavid Feuer2017-01-311-0/+35
* Add pragCompleteDName to templateHaskellNamesRyan Scott2017-01-251-1/+1
* Template Haskell support for COMPLETE pragmasMatthew Pickering2017-01-261-41/+44
* Ensure that scrutinee constant folding wraps numbersSylvain Henry2017-01-231-31/+61
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-18/+23
* Add 'type family (m :: Symbol) <> (n :: Symbol)'Oleg Grenrus2017-01-201-0/+3
* Update levity polymorphismRichard Eisenberg2017-01-195-166/+228
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* Refine exprOkForSpeculationSimon Peyton Jones2017-01-161-3/+27
* Desugar static forms to makeStatic calls.Facundo Domínguez2017-01-131-0/+11
* Revert "Have addModFinalizer expose the local type environment."Facundo Domínguez2017-01-061-11/+0
* Have addModFinalizer expose the local type environment.Facundo Domínguez2017-01-061-0/+11
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-232-6/+34
* Introduce unboxedSum{Data,Type}Name to template-haskellRyan Scott2016-12-181-1/+1
* Verify that known-key uniques fit in interface fileBen Gamari2016-12-151-0/+5
* Make unboxedTuple{Type,Data}Name support 0- and 1-tuplesRyan Scott2016-12-151-0/+1
* Revert "Float unboxed expressions by boxing"Ben Gamari2016-12-132-34/+6
* Float unboxed expressions by boxingSimon Peyton Jones2016-12-122-6/+34
* Rename TH constructors for deriving strategiesRyan Scott2016-12-091-5/+7
* Scrutinee Constant FoldingSylvain Henry2016-12-091-1/+56
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-073-18/+27
* Overhaul of Compact Regions (#12455)Simon Marlow2016-12-071-8/+28
* Kill Type pretty-printerBen Gamari2016-11-132-3/+6
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-0/+5
* Document unpackClosure# primopÖmer Sinan Ağacan2016-10-281-0/+5
* Refactor occurrence-check logicSimon Peyton Jones2016-10-212-3/+5
* PrelInfo: Fix styleBen Gamari2016-10-131-13/+12
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-135-85/+383
* Implement deriving strategiesRyan Scott2016-09-301-61/+90
* Turn divInt# and modInt# into bitwise operations when possibleTakano Akio2016-09-053-4/+37
* TysWiredIn: Use dataConWorkerUnique instead of incrUniqueBen Gamari2016-08-311-2/+2
* Template Haskell support for TypeApplicationsRyan Scott2016-08-291-30/+32
* Template Haskell support for unboxed sumsRyan Scott2016-08-231-58/+64
* Support for noinline magic function.Edward Z. Yang2016-08-211-1/+4
* Remove StgRubbishArg and CmmArgÖmer Sinan Ağacan2016-08-101-2/+1
* ForeignCall.hs: Remove DrIFT directivesÖmer Sinan Ağacan2016-08-021-7/+0