| 2007-05-03 |
simonpj@microsoft.com | Fix dependency information for RULES
|
commit | commitdiff | tree |
| 2007-05-03 |
simonpj@microsoft.com | Less voluminous debug
|
commit | commitdiff | tree |
| 2007-05-03 |
simonpj@microsoft.com | Remove "__" prefix for forall when printing a RULE
|
commit | commitdiff | tree |
| 2007-05-03 |
simonpj@microsoft.com | Add the -ddump-mod-cycles flag to the user manual
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Comments, plus type sigs
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Warning police
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Layout only
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Import fiddling
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Add more assertions
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Use the record fields of IdInfo.RecordSelId
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Improve error reporting for type signatures
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Do not generate warnings for compiler-generated code
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Add ndp package to boring list
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Document the fact that you can't make a newtype of...
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Use pprSourceTyCon; delete unused tyConOrigHead
|
commit | commitdiff | tree |
| 2007-05-02 |
simonpj@microsoft.com | Fixes to data type families
|
commit | commitdiff | tree |
| 2007-04-27 |
simonpj@microsoft.com | Fix egregious typo in TcUnify
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Typo in comments
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Fix misleading debug trace
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Improve hashing of expressions for CSE (reduces warnings...
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Add -fwarn-monomorphism-restriction (on by default...
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Retain inline-pragma information on unfoldings in interface...
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Fix comments about data constructors
|
commit | commitdiff | tree |
| 2007-04-25 |
simonpj@microsoft.com | Give the inferred type when warning of a missing type...
|
commit | commitdiff | tree |
| 2007-04-24 |
simonpj@microsoft.com | Make ticky work, at least partly, on 64-bit machines
|
commit | commitdiff | tree |
| 2007-04-24 |
simonpj@microsoft.com | Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS
|
commit | commitdiff | tree |
| 2007-04-24 |
simonpj@microsoft.com | Fix bug in boxySplitTyConApp
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Part 2 of: Fix corner case of useless constraint in...
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Fix corner case of useless constraint in SPECIALISE...
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Warning police
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Put the default value for -dppr-user-length in the...
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Improve depth-cutoff for printing HsSyn in error messages
|
commit | commitdiff | tree |
| 2007-04-22 |
simonpj@microsoft.com | Comments only (concerning rewrite rules)
|
commit | commitdiff | tree |
| 2007-04-20 |
simonpj@microsoft.com | Fix the GHC.Base.inline builtin rule
|
commit | commitdiff | tree |
| 2007-04-18 |
simonpj@microsoft.com | Fix bat-script generation for MSys
|
commit | commitdiff | tree |
| 2007-04-02 |
simonpj@microsoft.com | Make type-tidying work for coercion variables
|
commit | commitdiff | tree |
| 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 |
| next |
projects / ghc-hetmet.git / search