projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Implement dead basic block elimination.
2010-10-15
simonpj@microsoft.com
Fix Trac #4401: meta-tyvars allocated by the constraint...
commit
|
commitdiff
|
tree
2010-10-13
simonpj@microsoft.com
Remove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Fix Trac #4360: omitted case in combineCtLoc
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Beautiful new approach to the skolem-escape check and...
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Do less simplification when doing let-generalisation
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Suppress ambiguity errors if any other errors occur
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Fix Trac #4361: be more discerning when inferring types
commit
|
commitdiff
|
tree
2010-10-08
simonpj@microsoft.com
Suppress knock-on typechecker errors
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Some refactoring and simplification in TcInteract.occurCheck
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Comments only
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Implement auto-specialisation of imported Ids
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Make NameEnv back into type NameEnv a = UniqFM a
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Improve the rule-matcher
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Fix Trac #4345: simplifier bug
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Avoid redundant simplification
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Make the occurrence analyser deal correctly with RULES...
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Make warning-free
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
This is just white-space and layout
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Fix an ASSERT failure in FamInstEnv
commit
|
commitdiff
|
tree
2010-10-07
simonpj@microsoft.com
Fix a looping bug in the new occur-check code
commit
|
commitdiff
|
tree
2010-10-06
simonpj@microsoft.com
Fix test T4235 with -O
commit
|
commitdiff
|
tree
2010-10-06
simonpj@microsoft.com
Make warning-free
commit
|
commitdiff
|
tree
2010-10-06
simonpj@microsoft.com
Fix Trac #4371: matching of view patterns
commit
|
commitdiff
|
tree
2010-10-06
simonpj@microsoft.com
Remove unused NoMatchContext construtor
commit
|
commitdiff
|
tree
2010-10-06
simonpj@microsoft.com
Refactoring: mainly rename ic_env_tvs to ic_untch
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Fix an egregious bug: INLINE pragmas on monomorphic...
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Eta expand only lambdas that bind a non-dictionary Id
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Add a comment
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Add a debug print
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Just moving comments around
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Fix computation of installed packages
commit
|
commitdiff
|
tree
2010-09-24
simonpj@microsoft.com
Fix braino in WwLib/Literal patch
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
For now, switch off incomplete-pattern warnings in...
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Make -funfolding-dict-threshold work properly
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Impredicative types is no longer deprecated
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Do not make FunctionalDependencies force MonoLocalBinds
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Allow absent State# RealWorld arguments
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Add notSCCNote, and use it
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Remove use of lambda with a refutable pattern
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Avoid ASSERT black hole
commit
|
commitdiff
|
tree
2010-09-23
simonpj@microsoft.com
Rejig the absent-arg stuff for unlifted types
commit
|
commitdiff
|
tree
2010-09-22
simonpj@microsoft.com
Remove -fwarn-simple-patterns, and make -fwarn-incomplete...
commit
|
commitdiff
|
tree
2010-09-22
simonpj@microsoft.com
Get rid of non-exhaustive lambda
commit
|
commitdiff
|
tree
2010-09-22
simonpj@microsoft.com
Fix an ASSERT failure with profiling
commit
|
commitdiff
|
tree
2010-09-19
simonpj@microsoft.com
Loosen the conditions for -XUndecidableInstances; fixes...
commit
|
commitdiff
|
tree
2010-09-19
simonpj@microsoft.com
Further improvements in error messages
commit
|
commitdiff
|
tree
2010-09-19
simonpj@microsoft.com
Add a flag -fwarn-missing-local-sigs, and improve ...
commit
|
commitdiff
|
tree
2010-09-19
simonpj@microsoft.com
Include the "stupid theta" in the type of $con2tag
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Fix overriding of implicit parameters in the solver
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Minor type printing amomaly
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Spaces only
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Minor refactoring
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Add types of implicit parameters as untouchable
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Better pretty printing of implicit parameters
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Yet more error message improvement
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
More error message wibbles
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
More error refactoring
commit
|
commitdiff
|
tree
2010-09-17
simonpj@microsoft.com
Refactor type errors a bit
commit
|
commitdiff
|
tree
2010-09-16
simonpj@microsoft.com
Fix a very subtle shadowing bug in optCoercion
commit
|
commitdiff
|
tree
2010-09-16
simonpj@microsoft.com
Fix bad error in tyVarsOfType
commit
|
commitdiff
|
tree
2010-09-16
simonpj@microsoft.com
More assertions
commit
|
commitdiff
|
tree
2010-09-16
simonpj@microsoft.com
Add more location info in CoreLint
commit
|
commitdiff
|
tree
2010-09-16
simonpj@microsoft.com
Print coercion variables as such (debugging change...
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Remove pprTrace
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Remove dead code dealing with type refinement
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Use mkAppTy
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Comments only
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Extend eta reduction to work with casted arguments
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Allow "INLINEABLE" as a synonym
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Documentation for INLINABLE
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Implement TH reification of instances (Trac #1835)
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Add quotes in error message
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Fix isDefaultInlinePragma
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Implement INLINABLE pragma
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Less voluminous error when derived code doesn't typecheck
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Improve pretty-printing of family instances
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Fix Trac #4240: -ddump-minimal-imports
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Comments only
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Fix egregious bug in deeplyInstantiate
commit
|
commitdiff
|
tree
2010-09-15
simonpj@microsoft.com
Improve HsSyn pretty printing
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
Improve ASSERT
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
Comment on what an "enumeration" type is
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
Make absent-arg wrappers work for unlifted types (fix...
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
Comments only
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
Move error-ids to MkCore (from PrelRules)
commit
|
commitdiff
|
tree
2010-09-14
simonpj@microsoft.com
More wibbles to deriving error messages
commit
|
commitdiff
|
tree
2010-09-13
simonpj@microsoft.com
Improve crash message
commit
|
commitdiff
|
tree
2010-09-13
simonpj@microsoft.com
Fix Trac #4302, plus a little refactoring
commit
|
commitdiff
|
tree
2010-09-13
simonpj@microsoft.com
Haddock fixes
commit
|
commitdiff
|
tree
2010-09-13
simonpj@microsoft.com
Remove two old junk files
commit
|
commitdiff
|
tree
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
commit
|
commitdiff
|
tree
2010-09-09
simonpj@microsoft.com
Fix simplifier statistics
commit
|
commitdiff
|
tree
2010-09-08
simonpj@microsoft.com
Trace output
commit
|
commitdiff
|
tree
2010-09-08
simonpj@microsoft.com
Better debug output
commit
|
commitdiff
|
tree
2010-09-08
simonpj@microsoft.com
Add Outputable instance for OccEncl
commit
|
commitdiff
|
tree
2010-09-07
simonpj@microsoft.com
Better simplifier counting
commit
|
commitdiff
|
tree
2010-09-06
simonpj@microsoft.com
Put liftStringName into the known-key names
commit
|
commitdiff
|
tree
2010-09-03
simonpj@microsoft.com
Deprecate NoRelaxedPolyRec
commit
|
commitdiff
|
tree
2010-09-03
simonpj@microsoft.com
Buglet in Core Lint
commit
|
commitdiff
|
tree
2010-09-03
simonpj@microsoft.com
Give seqId the right type
commit
|
commitdiff
|
tree
next