summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreUtils.lhs
Commit message (Expand)AuthorAgeFilesLines
* White space onlySimon Peyton Jones2014-09-191-2/+2
* Fix some typos in recent comments/notesGabor Greif2014-08-071-2/+2
* Extensive Notes on can_fail and has_side_effectsSimon Peyton Jones2014-08-071-5/+14
* Comments and white spaceSimon Peyton Jones2014-08-071-6/+4
* Fix #9062.Richard Eisenberg2014-06-111-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Mark evaluated arguments in dataConInstPatSimon Peyton Jones2014-05-081-8/+27
* Remove unused eqExprXJoachim Breitner2013-12-171-39/+5
* Some refactoring of Demand and DmdAnalSimon Peyton Jones2013-12-121-7/+4
* Remove whitespace between macro identifiers and `(`Herbert Valerio Riedel2013-11-291-2/+2
* Add role-checking ASSERT to mkCastJoachim Breitner2013-11-271-1/+3
* Rename mkNoTick to mkNoCountSimon Marlow2013-11-211-2/+2
* Make exprType work correctly in the presnce of type bindings (Trac #8522)Simon Peyton Jones2013-11-121-1/+13
* TyposKrzysztof Gogolewski2013-09-231-2/+2
* 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
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-6/+10
* Remove old representation of CSEnv; part of #5996Ian Lynagh2013-06-061-80/+0
* Comments and white space onlySimon Peyton Jones2013-06-061-2/+2
* Charge 1 for each case alternative in exprStatsSimon Peyton Jones2013-02-131-1/+5
* typosGabor Greif2013-01-301-1/+1
* Allow eta-reduction of eval'd functions if of arity 1Simon Peyton Jones2013-01-221-2/+22
* Refactoring; no change in behaviourSimon Peyton Jones2013-01-021-53/+56
* Comment typo onlySimon Peyton Jones2012-12-241-1/+1
* Use isCheapApp in exprIsWorkFreeSimon Peyton Jones2012-10-151-11/+29
* Move tARGET_* out of HaskellConstantsIan Lynagh2012-09-171-3/+4
* Remove CPP from coreSyn/CoreUtils.lhsIan Lynagh2012-08-291-5/+5
* FloutOut.wrapTick: don't forget to tick the args of a constructor appSimon Marlow2012-08-021-1/+1
* Make seqType etc take accouunt of kinds that are now non-trivialSimon Peyton Jones2012-07-201-9/+9
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-1/+1
* When comparing Case expressions, take account of empty alternativesSimon Peyton Jones2012-05-161-4/+5
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-05-091-9/+1
|\
| * Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-071-9/+1
* | Be a little less aggressive about inlining (fixes Trac #5623)Simon Peyton Jones2012-05-091-1/+63
|/
* Revert "Refactoring in CoreUtils/CoreArity"Simon Peyton Jones2012-04-271-132/+105
* Refactoring in CoreUtils/CoreAritySimon Peyton Jones2012-04-271-105/+132
* Use coreBindsStats more than coreBindsSizeSimon Peyton Jones2012-04-261-44/+51
* Comments onlySimon Peyton Jones2012-03-301-6/+11
* Make impossible-alternative-finding code more reusableMax Bolingbroke2012-03-211-6/+84
* Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)Simon Marlow2012-01-161-132/+105
* Add -faggressive-primops plus refactoring in CoreUtilsSimon Peyton Jones2012-01-131-105/+132
* Fix Trac #5658: strict bindings not floated inSimon Peyton Jones2012-01-121-25/+30
* In mkCast (Coercion c1) c2, check that c2 has (~#) on both sidesSimon Peyton Jones2012-01-091-0/+4
* Print more informative sizes in -dshow-passes,Simon Peyton Jones2011-12-291-4/+4
* This patch includes:Dimitrios Vytiniotis2011-11-281-0/+7
* fix warningSimon Marlow2011-11-221-1/+1
* Do not wrap Coercions with ticks (fixes GADT3(profasm))Simon Marlow2011-11-221-0/+2
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-15/+1