| 2010-12-02 |
simonpj@microsoft.com | Fix a nasty bug in RULE matching: Trac #4814
|
commit | commitdiff | tree |
| 2010-11-26 |
simonpj@microsoft.com | Acutally, wild-card variables *can* have occurrences
|
commit | commitdiff | tree |
| 2010-11-26 |
simonpj@microsoft.com | Tidy up the handling of wild-card binders, and make...
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Substitution should just substitute, not optimise
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Make SpecConstr "look through" identity coercions
|
commit | commitdiff | tree |
| 2010-11-25 |
simonpj@microsoft.com | Comment only
|
commit | commitdiff | tree |
| 2010-11-01 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-11-19 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Move the superclass generation to the canonicaliser
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Fix the generation of in-scope variables for IfaceLint...
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Omit bogus test for -XDeriveFunctor
|
commit | commitdiff | tree |
| 2010-11-18 |
simonpj@microsoft.com | Improve error message on advice from a user
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Document SPECIALISE for imported functions
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Fix Trac #4498: bang-pattern bindings are monomorphic
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-11-17 |
simonpj@microsoft.com | Fix Trac #4501: a transposition error in DynFlags
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Refactoring of the way that inlinings and rules are...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Some infrastruture for lambda-lifting
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Occurrence analyser takes account of the phase when...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Add -fwarn-lazy-unlifted-bindings to the list of flags
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Warn a bit less often about unlifted bindings.
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Libraries bytestirng, time, binary need -fno-warn-identities
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Improve documentation for -fwarn-incomplete-patterns
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Add warning for probable identities (fromIntegral and...
|
commit | commitdiff | tree |
| 2010-11-16 |
simonpj@microsoft.com | Remove unncessary fromIntegral calls
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Fix -fwarn-missing-import-lists (fix Trac #4489)
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Deriving Typeable changes
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Ensure that instance overlap errors are report properly
|
commit | commitdiff | tree |
| 2010-11-15 |
simonpj@microsoft.com | Ensure that unification variables alloc'd during solving...
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Remove use of (now-gone) VarPatOut
|
commit | commitdiff | tree |
| 2010-11-05 |
simonpj@microsoft.com | Remove the now-unused constructor VarPatOut
|
commit | commitdiff | tree |
| 2010-11-05 |
simonpj@microsoft.com | Track change in isInlinePragma
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | More modules that need LANGUAGE BangPatterns
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Add LANGUAGE BangPatterns to modules that use them
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Warn about top-level bangs (Trac #4477)
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker
|
commit | commitdiff | tree |
| 2010-11-12 |
simonpj@microsoft.com | Allow the old [$foo| ... |] syntax for quasi-quotes
|
commit | commitdiff | tree |
| 2010-11-11 |
simonpj@microsoft.com | Fix multi-line string (minor glitch in stage-1 compiler)
|
commit | commitdiff | tree |
| 2010-11-01 |
simonpj@microsoft.com | Improve error messages
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Remove -ds-multi-tyvar static flag
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Deprecate -fmethod-sharing, which no longer does anything
|
commit | commitdiff | tree |
| 2010-10-28 |
simonpj@microsoft.com | Do w/w *recursive* things even if they are small
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Two signficant changes to the simplifier
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Yet another go at CoreArity
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Buglet in tcIface, now that nested binders can have...
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Add strictness for raiseIO# primop
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Don't worker-wrapper INLINABLE things
|
commit | commitdiff | tree |
| 2010-10-27 |
simonpj@microsoft.com | Warn (not error) for SPECIALISE pragmas without INLINE
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Fix a long-standing bug the float-out pass
|
commit | commitdiff | tree |
| 2010-08-31 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Fix initialisation of strictness in the demand analyser
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Don't look through SCC in exprIsConApp_maybe
|
commit | commitdiff | tree |
| 2010-10-26 |
simonpj@microsoft.com | Make isIrrefutableHsPat say True for existentials;...
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Serialise nested unfoldings across module boundaries
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Do not (ever) use substExprSC in the simplifier
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | Use new showMultiLineString to fix Trac #4436
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | For a non-recursive let, make sure we extend the value...
|
commit | commitdiff | tree |
| 2010-10-25 |
simonpj@microsoft.com | instance Outputable IntMap
|
commit | commitdiff | tree |
| 2010-10-22 |
simonpj@microsoft.com | Add rebindable syntax for if-then-else
|
commit | commitdiff | tree |
| 2010-10-22 |
simonpj@microsoft.com | Lint should check for duplicate top-level bindings...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Fix Trac #4396, by localising pattern binders in the...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Add an assertion
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Tidy up RuntimeUnkSkols a bit more
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Fix haddock markup
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Improve rule checking, to fix panic Trac #4398
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Improve the simple expression optimiser so it does...
|
commit | commitdiff | tree |
| 2010-10-21 |
simonpj@microsoft.com | Tidy-up sweep, following the Great Skolemisation Simplification
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Refactor, plus fix Trac #4418
|
commit | commitdiff | tree |
| 2010-10-20 |
simonpj@microsoft.com | Add a comment, connecting the seq to the test (#4367...
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Fix debugger
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Fix IPRun by fixing the inferred quantification mechanism
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Recover after an error in an implication constraint
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Reject programs with equality superclasses for now
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Layout and tiny refactoring only
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Clean up the debugger code
|
commit | commitdiff | tree |
| 2010-10-19 |
simonpj@microsoft.com | Add new VarEnv functions minusVarEnv, intersectsVarEnv...
|
commit | commitdiff | tree |
| 2010-10-18 |
simonpj@microsoft.com | Define SpecConstrAnnotation in GHC.Exts, and import...
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Comments and layout
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Make (Located a) an instance of Eq, Ord
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Give user-defined rules precedence over built-in rules
|
commit | commitdiff | tree |
| 2010-10-15 |
simonpj@microsoft.com | Fix Trac #4401: meta-tyvars allocated by the constraint...
|
commit | commitdiff | tree |
| 2010-10-13 |
simonpj@microsoft.com | Remove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Fix Trac #4360: omitted case in combineCtLoc
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Beautiful new approach to the skolem-escape check and...
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Do less simplification when doing let-generalisation
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Suppress ambiguity errors if any other errors occur
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Fix Trac #4361: be more discerning when inferring types
|
commit | commitdiff | tree |
| 2010-10-08 |
simonpj@microsoft.com | Suppress knock-on typechecker errors
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Some refactoring and simplification in TcInteract.occurCheck
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Implement auto-specialisation of imported Ids
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Make NameEnv back into type NameEnv a = UniqFM a
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Improve the rule-matcher
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Fix Trac #4345: simplifier bug
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Avoid redundant simplification
|
commit | commitdiff | tree |
| 2010-10-07 |
simonpj@microsoft.com | Make the occurrence analyser deal correctly with RULES...
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search