summaryrefslogtreecommitdiff
path: root/compiler/simplCore/Simplify.lhs
Commit message (Expand)AuthorAgeFilesLines
* typosGabor Greif2013-01-301-3/+3
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-6/+26
|\
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-01-251-3/+2
| |\
| * | Allow CaseElim if the case binder is the next thing to be eval'dSimon Peyton Jones2013-01-221-6/+26
* | | Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-3/+2
| |/ |/|
* | Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-3/+2
|/
* Make CaseElim a bit less aggressiveSimon Peyton Jones2013-01-041-15/+21
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2013-01-021-2/+2
|\
| * Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-2/+2
* | Add an extra error check in DEBUG mode for ill-typed unfoldingsSimon Peyton Jones2013-01-021-3/+9
* | Crucial bug fix: use scrut' rather than scrut!Simon Peyton Jones2013-01-021-1/+1
* | Make the treatment of addAltUnfoldings handle castsSimon Peyton Jones2012-12-241-42/+54
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-10-191-1/+1
|\
| * Refactor the way dump flags are handledIan Lynagh2012-10-181-5/+5
| * Some alpha renamingIan Lynagh2012-10-161-5/+5
| * Rename DynFlag to GeneralFlagIan Lynagh2012-10-161-1/+1
* | Comments onlySimon Peyton Jones2012-10-151-1/+1
|/
* Make -f(no-)pre-inlining a dynamic flagIan Lynagh2012-10-091-21/+24
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-8/+14
* Move tARGET_* out of HaskellConstantsIan Lynagh2012-09-171-5/+6
* Pass DynFlags to the ru_try functions of built-in rulesIan Lynagh2012-09-171-1/+2
* Remove pprDefiniteTraceIan Lynagh2012-08-051-11/+12
* Rename trace_dump to dumpIan Lynagh2012-08-051-2/+2
* Whitespace only in compiler/simplCore/Simplify.lhsIan Lynagh2012-08-051-253/+246
* Restore old output for -ddump-rule-firings #7060Paolo Capriotti2012-07-181-9/+10
* Use dumpSDoc functions to output rules (#7060)Paolo Capriotti2012-07-131-15/+19
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-1/+1
* Pass DynFlags down to pprDefiniteTraceIan Lynagh2012-06-121-4/+4
* Pass DynFlags down to showSDocDumpIan Lynagh2012-06-121-1/+1
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-0/+1
* Wibbles to 'simplify the SimplCont data type'Simon Peyton Jones2012-05-091-2/+2
* Simplify the SimplCont data typeSimon Peyton Jones2012-05-091-42/+43
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-46/+47
* Comments onlySimon Peyton Jones2012-03-301-0/+1
* Make impossible-alternative-finding code more reusableMax Bolingbroke2012-03-211-0/+2
* Improved debug printing with -dverbose-core2coreSimon Peyton Jones2012-03-041-1/+1
* Comments onlySimon Peyton Jones2012-02-161-0/+17
* Remove getDOptsSmpl; use getDynFlags insteadIan Lynagh2012-01-191-4/+4
* Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)Simon Marlow2012-01-161-12/+8
* Add -faggressive-primops plus refactoring in CoreUtilsSimon Peyton Jones2012-01-131-8/+12
* Fix Trac #5658: strict bindings not floated inSimon Peyton Jones2012-01-121-1/+9
* In mkCast (Coercion c1) c2, check that c2 has (~#) on both sidesSimon Peyton Jones2012-01-091-6/+1
* Improve optimisation in the presence of SCCs (fixes #5363)Simon Marlow2011-12-071-10/+25
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-161-19/+6
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-141-30/+37
|\
| * Don't try to float bindings through ticksSimon Marlow2011-11-141-30/+37
* | Add another trace to Simplify (commented out usually)Simon Peyton Jones2011-11-141-1/+5
* | Comment onlySimon Peyton Jones2011-11-111-1/+1
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-111-2/+7
|\ \ | |/
| * New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-2/+7