summaryrefslogtreecommitdiff
path: root/compiler/prelude
Commit message (Expand)AuthorAgeFilesLines
* Simplify and tidy up the handling of tuple namesSimon Peyton Jones2014-04-042-45/+122
* Add SmallArray# and SmallMutableArray# typesJohan Tibell2014-03-293-7/+172
* Make copy array ops out-of-line by defaultJohan Tibell2014-03-281-6/+6
* codeGen: inline allocation optimization for clone array primopsJohan Tibell2014-03-221-0/+4
* Implement ordering comparisons for type-level naturals and symbols.Iavor S. Diatchki2014-03-182-0/+19
* Coercible is now exported from GHC.Types (#8894)Joachim Breitner2014-03-162-5/+1
* Another reference to Note [Kind-changing of (~) and Coercible]Joachim Breitner2014-03-141-1/+4
* Reference Note [Kind-changing of (~) and Coercible]Joachim Breitner2014-03-141-0/+2
* Remove unused gHC_COERCIBLEJoachim Breitner2014-03-141-2/+1
* Improve copy/clone array primop docsJohan Tibell2014-03-131-13/+29
* Add BuiltinRules for constant-folding not# and notI# (logical complement)Simon Peyton Jones2014-03-131-0/+9
* Allow ($) to return an unlifted type (Trac #8739)Simon Peyton Jones2014-02-181-4/+1
* Remove Coercible documentation from compiler/prelude/primops.txt.ppJoachim Breitner2014-01-301-41/+0
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-3/+4
* Re-work the naming story for the GHCi prompt (Trac #8649)Simon Peyton Jones2014-01-091-6/+3
* Document Proxy# (#8658)Austin Seipp2014-01-091-0/+12
* Guarding against silly shiftsSimon Peyton Jones2013-12-121-12/+68
* Assign strictness signatures to primitive operationsSimon Peyton Jones2013-12-121-2/+8
* Replace mkTopDmdType by mkClosedStrictSigJoachim Breitner2013-12-091-5/+5
* Fix note reference [WildCard binders]Joachim Breitner2013-12-041-1/+1
* Update Notes for CoercibleJoachim Breitner2013-11-291-1/+1
* Get rid of EvCoercibleJoachim Breitner2013-11-271-1/+1
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-222-3/+14
* Make Coercible higher-kindedJoachim Breitner2013-11-201-7/+11
* Update documentation concerning prefetch opsCarter Tazio Schonwald2013-11-031-22/+15
* Nuke trailing whitespace.Austin Seipp2013-11-021-8/+8
* adding further documentation and explanation to the prefetch primopsCarter Tazio Schonwald2013-11-021-2/+25
* Make SpecConstr also check for GHC.Types.SPECAustin Seipp2013-10-251-4/+12
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Update and clean-up the implmenation of GHC.TypeLitsIavor S. Diatchki2013-10-092-23/+29
* Add support for prefetch with locality levels.Austin Seipp2013-10-011-8/+77
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-013-4/+4
* Make typeRep_RDR use typeRep# instead of typeRepAustin Seipp2013-09-271-1/+1
* Implement an unlifted Proxy type, Proxy#Austin Seipp2013-09-272-1/+20
* Add a type-function for subtraction.Iavor S. Diatchki2013-09-241-1/+2
* Add 512-bit-wide SIMD primitives.Geoffrey Mainland2013-09-221-4/+12
* Add 256-bit-wide SIMD primitives.Geoffrey Mainland2013-09-221-4/+12
* Flesh out 128-bit wide SIMD primops.Geoffrey Mainland2013-09-221-5/+5
* SIMD primops are now generated using schemas that are polymorphic inGeoffrey Mainland2013-09-224-437/+147
* Make Word# a wired-in TyCon (fix Trac #8280)Simon Peyton Jones2013-09-182-10/+10
* Restore old names of comparison primopsJan Stolarek2013-09-182-45/+44
* Trailing whitespacesJan Stolarek2013-09-181-105/+105
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-1/+2
* Fix the type signatures of new copy primops.Austin Seipp2013-09-151-3/+3
* New primops for byte range copies ByteArray# <-> Addr#Duncan Coutts2013-09-151-0/+36
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-134-3/+97
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-123-14/+23
* Implement the AMP warning (#8004)Austin Seipp2013-09-111-3/+28
* Fix AMP warnings.Austin Seipp2013-09-111-0/+12
* Add basic support for GHCJSAustin Seipp2013-09-061-2/+8
View Lorry Controller Status