| 2009-12-24 |
simonpj@microsoft.com | A bunch of stuff relating to substitutions on core
|
commit | commitdiff | tree |
| 2009-12-24 |
simonpj@microsoft.com | Refactor CoreArity a bit
|
commit | commitdiff | tree |
| 2009-12-22 |
simonpj@microsoft.com | Wibbles to inlining for small functions
|
commit | commitdiff | tree |
| 2009-12-22 |
simonpj@microsoft.com | Print out a bit more info with the "arity decrease...
|
commit | commitdiff | tree |
| 2009-12-22 |
simonpj@microsoft.com | Move isDictTy from TcType to Type
|
commit | commitdiff | tree |
| 2009-12-22 |
simonpj@microsoft.com | Allow instance heads to use infix syntax
|
commit | commitdiff | tree |
| 2009-12-22 |
simonpj@microsoft.com | Fix pretty-printer
|
commit | commitdiff | tree |
| 2010-01-04 |
simonpj@microsoft.com | Fix Trac #3792: check for qualified names in import...
|
commit | commitdiff | tree |
| 2010-01-04 |
simonpj@microsoft.com | Fix bugs in STG Lint
|
commit | commitdiff | tree |
| 2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation
|
commit | commitdiff | tree |
| 2009-12-21 |
simonpj@microsoft.com | Add comments to darcs-all
|
commit | commitdiff | tree |
| 2009-12-21 |
simonpj@microsoft.com | Fix Trac #3772: dict funs for single-field classes
|
commit | commitdiff | tree |
| 2009-12-21 |
simonpj@microsoft.com | Comments only (about implementing SPECIALISE pragmas)
|
commit | commitdiff | tree |
| 2009-12-21 |
simonpj@microsoft.com | A bit of refactoring, plus a sanity check
|
commit | commitdiff | tree |
| 2009-12-21 |
simonpj@microsoft.com | Fix Trac #3776
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Move all the CoreToDo stuff into CoreMonad
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Always expose the unfolding of something with an InlineRule
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Move loop-breaker info from original function to worker...
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Make -ddump-inlinings and -ddump-rule-firings less...
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Make warning printing a bit less noisy
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Set fixity (left-assoc) for setIdOccInfo
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-12-18 |
simonpj@microsoft.com | Add an extra heading in the output for count_lines
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Adjust Activations for specialise and work/wrap, and...
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Add comments
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Refactor to combine two eqExpr functions
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Two improvements to optCoercion
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Make setInlineActivation left-associative
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Fix a long-standing infelicity in the type pretty printer
|
commit | commitdiff | tree |
| 2009-12-16 |
simonpj@microsoft.com | Deal with warnings in Coercion.lhs
|
commit | commitdiff | tree |
| 2009-12-15 |
simonpj@microsoft.com | Fix a bug in the in-scope set that led to some lookupIdSubst...
|
commit | commitdiff | tree |
| 2009-12-15 |
simonpj@microsoft.com | Fix Trac #3717: exprOkForSpeculation should look through...
|
commit | commitdiff | tree |
| 2009-12-14 |
simonpj@microsoft.com | Tidy up computation of result discounts in CoreUnfold
|
commit | commitdiff | tree |
| 2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE
|
commit | commitdiff | tree |
| 2009-12-11 |
simonpj@microsoft.com | Improve strictness analysis for bottoming functions
|
commit | commitdiff | tree |
| 2009-12-11 |
simonpj@microsoft.com | Bottom extraction: float out bottoming expressions...
|
commit | commitdiff | tree |
| 2009-12-11 |
simonpj@microsoft.com | Fix two related bugs in u_tys
|
commit | commitdiff | tree |
| 2009-12-11 |
simonpj@microsoft.com | Fix spelling in comment
|
commit | commitdiff | tree |
| 2009-12-08 |
simonpj@microsoft.com | Make -ddump-simpl-stats a bit more informative by default
|
commit | commitdiff | tree |
| 2009-12-08 |
simonpj@microsoft.com | Improve dumping for rules, and documentation of same
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Add some explanation about overlapping instances
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Tidy up deriving error messages
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Minor refactoring to remove redundant code
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Fix a nasty (and long-standing) FloatOut performance bug
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Add a new to-do to cmm-notes
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Comments only, principally about IfaceDeclExtras
|
commit | commitdiff | tree |
| 2009-12-07 |
simonpj@microsoft.com | Comments only, about RULE plumbing
|
commit | commitdiff | tree |
| 2009-12-04 |
simonpj@microsoft.com | Add splitUFM to UniqFM (used in a forthcoming patch)
|
commit | commitdiff | tree |
| 2009-12-04 |
simonpj@microsoft.com | Add lengthBag to Bag (using in forthcoming patch)
|
commit | commitdiff | tree |
| 2009-12-04 |
simonpj@microsoft.com | Use addToUFM_Acc where appropriate
|
commit | commitdiff | tree |
| 2009-12-02 |
simonpj@microsoft.com | More work on the simplifier's inlining strategies
|
commit | commitdiff | tree |
| 2009-11-30 |
simonpj@microsoft.com | Fix Trac #3100: reifyType
|
commit | commitdiff | tree |
| 2009-11-30 |
simonpj@microsoft.com | Fix Trac #3102: pre-matching polytypes
|
commit | commitdiff | tree |
| 2009-11-26 |
simonpj@microsoft.com | Comments only, esp about RecStmts
|
commit | commitdiff | tree |
| 2009-11-20 |
simonpj@microsoft.com | Remove cprAnalysis directory from hs-source-dirs
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Remove the (very) old strictness analyser
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Make INLINE warning more precise
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Implement -fexpose-all-unfoldings, and fix a non-termination bug
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Re-implement the binder-swap stuff in OccurAnal
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Try harder not to make DFuns into loop breakers
|
commit | commitdiff | tree |
| 2009-11-17 |
simonpj@microsoft.com | Extend the GHCi FAQ slightly
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Refactor case-merging and identical-alternative optimisations
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Fix a nasty infelicity in the size computation of CoreUnfold
|
commit | commitdiff | tree |
| 2009-11-19 |
simonpj@microsoft.com | Comments and white space only
|
commit | commitdiff | tree |
| 2009-11-17 |
simonpj@microsoft.com | exprIsHNF should "look through" lets
|
commit | commitdiff | tree |
| 2009-11-17 |
simonpj@microsoft.com | Improvement to typecheck higher-rank rules better
|
commit | commitdiff | tree |
| 2009-11-17 |
simonpj@microsoft.com | Apply RULES to simplified arguments
|
commit | commitdiff | tree |
| 2009-11-17 |
simonpj@microsoft.com | Improvements to pretty-printing of Core
|
commit | commitdiff | tree |
| 2009-11-13 |
simonpj@microsoft.com | Wibble to comment
|
commit | commitdiff | tree |
| 2009-11-13 |
simonpj@microsoft.com | Use eta-expansion to ensure that INLINE things have...
|
commit | commitdiff | tree |
| 2009-11-13 |
simonpj@microsoft.com | Make the new ClassOp/DFun selection mechanism work...
|
commit | commitdiff | tree |
| 2009-11-12 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-11-12 |
simonpj@microsoft.com | Remove old, redundant note
|
commit | commitdiff | tree |
| 2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture
|
commit | commitdiff | tree |
| 2009-11-12 |
simonpj@microsoft.com | Improve warning message
|
commit | commitdiff | tree |
| 2009-11-12 |
simonpj@microsoft.com | Add an ID monad to MonadUtils (used in kind checking)
|
commit | commitdiff | tree |
| 2009-11-11 |
simonpj@microsoft.com | No CoreLint warnings if -dno-debug-output is on
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Wibbles to the inline-in-InlineRule stuff
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Don't inline a loop breaker, even if it has an INLINE...
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Implement the PushC rule when optimising casts
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Preserve strictness when floating coercions
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Make -dverbose-core2core set verbosity = 2
|
commit | commitdiff | tree |
| 2009-11-10 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-11-06 |
simonpj@microsoft.com | Improve debug-printing of the type environment
|
commit | commitdiff | tree |
| 2009-11-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR
|
commit | commitdiff | tree |
| 2009-11-06 |
simonpj@microsoft.com | Comments in OccurAnal
|
commit | commitdiff | tree |
| 2009-11-09 |
simonpj@microsoft.com | Remove dead code
|
commit | commitdiff | tree |
| 2009-11-09 |
simonpj@microsoft.com | Allow inlining in "SimplGentle" mode
|
commit | commitdiff | tree |
| 2009-11-09 |
simonpj@microsoft.com | Augment panic message
|
commit | commitdiff | tree |
| 2009-11-09 |
simonpj@microsoft.com | Wibble to substituting InlWrappers
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Be a tiny bit keener to inline in the RHS of a let
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Another refactoring on the shape of an Unfolding
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Add notes to cmm-notes, following conversation with...
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Fix Trac #3640, plus associated refactoring
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Improve error reporting when there's an error inside...
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search