| 2007-01-09 |
simonpj@microsoft.com | Preserve rigidity for GADTs when typechecking explicit...
|
commit | commitdiff | tree |
| 2007-01-09 |
simonpj@microsoft.com | Fix egregious bug in implication constraints
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Record-ise the liberate-case envt, in preparation for...
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Add a type synonym for FamInstEnvs
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Be more relaxed about reporting ambiguous class methods
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Fix bug in cast optimisation; fixes Trac #995
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Fix stupid error in rehashing TcRnDriver (fixes TH...
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Fix several bugs related to finding free variables
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Make warnings come out in deterministic order
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Change to Unix line-line-endings
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Add newline at end
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Better error messages for deriving
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Fix another buglet in HsDoc stuff
|
commit | commitdiff | tree |
| 2007-01-03 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-01-02 |
simonpj@microsoft.com | Standalone deriving wibbles: keyword is 'derive' not...
|
commit | commitdiff | tree |
| 2007-01-02 |
simonpj@microsoft.com | Docmunent stand-alone deriving
|
commit | commitdiff | tree |
| 2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code
|
commit | commitdiff | tree |
| 2006-12-29 |
simonpj@microsoft.com | Avoid duplicate error report when renaming HsDoc stuff
|
commit | commitdiff | tree |
| 2006-12-29 |
simonpj@microsoft.com | Add newline to end of file
|
commit | commitdiff | tree |
| 2006-12-22 |
simonpj@microsoft.com | Improve documentation about packages
|
commit | commitdiff | tree |
| 2006-12-22 |
simonpj@microsoft.com | Documentation for class contexts in data-constructor...
|
commit | commitdiff | tree |
| 2006-12-13 |
simonpj@microsoft.com | Add left-to-right impredicative instantiation
|
commit | commitdiff | tree |
| 2006-12-12 |
simonpj@microsoft.com | Missed a stage-2 problem in the TcSimplify refactoring
|
commit | commitdiff | tree |
| 2006-12-12 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2006-12-12 |
simonpj@microsoft.com | Fix up yesterdays commit to TcSimplify; fixes broken...
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Add comments, plus fix zapFragileInfo to zap worker...
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Add comments about pruning implication constraints
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Improve origin of constraints in subsumption checking
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Suggests -fglasgow-exts for contexts-differ-in-length...
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2006-12-11 |
simonpj@microsoft.com | Remove strange extra print (a temporary debug?)
|
commit | commitdiff | tree |
| 2006-12-08 |
simonpj@microsoft.com | Fix typo
|
commit | commitdiff | tree |
| 2006-12-08 |
simonpj@microsoft.com | Improve parsing for bang patterns (fixes Trac #1041)
|
commit | commitdiff | tree |
| 2006-12-06 |
simonpj@microsoft.com | Improve dependency analysis; makes more dictionaries...
|
commit | commitdiff | tree |
| 2006-12-04 |
simonpj@microsoft.com | Add documentation for seq
|
commit | commitdiff | tree |
| 2006-12-04 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2006-12-01 |
simonpj@microsoft.com | q
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Remove trace
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Remove bogus comment
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Teach SpecConstr how to handle mutually-recursive functions
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Improve the loop-breaking heuristics
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2006-11-29 |
simonpj@microsoft.com | Make SpecConstr work right for nullary constructors
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Fix constraint handling for lazy patterns
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Make SpecConstr more aggressive, by neglecting reboxing
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Drop redundant parens in pretty-printing
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Improve handling of implicit parameters
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Fix name-capture bug in rule matching
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Improve hashing of expressions
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Use existing Ord instance on Int, saving code
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Use existing function uniqAway instead of duplicating...
|
commit | commitdiff | tree |
| 2006-11-24 |
simonpj@microsoft.com | Gather constraints in program order
|
commit | commitdiff | tree |
| 2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free
|
commit | commitdiff | tree |
| 2006-11-22 |
simonpj@microsoft.com | Improve recovery in hptRules
|
commit | commitdiff | tree |
| 2006-11-22 |
simonpj@microsoft.com | Refactoring of where tcSimplifyTop happens
|
commit | commitdiff | tree |
| 2006-11-22 |
simonpj@microsoft.com | Retain simplifications of implication constraints
|
commit | commitdiff | tree |
| 2006-11-22 |
simonpj@microsoft.com | Improve error messages slightly
|
commit | commitdiff | tree |
| 2006-11-13 |
simonpj@microsoft.com | Add literal-shift rewrite rules
|
commit | commitdiff | tree |
| 2006-11-13 |
simonpj@microsoft.com | Fixups to PelRules (esp using intResult, wordResult)
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Cosmetics and debug printing only
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Cosmetics only
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Add HsUtils.unguardedGRHSs, and use it
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Comments and cosmetics only
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Add new utility function, partitionWith
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Trim imports
|
commit | commitdiff | tree |
| 2006-11-10 |
simonpj@microsoft.com | Patch to demand analyser, to handle polymorphism in...
|
commit | commitdiff | tree |
| 2006-11-08 |
simonpj@microsoft.com | Do not print HsDoc field when pretty-printing patterns...
|
commit | commitdiff | tree |
| 2006-11-07 |
simonpj@microsoft.com | Comment out deeply suspicious (and unused) function...
|
commit | commitdiff | tree |
| 2006-11-07 |
simonpj@microsoft.com | Layout and comments only
|
commit | commitdiff | tree |
| 2006-11-06 |
simonpj@microsoft.com | Warn only of explicit imports that are unused (test...
|
commit | commitdiff | tree |
| 2006-11-06 |
simonpj@microsoft.com | Various debugging print changes; nothing exciting
|
commit | commitdiff | tree |
| 2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier
|
commit | commitdiff | tree |
| 2006-11-02 |
simonpj@microsoft.com | Improve error message from ghc --make when filename...
|
commit | commitdiff | tree |
| 2006-11-02 |
simonpj@microsoft.com | Improve handling of unused imports (test is mod75)
|
commit | commitdiff | tree |
| 2006-11-02 |
simonpj@microsoft.com | Remove unused lookupDeprec function
|
commit | commitdiff | tree |
| 2006-11-02 |
simonpj@microsoft.com | Fix handling of non-in-scope exports (fixes test mod7)
|
commit | commitdiff | tree |
| 2006-11-02 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Trim imports
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Default the kind of unconstrained meta-type variables...
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Minor refactoring
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Remove unused import
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Make idInfo fail more informatively on TyVars
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Improve error message (push to 6.6 branch)
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Fix error reporting for contexts during deriving (Trac...
|
commit | commitdiff | tree |
| 2006-11-01 |
simonpj@microsoft.com | Fix a long-standing but obscure bug in worker-wrapper...
|
commit | commitdiff | tree |
| 2006-10-30 |
simonpj@microsoft.com | Move --help, --version etc to 4.4 (modes) because that...
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Fix a bug in Lint (which wrongly complained when compiling...
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Add the primitive type Any, and use it for Dynamics
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Add comment about arity
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Spelling in comment
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Minor refactoring
|
commit | commitdiff | tree |
| 2006-10-18 |
simonpj@microsoft.com | Comments onl
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search