Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | One more wibble to FloatOut, fixes HEAD breakage (I hope) | simonpj@microsoft.com | 2007-02-02 | 1 | -2/+3 |
* | Don't dump floated bindings just outside a lambda | simonpj@microsoft.com | 2007-02-02 | 1 | -49/+49 |
* | Reset the demand info on bindings going to top level (since they cannot be st... | simonpj@microsoft.com | 2007-02-02 | 1 | -3/+5 |
* | Use Id.isStrictId | simonpj@microsoft.com | 2007-01-31 | 4 | -15/+5 |
* | Wibble | simonpj@microsoft.com | 2007-01-11 | 1 | -3/+1 |
* | Add -ddump-rule-firings | simonpj@microsoft.com | 2007-01-11 | 1 | -2/+6 |
* | Comments | simonpj@microsoft.com | 2007-01-11 | 1 | -2/+3 |
* | Correct spelling | simonpj@microsoft.com | 2007-01-10 | 1 | -1/+1 |
* | Make the LiberateCase transformation understand associated types | simonpj@microsoft.com | 2007-01-11 | 2 | -81/+170 |
* | Comments | simonpj@microsoft.com | 2007-01-11 | 1 | -12/+13 |
* | Fix apparently-long-standing bug in FloatIn | simonpj@microsoft.com | 2007-01-10 | 1 | -32/+49 |
* | Record-ise the liberate-case envt, in preparation for new stuff | simonpj@microsoft.com | 2007-01-03 | 1 | -32/+42 |
* | Fix bug in cast optimisation; fixes Trac #995 | simonpj@microsoft.com | 2007-01-03 | 1 | -13/+14 |
* | Fix several bugs related to finding free variables | simonpj@microsoft.com | 2007-01-03 | 1 | -2/+1 |
* | Comments only | simonpj@microsoft.com | 2006-12-12 | 1 | -0/+8 |
* | Add comments, plus fix zapFragileInfo to zap worker info | simonpj@microsoft.com | 2006-12-11 | 1 | -2/+7 |
* | Improve dependency analysis; makes more dictionaries inlinable | simonpj@microsoft.com | 2006-12-06 | 1 | -0/+5 |
* | Improve the loop-breaking heuristics | simonpj@microsoft.com | 2006-11-29 | 1 | -4/+7 |
* | TickBox representation change | andy@galois.com | 2006-11-29 | 2 | -17/+2 |
* | retain arity for let-bound vars in simplifier | Kirsten Chevalier | 2006-11-28 | 1 | -1/+3 |
* | Zap stray whitespace in lhs formatting | Samuel Bronson | 2006-11-10 | 1 | -1/+1 |
* | Fix up .lhs delimiters a bit | Samuel Bronson | 2006-11-04 | 1 | -2/+2 |
* | Various debugging print changes; nothing exciting | simonpj@microsoft.com | 2006-11-06 | 3 | -9/+18 |
* | Tidy up substitutions | simonpj@microsoft.com | 2006-11-06 | 1 | -0/+5 |
* | Major overhaul of the Simplifier | simonpj@microsoft.com | 2006-11-01 | 4 | -1501/+1250 |
* | Haskell Program Coverage | andy@galois.com | 2006-10-24 | 2 | -0/+15 |
* | Spelling in comment | simonpj@microsoft.com | 2006-10-18 | 1 | -1/+1 |
* | Don't squish "Inlined fn" into the right margin quite as much in trace output | Samuel Bronson | 2006-10-16 | 1 | -1/+1 |
* | Add assertion checks for mkCoVar/mkTyVar | simonpj@microsoft.com | 2006-10-13 | 1 | -1/+0 |
* | Module header tidyup, phase 1 | Simon Marlow | 2006-10-11 | 1 | -1/+1 |
* | Yet another fix to mkAtomicArgs (for floating of casts) | simonpj@microsoft.com | 2006-10-06 | 1 | -4/+11 |
* | Correct the float-coercions-out-of-let patch | simonpj@microsoft.com | 2006-10-05 | 1 | -0/+7 |
* | Float coercions out of lets | simonpj@microsoft.com | 2006-10-05 | 1 | -3/+37 |
* | Remove unused argument to mkAtomicArgs | simonpj@microsoft.com | 2006-10-05 | 1 | -10/+7 |
* | Comments and layout | simonpj@microsoft.com | 2006-10-05 | 1 | -1/+0 |
* | Remove unused OccInfo (simplification) | simonpj@microsoft.com | 2006-10-05 | 3 | -34/+19 |
* | Take 2 on the recursive-rule fix | simonpj@microsoft.com | 2006-10-05 | 1 | -73/+93 |
* | Take advantage of non-rec-ness in occurrence analysis (minor) | simonpj@microsoft.com | 2006-10-05 | 1 | -3/+3 |
* | Comments only | simonpj@microsoft.com | 2006-10-04 | 1 | -1/+1 |
* | Improve liberate-case to take account of coercions | simonpj@microsoft.com | 2006-10-04 | 1 | -4/+13 |
* | Second bite at the rules-only idea | simonpj@microsoft.com | 2006-10-04 | 3 | -62/+53 |
* | Eliminate case-of-cast | simonpj@microsoft.com | 2006-10-04 | 1 | -21/+42 |
* | Make recursion and RULES interact better | simonpj@microsoft.com | 2006-10-03 | 2 | -22/+37 |
* | Fix exprIsConApp_maybe (wasn't dealing properly with the EqSpec of the DataCon) | simonpj@microsoft.com | 2006-09-27 | 1 | -2/+1 |
* | Trim imports, and remove some dead code | simonpj@microsoft.com | 2006-09-23 | 1 | -8/+4 |
* | Clean up and refactor in SimplUtils.mkCase1 (identity case) | Manuel M T Chakravarty | 2006-09-20 | 1 | -25/+20 |
* | Indexed newtypes | Manuel M T Chakravarty | 2006-09-20 | 1 | -2/+2 |
* | Fix problem with selectors for GADT records with unboxed fields | Manuel M T Chakravarty | 2006-09-20 | 1 | -2/+2 |
* | fix default case filling-in for GADTs | Manuel M T Chakravarty | 2006-09-20 | 2 | -23/+4 |
* | fix big-lambda eta expansion, add comments | Manuel M T Chakravarty | 2006-09-20 | 1 | -1/+2 |