| 2007-03-30 |
simonpj@microsoft.com | The ru_local field of a CoreRule is False for implicit Ids
|
commit | commitdiff | tree |
| 2007-03-30 |
simonpj@microsoft.com | Match the type of an Id during rule matching
|
commit | commitdiff | tree |
| 2007-03-27 |
simonpj@microsoft.com | Add comments about the -include-prelude flag for ghc -M
|
commit | commitdiff | tree |
| 2007-03-23 |
simonpj@microsoft.com | Remove dead code from rnExpr (Var v); seems to be a...
|
commit | commitdiff | tree |
| 2007-03-23 |
simonpj@microsoft.com | Emit a decent error message when there is a decl-splice...
|
commit | commitdiff | tree |
| 2007-03-23 |
simonpj@microsoft.com | Wibble fixing overlapped pattern
|
commit | commitdiff | tree |
| 2007-03-23 |
simonpj@microsoft.com | Tidy up refactoring only
|
commit | commitdiff | tree |
| 2007-03-22 |
simonpj@microsoft.com | Add -ddump-mod-cycles to -M behaviour
|
commit | commitdiff | tree |
| 2007-03-22 |
simonpj@microsoft.com | Improve documentation of instances
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Fix checkHiBootIface for instances declared in hs-boot...
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Remove bogus export from TcSplice.lhs-boot
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Wibble to GHCi part of TcRnDriver
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Yet another wibble to checkHiBootIface; it's trickier...
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Improve pretty-printing for IfaceConDecl
|
commit | commitdiff | tree |
| 2007-03-21 |
simonpj@microsoft.com | Remove redundant exports from a hs-boot file
|
commit | commitdiff | tree |
| 2007-03-20 |
simonpj@microsoft.com | Further wibbles to checkBootIface (fixed HEAD build)
|
commit | commitdiff | tree |
| 2007-03-19 |
simonpj@microsoft.com | Use explict layout (fixes breakage when compiling TcSimplify)
|
commit | commitdiff | tree |
| 2007-03-16 |
simonpj@microsoft.com | Desugar applications of 'seq' specially; fix Trac ...
|
commit | commitdiff | tree |
| 2007-03-16 |
simonpj@microsoft.com | Improve error messages for 'deriving' clauses
|
commit | commitdiff | tree |
| 2007-03-16 |
simonpj@microsoft.com | Refactor TcRnDriver, and check exports on hi-boot files
|
commit | commitdiff | tree |
| 2007-03-16 |
simonpj@microsoft.com | Comment out debug traces
|
commit | commitdiff | tree |
| 2007-03-15 |
simonpj@microsoft.com | Make the type-defaulting in GHCi use () as the first...
|
commit | commitdiff | tree |
| 2007-03-14 |
simonpj@microsoft.com | Wibble to type-error-message improvement
|
commit | commitdiff | tree |
| 2007-03-14 |
simonpj@microsoft.com | Improve error messages slightly, saying "a1...an" instead...
|
commit | commitdiff | tree |
| 2007-03-14 |
simonpj@microsoft.com | Improve typechecker error messages; see Trac #1221
|
commit | commitdiff | tree |
| 2007-03-13 |
simonpj@microsoft.com | Add helpful cross-references
|
commit | commitdiff | tree |
| 2007-03-06 |
simonpj@microsoft.com | Simple fix for Trac #1199 (pls merge to branch)
|
commit | commitdiff | tree |
| 2007-03-01 |
simonpj@microsoft.com | Do not go into an infinite loop when pretty-printer...
|
commit | commitdiff | tree |
| 2007-02-27 |
simonpj@microsoft.com | Make let-matching work in Rules again
|
commit | commitdiff | tree |
| 2007-02-23 |
simonpj@microsoft.com | Tidy up typechecking for newtypes
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Allow GADT syntax for newtypes
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Import trimming
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Deal more correctly with orphan instances
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Remove dead code from FunDeps
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Fix a deriving bug, arising from recent refactoring
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Fix defaulting for overloaded strings
|
commit | commitdiff | tree |
| 2007-02-21 |
simonpj@microsoft.com | Fix case-merge bug that was breaking the HEAD
|
commit | commitdiff | tree |
| 2007-02-20 |
simonpj@microsoft.com | Fix obscure bug in reportDeprecations
|
commit | commitdiff | tree |
| 2007-02-19 |
simonpj@microsoft.com | Signature type variables must not be instantiated with...
|
commit | commitdiff | tree |
| 2007-02-09 |
simonpj@microsoft.com | Major improvement to SpecConstr
|
commit | commitdiff | tree |
| 2007-02-09 |
simonpj@microsoft.com | Refactor the simplifier's treatment of case expressions
|
commit | commitdiff | tree |
| 2007-02-07 |
simonpj@microsoft.com | Force recompilation on all -ddump flags
|
commit | commitdiff | tree |
| 2007-02-07 |
simonpj@microsoft.com | Force recompilation with -ddump-minimal-imports
|
commit | commitdiff | tree |
| 2007-02-07 |
simonpj@microsoft.com | Spelling fix
|
commit | commitdiff | tree |
| 2007-02-07 |
simonpj@microsoft.com | Fix bug in -ddump-minimal imports Trac #1025
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Check for escape when unifying forall-types
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Rename local variable (no semantic effect)
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Comments and debug output
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Improve rule-matching for let expressions
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Do more wild-carding in SpecConstr; I'm not quite sure...
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Fix a small bug when comparing patterns for equality
|
commit | commitdiff | tree |
| 2007-02-06 |
simonpj@microsoft.com | Expose rnInScopeSet from VarEnv
|
commit | commitdiff | tree |
| 2007-02-05 |
simonpj@microsoft.com | Implement the PushT rule from the FC paper
|
commit | commitdiff | tree |
| 2007-02-05 |
simonpj@microsoft.com | Improve handling of partial applications involving...
|
commit | commitdiff | tree |
| 2007-02-05 |
simonpj@microsoft.com | Float casts out of lambdas
|
commit | commitdiff | tree |
| 2007-02-05 |
simonpj@microsoft.com | Use exprIsCheap in floating, just as the simplifier...
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search