summaryrefslogtreecommitdiff
path: root/compiler/simplCore/SetLevels.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs simplCore/Austin Seipp2014-12-031-1121/+0
* Add comments explaining ProbOneShotSimon Peyton Jones2014-11-041-0/+1
* Fix comment typosJan Stolarek2014-10-311-1/+1
* Comments onlySimon Peyton Jones2014-08-281-0/+3
* Don't float out (classop dict e1 e2)Simon Peyton Jones2014-08-281-9/+20
* simplCore: detabify/dewhitespace SetLevelsAustin Seipp2014-08-201-272/+264
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Fix last-minute typo in SetLevels commit ef44a4Simon Peyton Jones2014-03-111-1/+2
* Make SetLevels do substitution properly (fixes Trac #8714)Simon Peyton Jones2014-03-111-332/+292
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-121-1/+3
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Comments onlySimon Peyton Jones2013-01-221-3/+4
* Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-9/+14
* Comments onlySimon Peyton Jones2012-03-201-1/+2
* Move sortQuantVars to MkCoreSimon Peyton Jones2012-02-171-18/+15
* Comments onlySimon Peyton Jones2012-02-161-1/+4
* Comments onlySimon Peyton Jones2012-01-121-2/+2
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-2/+2
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-13/+9
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-5/+5
* Recover proper sharing for Integer literalsSimon Peyton Jones2011-10-211-1/+13
* fix Note cross-refSimon Marlow2011-10-051-1/+1
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-1/+1
* Fix handing of CoVars in SetLevels: it wasn't renaming occurrences of case-bo...Max Bolingbroke2011-09-061-31/+30
* Fix two bugs in caes-floating (fixes Trac #5453)Simon Peyton Jones2011-09-051-52/+105
* Comments onlySimon Peyton Jones2011-08-231-2/+3
* A second bite at the case-floating patchSimon Peyton Jones2011-06-301-38/+56
* Add case-floating to the float-out passSimon Peyton Jones2011-06-271-125/+177
* The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-121-2/+2
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-6/+9
* Some infrastruture for lambda-liftingsimonpj@microsoft.com2010-11-161-54/+72
* Fix a long-standing bug the float-out pass simonpj@microsoft.com2010-10-261-18/+7
* Float out partial applicationsSimon Marlow2010-10-081-9/+40
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-1/+1
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-2/+2
* Fix egregious bug in SetLevels.notWorthFloatingsimonpj@microsoft.com2010-08-131-4/+4
* Move all the CoreToDo stuff into CoreMonadsimonpj@microsoft.com2009-12-181-2/+1
* Bottom extraction: float out bottoming expressions to top levelsimonpj@microsoft.com2009-12-111-32/+92
* Minor refactoring to remove redundant codesimonpj@microsoft.com2009-12-071-7/+1
* Remove the (very) old strictness analysersimonpj@microsoft.com2009-11-191-2/+2
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-58/+54
* Remove unused importsIan Lynagh2009-07-071-1/+1
* Don't float case expressions in full lazinesssimonpj@microsoft.com2009-04-021-0/+12
* Improve transferPolyIdInfo for value-arg abstractionsimonpj@microsoft.com2009-02-041-1/+1
* Make record selectors into ordinary functionssimonpj@microsoft.com2009-01-021-9/+9
* Rollback INLINE patchesSimon Marlow2008-12-161-54/+59
* Completely new treatment of INLINE pragmas (big patch)simonpj@microsoft.com2008-12-051-59/+54
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-301-2/+2
* Don't float an expression wrapped in a castsimonpj@microsoft.com2008-10-211-0/+7