| 2007-02-05 |
simonpj@microsoft.com | Establish the CoreSyn let/app invariant
|
commit | commitdiff | tree |
| 2007-02-05 |
simonpj@microsoft.com | Improve simplification of coercions
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Look through Notes when generating and matching RULES
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Fix a pair of classic, but tricky, bugs in the type...
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | One more wibble to FloatOut, fixes HEAD breakage (I...
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Don't dump floated bindings just outside a lambda
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Reset the demand info on bindings going to top level...
|
commit | commitdiff | tree |
| 2007-02-02 |
simonpj@microsoft.com | Record arity of the worker, to maintain consistency...
|
commit | commitdiff | tree |
| 2007-01-31 |
simonpj@microsoft.com | Slight refactoring for overloaded strings
|
commit | commitdiff | tree |
| 2007-01-31 |
simonpj@microsoft.com | Use Id.isStrictId
|
commit | commitdiff | tree |
| 2007-01-31 |
simonpj@microsoft.com | Add note about Template Haskell and mutual recursion
|
commit | commitdiff | tree |
| 2007-01-30 |
simonpj@microsoft.com | Fix Trac #1122; spot absence of TyCon in data/newtype...
|
commit | commitdiff | tree |
| 2007-01-25 |
simonpj@microsoft.com | Comments and layout only
|
commit | commitdiff | tree |
| 2007-01-13 |
simonpj@microsoft.com | Fix an obscure bug in rule-matching
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Wibble
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Slightly improve -ddump-hi-diffs output
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Avoid duplicate defns of 'main' in module Main
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Add -ddump-rule-firings
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Comments
|
commit | commitdiff | tree |
| 2007-01-10 |
simonpj@microsoft.com | Correct spelling
|
commit | commitdiff | tree |
| 2007-01-10 |
simonpj@microsoft.com | Sort rules and instances lexicographically in interface...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Make the LiberateCase transformation understand associated...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Add comments about invariants
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Comments
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Comments
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Add the function TypeRep.pprTypeApp, and use it
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Log message for: Fix a nasty recursive loop in typechecking...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Log-message for: Improve command-line parser (add OptIntSuff...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Improve command-line parser (add OptIntSuffix); make...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Remove redundant import
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Add comments (AT-related)
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Spelling correction only
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Fix a nasty recursive loop in typechecking interface...
|
commit | commitdiff | tree |
| 2007-01-11 |
simonpj@microsoft.com | Update comments
|
commit | commitdiff | tree |
| 2007-01-10 |
simonpj@microsoft.com | Fix apparently-long-standing bug in FloatIn
|
commit | commitdiff | tree |
| 2007-01-10 |
simonpj@microsoft.com | Comments only
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search