projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add noDuplicate#
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
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
next