| 2011-01-12 |
simonpj@microsoft.com | Major refactoring of the type inference engine
|
commit | commitdiff | tree |
| 2011-01-10 |
simonpj@microsoft.com | Do dependency analysis when kind-checking type declarations
|
commit | commitdiff | tree |
| 2011-01-10 |
simonpj@microsoft.com | Move imports around (no change in behaviour)
|
commit | commitdiff | tree |
| 2011-01-07 |
simonpj@microsoft.com | Make fuzzy matching a little less eager for short identifiers
|
commit | commitdiff | tree |
| 2011-01-05 |
simonpj@microsoft.com | Fix Trac #4870: get the inlining for an imported INLINABLE Id
|
commit | commitdiff | tree |
| 2010-12-24 |
simonpj@microsoft.com | Fix Trac #4525: report type errors in terms of the...
|
commit | commitdiff | tree |
| 2010-12-24 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Implement fuzzy matching for the Finder
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Implement fuzzy matching for the renamer
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Add fuzzyLookup, a variant of fuzzyMatch
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Layout and white space only
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Tidy up rebindable syntax for MDo
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Make the occurrence analyser track preInlineUnconditionally
|
commit | commitdiff | tree |
| 2010-12-22 |
simonpj@microsoft.com | Make mkDFunUnfolding more robust
|
commit | commitdiff | tree |
| 2010-12-21 |
simonpj@microsoft.com | Add a simple arity analyser
|
commit | commitdiff | tree |
| 2010-12-21 |
simonpj@microsoft.com | Miscellaneous tidying up and refactoring
|
commit | commitdiff | tree |
| 2010-12-21 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-12-21 |
simonpj@microsoft.com | Single-method classes are implemented with a newtype
|
commit | commitdiff | tree |
| 2010-11-01 |
simonpj@microsoft.com | For single-method classes use newtypes
|
commit | commitdiff | tree |
| 2010-12-20 |
simonpj@microsoft.com | Small improvement to CorePrep
|
commit | commitdiff | tree |
| 2010-12-15 |
simonpj@microsoft.com | Fix a bug in functorLikeTraverse, which was giving...
|
commit | commitdiff | tree |
| 2010-12-15 |
simonpj@microsoft.com | Improve printing for -ddump-deriv
|
commit | commitdiff | tree |
| 2010-12-15 |
simonpj@microsoft.com | Tighten up what it means to be an "enumeration data...
|
commit | commitdiff | tree |
| 2010-12-15 |
simonpj@microsoft.com | Allow enumerations to have phantom arguments.
|
commit | commitdiff | tree |
| 2010-12-14 |
simonpj@microsoft.com | Instance declaration overlap allowed if *either* has...
|
commit | commitdiff | tree |
| 2010-12-14 |
simonpj@microsoft.com | Fix Trac #4841: behave right with TypeSynonymInstances...
|
commit | commitdiff | tree |
| 2010-12-14 |
simonpj@microsoft.com | Fix Trac #3731: more superclass subtlety (sigh)
|
commit | commitdiff | tree |
| 2010-12-14 |
simonpj@microsoft.com | Less verbose debug print
|
commit | commitdiff | tree |
| 2010-12-14 |
simonpj@microsoft.com | Wibble to InstEnv.instanceHead
|
commit | commitdiff | tree |
| 2010-12-13 |
simonpj@microsoft.com | Fix recursive superclasses (again). Fixes Trac #4809.
|
commit | commitdiff | tree |
| 2010-12-10 |
simonpj@microsoft.com | Fix Trac #4534: renamer bug
|
commit | commitdiff | tree |
| 2010-12-10 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2010-12-10 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2010-12-08 |
simonpj@microsoft.com | Make the case-to-let transformation a little less eager
|
commit | commitdiff | tree |
| 2010-12-03 |
simonpj@microsoft.com | Fix up TcInstDcls
Thu Dec 2 12:35:47 GMT 2010 simonpj@microsoft.com
|
commit | commitdiff | tree |
| 2010-12-02 |
simonpj@microsoft.com | Re-jig simplifySuperClass (again)
|
commit | commitdiff | tree |
| 2010-12-02 |
simonpj@microsoft.com | A little refactoring (remove redundant argument passed...
|
commit | commitdiff | tree |
| 2010-12-02 |
simonpj@microsoft.com | Make rebindable if-then-else a little more permissive
|
commit | commitdiff | tree |
| 2010-12-02 |
simonpj@microsoft.com | Improve error message (Trac #4799)
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search