2010-12-13 |
simonpj@microsoft.com | Fix recursive superclasses (again). Fixes Trac #4809. |
tree | commitdiff |
2010-12-08 |
Ben Lippmeier | Always ppr case alts on separate lines |
tree | commitdiff |
2010-12-08 |
Ben Lippmeier | Add -dppr-case-as-let to print "strict lets" as actual... |
tree | commitdiff |
2010-12-08 |
Ben Lippmeier | Suppress more info with -dsuppress-idinfo |
tree | commitdiff |
2010-12-08 |
Ben Lippmeier | Implement -dsuppress-type-signatures |
tree | commitdiff |
2010-12-08 |
Ben Lippmeier | Add more suppression flags |
tree | commitdiff |
2010-12-02 |
simonpj@microsoft.com | Fix a nasty bug in RULE matching: Trac #4814 |
tree | commitdiff |
2010-11-26 |
simonpj@microsoft.com | Acutally, wild-card variables *can* have occurrences |
tree | commitdiff |
2010-11-26 |
simonpj@microsoft.com | Tidy up the handling of wild-card binders, and make... |
tree | commitdiff |
2010-11-25 |
simonpj@microsoft.com | Substitution should just substitute, not optimise |
tree | commitdiff |
2010-11-16 |
simonpj@microsoft.com | Refactoring of the way that inlinings and rules are... |
tree | commitdiff |
2010-11-16 |
simonpj@microsoft.com | Occurrence analyser takes account of the phase when... |
tree | commitdiff |
2010-10-27 |
simonpj@microsoft.com | Yet another go at CoreArity |
tree | commitdiff |
2010-10-26 |
Ian Lynagh | Use removeDups to find top-level duplicate names |
tree | commitdiff |
2010-10-26 |
simonpj@microsoft.com | Don't look through SCC in exprIsConApp_maybe |
tree | commitdiff |
2010-10-25 |
simonpj@microsoft.com | Serialise nested unfoldings across module boundaries |
tree | commitdiff |
2010-10-25 |
simonpj@microsoft.com | Do not (ever) use substExprSC in the simplifier |
tree | commitdiff |
2010-10-23 |
Ian Lynagh | Follow GHC.Bool/GHC.Types merge |
tree | commitdiff |
2010-10-22 |
simonpj@microsoft.com | Lint should check for duplicate top-level bindings... |
tree | commitdiff |
2010-10-21 |
Ian Lynagh | Switch more uniqFromSupply+splitUniqSupply's to takeUni... |
tree | commitdiff |
2010-10-21 |
simonpj@microsoft.com | Improve the simple expression optimiser so it does... |
tree | commitdiff |
2010-10-15 |
Simon Marlow | Fix #4346 (INLINABLE pragma not behaving consistently) |
tree | commitdiff |
2010-10-08 |
Simon Marlow | Float out partial applications |
tree | commitdiff |
2010-10-07 |
simonpj@microsoft.com | Implement auto-specialisation of imported Ids |
tree | commitdiff |
2010-09-29 |
Ian Lynagh | Remove an unused import on Windows |
tree | commitdiff |
2010-09-24 |
simonpj@microsoft.com | Just moving comments around |
tree | commitdiff |
2010-09-23 |
simonpj@microsoft.com | Add notSCCNote, and use it |
tree | commitdiff |
2010-09-22 |
simonpj@microsoft.com | Get rid of non-exhaustive lambda |
tree | commitdiff |
2010-09-22 |
simonpj@microsoft.com | Fix an ASSERT failure with profiling |
tree | commitdiff |
2010-09-16 |
simonpj@microsoft.com | Add more location info in CoreLint |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Use mkAppTy |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Extend eta reduction to work with casted arguments |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Implement INLINABLE pragma |
tree | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Make absent-arg wrappers work for unlifted types (fix... |
tree | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Move error-ids to MkCore (from PrelRules) |
tree | commitdiff |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
tree | commitdiff |
2010-09-03 |
simonpj@microsoft.com | Buglet in Core Lint |
tree | commitdiff |
2010-09-02 |
simonpj@microsoft.com | Add aserts |
tree | commitdiff |
2010-07-27 |
simonpj@microsoft.com | Layout only |
tree | commitdiff |
2010-07-26 |
simonpj@microsoft.com | Rename CorePrep.tryEtaReduce to tryEtaReducePrep |
tree | commitdiff |
2010-08-13 |
simonpj@microsoft.com | Re-do the arity calculation mechanism again (fix Trac... |
tree | commitdiff |
2010-08-12 |
simonpj@microsoft.com | Fix bug in linting of shadowed case-alternative binders |
tree | commitdiff |
2010-06-01 |
simonpj@microsoft.com | Remove redundant debug code |
tree | commitdiff |
2010-06-14 |
simonpj@microsoft.com | Gruesome fix in CorePrep to fix embarassing Trac #4121 |
tree | commitdiff |
2010-05-31 |
simonpj@microsoft.com | Fix a bug in CorePrep that meant output invariants... |
tree | commitdiff |
2010-05-31 |
simonpj@microsoft.com | Robustify the treatement of DFunUnfolding |
tree | commitdiff |
2010-05-22 |
Ian Lynagh | Core prettyprinter fixes. Patch from Tim Chevalier... |
tree | commitdiff |
2010-05-05 |
simonpj@microsoft.com | Fix interaction of exprIsCheap and the lone-variable... |
tree | commitdiff |
2010-05-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-05-03 |
Simon PJ | Print unfoldings on lambda-bound variables |
tree | commitdiff |
2010-03-30 |
David Waern | Add Data and Typeable instances to HsSyn |
tree | commitdiff |
2010-03-09 |
simonpj@microsoft.com | A bug in isClosedUnfolding |
tree | commitdiff |
2010-03-09 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-01-08 |
simonpj@microsoft.com | Comment out debug warnings; they are fine |
tree | commitdiff |
2010-01-07 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2010-01-06 |
simonpj@microsoft.com | Improve the handling of default methods |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | Continue refactoring the core-to-core pipeline |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | A bunch of stuff relating to substitutions on core |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | Refactor CoreArity a bit |
tree | commitdiff |
2009-12-22 |
simonpj@microsoft.com | Wibbles to inlining for small functions |
tree | commitdiff |
2009-12-22 |
simonpj@microsoft.com | Fix pretty-printer |
tree | commitdiff |
2010-01-04 |
Ben.Lippmeier@anu... | Refactor PackageTarget back into StaticTarget |
tree | commitdiff |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
tree | commitdiff |
2009-12-18 |
simonpj@microsoft.com | Make -ddump-inlinings and -ddump-rule-firings less... |
tree | commitdiff |
2009-12-18 |
simonpj@microsoft.com | Make warning printing a bit less noisy |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Refactor to combine two eqExpr functions |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Two improvements to optCoercion |
tree | commitdiff |
2009-12-15 |
simonpj@microsoft.com | Fix a bug in the in-scope set that led to some lookupId... |
tree | commitdiff |
2009-12-15 |
simonpj@microsoft.com | Fix Trac #3717: exprOkForSpeculation should look throug... |
tree | commitdiff |
2009-12-14 |
simonpj@microsoft.com | Tidy up computation of result discounts in CoreUnfold |
tree | commitdiff |
2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE |
tree | commitdiff |
2009-12-11 |
simonpj@microsoft.com | Bottom extraction: float out bottoming expressions... |
tree | commitdiff |
2009-12-02 |
simonpj@microsoft.com | More work on the simplifier's inlining strategies |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Make INLINE warning more precise |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Implement -fexpose-all-unfoldings, and fix a non-termin... |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Fix a nasty infelicity in the size computation of CoreU... |
tree | commitdiff |
2009-11-19 |
simonpj@microsoft.com | Comments and white space only |
tree | commitdiff |
2009-11-17 |
simonpj@microsoft.com | exprIsHNF should "look through" lets |
tree | commitdiff |
2009-11-17 |
simonpj@microsoft.com | Improvements to pretty-printing of Core |
tree | commitdiff |
2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture |
tree | commitdiff |
2009-11-12 |
simonpj@microsoft.com | Improve warning message |
tree | commitdiff |
2009-11-11 |
simonpj@microsoft.com | No CoreLint warnings if -dno-debug-output is on |
tree | commitdiff |
2009-11-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR |
tree | commitdiff |
2009-11-09 |
simonpj@microsoft.com | Wibble to substituting InlWrappers |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Be a tiny bit keener to inline in the RHS of a let |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Another refactoring on the shape of an Unfolding |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Nuke the -finline-if-enough-args flag |
tree | commitdiff |
2009-11-05 |
simonpj@microsoft.com | Comments and layout only, relating to Roman's inlining... |
tree | commitdiff |
2009-11-04 |
Roman Leshchinskiy | Consider variables with conlike unfoldings interesting |
tree | commitdiff |
2009-11-03 |
simonpj@microsoft.com | Tweak simpleOptExpr, so that it respects nested INLINE... |
tree | commitdiff |
2009-11-02 |
simonpj@microsoft.com | Make the arity warning a bit more informative (DEBUG... |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Minor refactoring |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Fix build with DEBUG on |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Cure an assert failure by gathering the right set of... |
tree | commitdiff |
2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
tree | commitdiff |
2009-10-29 |
simonpj@microsoft.com | Add Outputable.blankLine and use it |
tree | commitdiff |
next |