projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Add warning for probable identities (fromIntegral and friends)
2010-10-06
simonpj@microsoft.com
Make warning-free
commit
|
commitdiff
|
tree
2010-10-06
dimitris@microsoft.com
Major bugfixing pass through the type checker
commit
|
commitdiff
|
tree
2010-10-04
dimitris@microsoft.com
Typechecker performance fixes and flatten skolem bugfixing
commit
|
commitdiff
|
tree
2010-09-23
dimitris@microsoft.com
Performance bug fixes
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
2010-09-03
simonpj@microsoft.com
Remove dead code
commit
|
commitdiff
|
tree
2010-09-03
simonpj@microsoft.com
Comments and layout
commit
|
commitdiff
|
tree
2010-09-02
simonpj@microsoft.com
Remove checkFreeness; no longer needed
commit
|
commitdiff
|
tree
2010-09-02
simonpj@microsoft.com
Assert
commit
|
commitdiff
|
tree
2010-09-02
simonpj@microsoft.com
Add aserts
commit
|
commitdiff
|
tree
2010-08-31
simonpj@microsoft.com
Wibbles
commit
|
commitdiff
|
tree
2010-08-25
simonpj@microsoft.com
Wibble to allow phantom types in Enum
commit
|
commitdiff
|
tree
2010-08-24
simonpj@microsoft.com
Add HsCoreTy to HsType
commit
|
commitdiff
|
tree
2010-08-23
simonpj@microsoft.com
Comments
commit
|
commitdiff
|
tree
2010-08-23
simonpj@microsoft.com
Wibbles to error message
commit
|
commitdiff
|
tree
2010-08-23
simonpj@microsoft.com
Correct type signatures
commit
|
commitdiff
|
tree
2010-08-23
simonpj@microsoft.com
Add missing signatures
commit
|
commitdiff
|
tree
2010-08-20
simonpj@microsoft.com
Add type signatures in "deriving" bindings
commit
|
commitdiff
|
tree
2010-08-20
dimitris@microsoft.com
Minor
commit
|
commitdiff
|
tree
2010-08-19
simonpj@microsoft.com
Be a bit less aggressive in mark-many inside a cast
commit
|
commitdiff
|
tree
2010-08-18
simonpj@microsoft.com
Wibble
commit
|
commitdiff
|
tree
2010-08-18
simonpj@microsoft.com
Pretty printing change
commit
|
commitdiff
|
tree
2010-08-11
simonpj@microsoft.com
Remember to zonk FlatSkols!
commit
|
commitdiff
|
tree
next