summaryrefslogtreecommitdiff
path: root/compiler/prelude
Commit message (Expand)AuthorAgeFilesLines
* Follow the move of the Word type to ghc-primIan Lynagh2012-05-221-3/+3
* Applied lunaris's patch to allow promoted types and rich kinds in Template Ha...Richard Eisenberg2012-05-181-1/+1
* Revert "Add -faggressive-primops"Simon Peyton Jones2012-04-271-47/+14
* Revert "Make more primops cheaper"Simon Peyton Jones2012-04-271-2/+0
* Make more primops cheaperSimon Peyton Jones2012-04-271-0/+2
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-271-0/+6
|\
| * Add a new primop mkWeakNoFinalizer (#5879)Simon Marlow2012-04-271-0/+6
* | Add -faggressive-primopsSimon Peyton Jones2012-04-271-14/+47
|/
* Add experimental GHCi monad.David Terei2012-04-241-1/+17
* Add a quotRemWord2 primopIan Lynagh2012-04-211-0/+6
* Add a couple of commentsIan Lynagh2012-04-201-0/+2
* Revert "Added ':runmonad' command to GHCi"Simon Peyton Jones2012-04-131-25/+9
* Added ':runmonad' command to GHCiDavid Terei2012-04-121-9/+25
* Update names to match the implementation in GHC.TypeLits.Iavor S. Diatchki2012-04-081-10/+6
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-135-80/+150
|\
| * Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-022-14/+18
| * Implement "value" imports with the CAPIIan Lynagh2012-02-261-7/+15
| * Add a 2-word-multiply operatorIan Lynagh2012-02-241-0/+4
| * Add a Word add-with-carry primopIan Lynagh2012-02-231-0/+4
| * Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-222-20/+2
| * Show the CType in --show-iface outputIan Lynagh2012-02-211-0/+9
| * Add a primop for unsigned quotRem; part of #5598Ian Lynagh2012-02-171-0/+4
| * Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-171-3/+12
| * Allow a header to be specified in a CTYPE pragmaIan Lynagh2012-02-172-10/+13
| * Merge branch 'master' of http://darcs.haskell.org/ghcIan Lynagh2012-02-162-23/+42
| |\
| | * Refactoring around super-kindsSimon Peyton Jones2012-02-162-23/+42
| * | Add CType informatino to wired-in typesIan Lynagh2012-02-161-15/+18
| * | Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-162-0/+16
| |/
| * Define a quotRem CallishMachOp; fixes #5598Ian Lynagh2012-02-141-0/+5
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-121-5/+15
|\ \ | |/
| * Give promoted DataCons a tyConArity and promoted TyCons a tyConKindSimon Peyton Jones2012-02-061-5/+5
| * When type-checking kinds, be sure to promote list and tuple syntaxSimon Peyton Jones2012-02-011-2/+12
* | Add support for type-level "strings".Iavor S. Diatchki2012-01-242-18/+28
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-243-76/+100
|\ \ | |/
| * Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)Simon Marlow2012-01-161-45/+14
| * Add -faggressive-primops plus refactoring in CoreUtilsSimon Peyton Jones2012-01-131-14/+45
| * Comments onlySimon Peyton Jones2012-01-131-1/+4
| * Get the knownKeyNames for doubleFromInteger rightSimon Peyton Jones2012-01-131-4/+4
| * Fix Trac #5658: strict bindings not floated inSimon Peyton Jones2012-01-121-71/+92
* | Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-232-58/+127
|\ \ | |/
| * Whitespace onlyIan Lynagh2012-01-111-31/+31
| * Add prelude rules for encode{Float,Double}Integer and integerTo{Int,Word}64Ian Lynagh2012-01-112-31/+59
| * Add prelude rules for quotInteger, remIntegerIan Lynagh2012-01-102-23/+44
| * Define prelude rules for floatFromInteger and doubleFromIntegerIan Lynagh2012-01-072-11/+18
| * Add comments on which integer rules are missingIan Lynagh2012-01-071-3/+16
* | Add the wired-in names for manipulating type-level nats.Iavor S. Diatchki2011-12-292-3/+35
* | Merge branch 'master' into type-natsIavor S. Diatchki2011-12-291-1/+7
|\ \ | |/
| * Fix the behaviour of the unit unboxed tuple (# #)Simon Peyton Jones2011-12-231-1/+7
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+6
|/
* Add comments about the meaning of can_fail and has_side_effectsSimon Peyton Jones2011-12-122-52/+89
View Lorry Controller Status