| 2011-02-21 |
simonpj@microsoft.com | Fix another fundep error (fixes Trac #4969)
|
commit | commitdiff | tree |
| 2011-02-17 |
simonpj@microsoft.com | Change typechecker-trace output slightly
|
commit | commitdiff | tree |
| 2011-02-17 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-02-17 |
simonpj@microsoft.com | Fix Trac #4966
|
commit | commitdiff | tree |
| 2011-02-17 |
simonpj@microsoft.com | Use "on the spot" solving for fundeps
|
commit | commitdiff | tree |
| 2011-02-15 |
simonpj@microsoft.com | Increase exprIsDupable threshold a bit
|
commit | commitdiff | tree |
| 2011-02-15 |
simonpj@microsoft.com | Ensure exprIsCheap/exprIsExpandable deal with Cast...
|
commit | commitdiff | tree |
| 2011-02-15 |
simonpj@microsoft.com | Do not treat absentError specially
|
commit | commitdiff | tree |
| 2011-02-14 |
simonpj@microsoft.com | Fix exprIsDupable
|
commit | commitdiff | tree |
| 2011-02-14 |
simonpj@microsoft.com | Better case-of-case transformation
|
commit | commitdiff | tree |
| 2011-02-14 |
simonpj@microsoft.com | Fix Trac #4953: local let binders can have IdInfo with...
|
commit | commitdiff | tree |
| 2011-02-14 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-02-11 |
simonpj@microsoft.com | New plan: push unsolved wanteds inwards
|
commit | commitdiff | tree |
| 2011-02-11 |
simonpj@microsoft.com | Remove unnecessary import, plus white space
|
commit | commitdiff | tree |
| 2011-02-11 |
simonpj@microsoft.com | Fix small but egregious error: using un-zonked constraints...
|
commit | commitdiff | tree |
| 2011-02-11 |
simonpj@microsoft.com | makeSolvedByInst is only called on wanteds
|
commit | commitdiff | tree |
| 2011-02-09 |
simonpj@microsoft.com | Simpify constraints from a TH bracket eagerly
|
commit | commitdiff | tree |
| 2011-02-09 |
simonpj@microsoft.com | Typo in comment
|
commit | commitdiff | tree |
| 2011-02-07 |
simonpj@microsoft.com | Fix Trac #4945: another SpecConstr infelicity
|
commit | commitdiff | tree |
| 2011-02-03 |
simonpj@microsoft.com | Fix typo in SpecConstr that made it not work at all
Mon Jan 31 11:35:29 GMT 2011 simonpj@microsoft.com
|
commit | commitdiff | tree |
| 2011-02-01 |
simonpj@microsoft.com | Fix type checker error message
|
commit | commitdiff | tree |
| 2011-02-01 |
simonpj@microsoft.com | Some refactoring of SpecConstr
|
commit | commitdiff | tree |
| 2011-02-01 |
simonpj@microsoft.com | Don't make join points when the case has only one non...
|
commit | commitdiff | tree |
| 2011-01-31 |
simonpj@microsoft.com | Improve Simplifier and SpecConstr behaviour
|
commit | commitdiff | tree |
| 2011-01-28 |
simonpj@microsoft.com | Fix formatting glitch in documentation
|
commit | commitdiff | tree |
| 2011-01-28 |
simonpj@microsoft.com | Fix an egregious strictness analyser bug (Trac #4924)
|
commit | commitdiff | tree |
| 2011-01-27 |
simonpj@microsoft.com | Refine incomplete-pattern checks (Trac #4905)
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Fix dependencies among specialisations for imported Ids
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Fix bug in roughTopNames
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Comments only, plus a tiny bit of debug printing
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Look through type synonyms when computing orphans
|
commit | commitdiff | tree |
| 2011-01-26 |
simonpj@microsoft.com | Bleat a bit more informatively in unionLists
|
commit | commitdiff | tree |
| 2011-01-25 |
simonpj@microsoft.com | Split main/GHC into GHC and GhcMake
|
commit | commitdiff | tree |
| 2011-01-25 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-01-25 |
simonpj@microsoft.com | Fix Trac #3717 by making exprOkForSpeculation a bit...
|
commit | commitdiff | tree |
| 2011-01-25 |
simonpj@microsoft.com | Improve dataToTag# magic
|
commit | commitdiff | tree |
| 2011-01-25 |
simonpj@microsoft.com | Fix Trac #4917: try a bit harder to unify on-the-fly
|
commit | commitdiff | tree |
| 2011-01-19 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-01-13 |
simonpj@microsoft.com | Add OSTYPE build-system variable, and use it
|
commit | commitdiff | tree |
| 2011-01-14 |
simonpj@microsoft.com | Fix Trac #4874: specialisation of INLINABLE things
|
commit | commitdiff | tree |
| 2011-01-14 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2011-01-14 |
simonpj@microsoft.com | Fix a buglet in postInlineUnconditionally
|
commit | commitdiff | tree |
| 2011-01-13 |
simonpj@microsoft.com | Make Template Haskell classInstances function return...
|
commit | commitdiff | tree |
| 2011-01-13 |
simonpj@microsoft.com | Improve the finder's error messages
|
commit | commitdiff | tree |
| 2011-01-13 |
simonpj@microsoft.com | White space only
|
commit | commitdiff | tree |
| 2011-01-12 |
simonpj@microsoft.com | Produce an error message, not a crash, for HsOpApp...
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search