summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* TyposKrzysztof Gogolewski2013-09-232-4/+4
* A little refactoringSimon Peyton Jones2013-09-181-1/+7
* Introduce coerce :: Coercible a b -> a -> bcoercibleJoachim Breitner2013-09-131-0/+8
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-123-5/+84
* Fix AMP warnings.Austin Seipp2013-09-112-0/+16
* Improve Linting in GHCi (fixes Trac #8215)Simon Peyton Jones2013-09-032-6/+19
* Remove the final vestiges of InlineWrappersSimon Peyton Jones2013-09-023-11/+23
* simplified the .hi format and added the -flate-dmd-anal flag (fixes #7782)Nicolas Frisby2013-08-295-44/+16
* Refactor to avoid gratuitous DEBUG warningSimon Peyton Jones2013-08-291-4/+4
* Improve debug error message for applyTypeToArgsSimon Peyton Jones2013-08-291-20/+20
* Fix Haddock formattingSimon Peyton Jones2013-08-191-1/+1
* Improve eta-reduction some more, when the function includes castsSimon Peyton Jones2013-08-191-9/+16
* Fix Trac #8138.Richard Eisenberg2013-08-161-1/+0
* Implement "roles" into GHC.Richard Eisenberg2013-08-027-118/+224
* Fix Trac #8020.Richard Eisenberg2013-08-021-1/+10
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+1
* Remove old representation of CSEnv; part of #5996Ian Lynagh2013-06-061-80/+0
* Better computeDiscount for ValAppCtxtSimon Peyton Jones2013-06-061-6/+7
* Take proper account of over-saturated functions in CoreUnfoldSimon Peyton Jones2013-06-061-6/+7
* Add TyCon.checkRecTc, and use in in typeAritySimon Peyton Jones2013-06-061-18/+34
* Implement cardinality analysisSimon Peyton Jones2013-06-061-27/+30
* Comments and white space onlySimon Peyton Jones2013-06-061-2/+2
* Imrove Lint to check unfoldingsSimon Peyton Jones2013-06-051-5/+19
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-306-89/+76
* We can't use Integer literals when compiling the integer-* package, eitherIan Lynagh2013-05-191-0/+2
* Fix a build problem with integer-simpleIan Lynagh2013-05-191-3/+11
* Make 'undefined' have the magical type 'forall (a:OpenKind).a'Simon Peyton Jones2013-05-151-9/+39
* Remove a redundant wrapper functionIan Lynagh2013-05-101-4/+2
* Remove extCoreName from DynFlagsIan Lynagh2013-04-261-6/+5
* Whitespace only in MkExternalCoreIan Lynagh2013-04-261-43/+36
* ignore RealWorld in size_expr; flag to keep w/w from creating sharingNicolas Frisby2013-04-111-20/+31
* Detab modules with tabs on 5 lines or fewerIan Lynagh2013-04-061-23/+16
* Fix typosGabor Greif2013-04-061-1/+1
* improve dead code elimination in CorePrep (fixes #7796)Nicolas Frisby2013-03-281-61/+11
* Comment onlySimon Peyton Jones2013-03-271-1/+1
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2013-02-131-1/+5
|\
| * Charge 1 for each case alternative in exprStatsSimon Peyton Jones2013-02-131-1/+5
* | Improve pretty-printing of strict lets with -dppr-case-as-letSimon Peyton Jones2013-02-131-11/+18
|/
* Fix Trac #7681.Richard Eisenberg2013-02-111-37/+1
* Merge branch 'refs/heads/vect-avoid' into vect-avoid-mergeManuel M T Chakravarty2013-02-064-17/+14
|\
| * Fix tidying of vectorised codeManuel M T Chakravarty2013-02-041-1/+1
| * Rewrote vectorisation avoidance (based on the HS paper)Manuel M T Chakravarty2012-12-054-16/+13
* | Remove an out-of-date commentIan Lynagh2013-02-011-5/+0
* | typosGabor Greif2013-01-304-5/+5
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-302-3/+5
|\ \
| * | Fix comments on isValArgSimon Peyton Jones2013-01-281-2/+3
| * | Pure refactoringSimon Peyton Jones2013-01-281-1/+2
* | | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-2/+22
|\ \ \ | |/ /
| * | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-256-72/+35
| |\ \
| * | | Allow eta-reduction of eval'd functions if of arity 1Simon Peyton Jones2013-01-221-2/+22
View Lorry Controller Status