| 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 |
| 2009-10-29 |
simonpj@microsoft.com | Make `consBag` infixr, and `snocBag` infixl
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Add Outputable.blankLine and use it
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-10-29 |
simonpj@microsoft.com | Fix formatting and wording in documentation of DoRec
|
commit | commitdiff | tree |
| 2009-10-28 |
simonpj@microsoft.com | Drop unused import
|
commit | commitdiff | tree |
| 2009-10-28 |
simonpj@microsoft.com | Tidy up the parsing of comprehensions and improve locations
|
commit | commitdiff | tree |
| 2009-10-28 |
simonpj@microsoft.com | Add 'rec' to stmts in a 'do', and deprecate 'mdo'
|
commit | commitdiff | tree |
| 2009-10-28 |
simonpj@microsoft.com | Remove a redundant parameter for mkTupleTy (the arity)
|
commit | commitdiff | tree |
| 2009-10-28 |
simonpj@microsoft.com | Trivial improvement to mkForAllTy
|
commit | commitdiff | tree |
| 2009-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercion...
|
commit | commitdiff | tree |
| 2009-10-23 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2009-10-23 |
simonpj@microsoft.com | Add restrictVarEnv :: VarEnv a -> VarSet -> VarEnv a
|
commit | commitdiff | tree |
| 2009-10-23 |
simonpj@microsoft.com | Use braces rather than angle-brackets in debug-printing...
|
commit | commitdiff | tree |
| 2009-10-23 |
simonpj@microsoft.com | Fix Trac #3591: very tricky specialiser bug
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Fix Trac #3590: a nasty type-checker bug in left/right...
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Allow -ticky and -prof together
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Tidy up TcSplice, especially runMeta and friends
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Add flags -fno-specialise, -fno-float-in, and document...
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Fix cross-reference
|
commit | commitdiff | tree |
| 2009-10-20 |
simonpj@microsoft.com | Fix Trac #3600: Template Haskell bug in Convert
|
commit | commitdiff | tree |
| 2009-10-15 |
simonpj@microsoft.com | Fix Trac #959: a long-standing bug in instantiating...
|
commit | commitdiff | tree |
| 2009-10-15 |
simonpj@microsoft.com | Fix several missing dependencies in ifFreeNames
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search