| 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 |
| 2009-11-05 |
simonpj@microsoft.com | Update layout of error message slightly
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Nuke the -finline-if-enough-args flag
|
commit | commitdiff | tree |
| 2009-11-04 |
simonpj@microsoft.com | Comment only
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Comments and layout only, relating to Roman's inlining...
|
commit | commitdiff | tree |
| 2009-11-05 |
simonpj@microsoft.com | Comments only, relating to Roman's new built-in rule...
|
commit | commitdiff | tree |
| 2009-11-03 |
simonpj@microsoft.com | Add a (DEBUG-only) warning for top-level error thunks...
|
commit | commitdiff | tree |
| 2009-11-03 |
simonpj@microsoft.com | Comment only
|
commit | commitdiff | tree |
| 2009-11-03 |
simonpj@microsoft.com | Tweak simpleOptExpr, so that it respects nested INLINE...
|
commit | commitdiff | tree |
| 2009-11-03 |
simonpj@microsoft.com | Document the CONLIKE pragma
|
commit | commitdiff | tree |
| 2009-11-03 |
simonpj@microsoft.com | Document the fact that impredicative polymorphism is...
|
commit | commitdiff | tree |
| 2009-11-02 |
simonpj@microsoft.com | Minor change to captalisation in error message only
|
commit | commitdiff | tree |
| 2009-11-02 |
simonpj@microsoft.com | Improve documentation of 'rec' in do-notation
|
commit | commitdiff | tree |
| 2009-11-02 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-11-02 |
simonpj@microsoft.com | Make the arity warning a bit more informative (DEBUG...
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Improve error message for malformed LANGUAGE pragma
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Minor refactoring
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Turn an ASSERT into a WARN
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Be less noisy in a debug trace (Arity decrease)
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Fix build with DEBUG on
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Cure an assert failure by gathering the right set of...
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Improve coercion optimisation
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Deprecate the ImpredicativeTypes feature
|
commit | commitdiff | tree |
| 2009-10-30 |
simonpj@microsoft.com | Fix Trac #3626: TH should reject unboxed tuples
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLINE...
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Comments and -ddump-tc-trace wibbles only
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Comments and variable naming only
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Add static flag -funfolding-dict-discount (plus layout...
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Tidy up pretty-printing (use ppUnless)
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | A small refactoring in the code for desugaring explicit...
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | White space layout only
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search