2007-02-05 |
simonpj@microsoft.com | Improve handling of partial applications involving... |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Float casts out of lambdas |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Use exprIsCheap in floating, just as the simplifier... |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | One more wibble to FloatOut, fixes HEAD breakage (I... |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Don't dump floated bindings just outside a lambda |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Reset the demand info on bindings going to top level... |
tree | commitdiff |
2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Wibble |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Add -ddump-rule-firings |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2007-01-10 |
simonpj@microsoft.com | Correct spelling |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Make the LiberateCase transformation understand associa... |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2007-01-10 |
simonpj@microsoft.com | Fix apparently-long-standing bug in FloatIn |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Record-ise the liberate-case envt, in preparation for... |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix bug in cast optimisation; fixes Trac #995 |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Add comments, plus fix zapFragileInfo to zap worker... |
tree | commitdiff |
2006-12-06 |
simonpj@microsoft.com | Improve dependency analysis; makes more dictionaries... |
tree | commitdiff |
2006-11-29 |
simonpj@microsoft.com | Improve the loop-breaking heuristics |
tree | commitdiff |
2006-11-29 |
andy@galois.com | TickBox representation change |
tree | commitdiff |
2006-11-28 |
Kirsten Chevalier | retain arity for let-bound vars in simplifier |
tree | commitdiff |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
2006-11-04 |
Samuel Bronson | Fix up .lhs delimiters a bit |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Various debugging print changes; nothing exciting |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
tree | commitdiff |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Spelling in comment |
tree | commitdiff |
2006-10-16 |
Samuel Bronson | Don't squish "Inlined fn" into the right margin quite... |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Yet another fix to mkAtomicArgs (for floating of casts) |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Correct the float-coercions-out-of-let patch |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Float coercions out of lets |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Remove unused argument to mkAtomicArgs |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Comments and layout |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Remove unused OccInfo (simplification) |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take 2 on the recursive-rule fix |
tree | commitdiff |
2006-10-05 |
simonpj@microsoft.com | Take advantage of non-rec-ness in occurrence analysis... |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Improve liberate-case to take account of coercions |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Second bite at the rules-only idea |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Eliminate case-of-cast |
tree | commitdiff |
2006-10-03 |
simonpj@microsoft.com | Make recursion and RULES interact better |
tree | commitdiff |
2006-09-27 |
simonpj@microsoft.com | Fix exprIsConApp_maybe (wasn't dealing properly with... |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Clean up and refactor in SimplUtils.mkCase1 (identity... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
tree | commitdiff |
2006-09-19 |
Manuel M T Chakravarty | Adapt Simplify to conditional envs |
tree | commitdiff |
2006-09-19 |
Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable |
tree | commitdiff |
2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
2006-08-09 |
simonpj@microsoft.com | Change ASSERT to WARN |
tree | commitdiff |
2006-08-01 |
kevind@bu.edu | Add missing Cast cases to libCase and scExpr |
tree | commitdiff |
2006-08-17 |
simonpj@microsoft.com | Do not CSE in INLINE and NOINLINE things |
tree | commitdiff |
2006-08-16 |
simonpj@microsoft.com | Get dead-ness right in knownCon |
tree | commitdiff |
2006-08-16 |
simonpj@microsoft.com | Re-factor mkAtomicArgs and completeNonRecX |
tree | commitdiff |
2006-08-16 |
simonpj@microsoft.com | Another try at the continuation-swapping stuff |
tree | commitdiff |
2006-08-16 |
simonpj@microsoft.com | Don't build unnecessary lets in knownCon |
tree | commitdiff |
2006-08-16 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2006-08-15 |
simonpj@microsoft.com | Typo in patch that dealt with duplicating continuations... |
tree | commitdiff |
2006-08-14 |
simonpj@microsoft.com | Be more conservative about duplicating continuations |
tree | commitdiff |
2006-08-14 |
simonpj@microsoft.com | Inline into tail-called constructor args |
tree | commitdiff |
2006-08-10 |
simonpj@microsoft.com | Add an IAmDead case to postInlineUnconditionally, and... |
tree | commitdiff |
2006-08-10 |
simonpj@microsoft.com | Do not repeatedly simplify an argument more than once |
tree | commitdiff |
2006-08-10 |
simonpj@microsoft.com | Do not call preInlineUnconditionally in simplNonRecX |
tree | commitdiff |
2006-08-10 |
simonpj@microsoft.com | Make postInlineUnconditaionally more conservative |
tree | commitdiff |
2006-07-12 |
simonpj@microsoft.com | Experimental flag -fdicts-cheap |
tree | commitdiff |
2006-06-21 |
simonpj@microsoft.com | Arity and eta-expansion tuning |
tree | commitdiff |
2006-06-05 |
simonpj@microsoft.com | Remove InlinePlease and add inline function and RULE |
tree | commitdiff |
2006-05-22 |
simonpj@microsoft.com | Inline in a call argument if the caller has RULES |
tree | commitdiff |
2006-05-22 |
simonpj@microsoft.com | Add idHasRules |
tree | commitdiff |
2006-05-18 |
simonpj@microsoft.com | Fix a nasty continuation-duplication bug |
tree | commitdiff |
2006-05-18 |
simonpj@microsoft.com | Make simplifier report which phase it is doing in ... |
tree | commitdiff |
2006-05-17 |
simonpj@microsoft.com | Spelling correction |
tree | commitdiff |
2006-05-17 |
simonpj@microsoft.com | Retain INLINE pragma information during indirection... |
tree | commitdiff |
2006-05-04 |
simonpj@microsoft.com | Make rules available in RHS |
tree | commitdiff |
2006-04-12 |
simonpj@microsoft.com | Improve pruning of case alternatives to account for... |
tree | commitdiff |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
tree | commitdiff |
|