| 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 |
| 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 |
| next |
projects / ghc-hetmet.git / search