projects
/
ghc-hetmet.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Extra instance for Outputable on 5-tuples
2008-01-16
simonpj@microsoft.com
Extra instance for Outputable on 5-tuples
commit
|
commitdiff
|
tree
2008-01-16
simonpj@microsoft.com
Fix the -frule-check pass
commit
|
commitdiff
|
tree
2008-01-16
simonpj@microsoft.com
The Core type-matcher should look through PredTypes
commit
|
commitdiff
|
tree
2008-01-16
simonpj@microsoft.com
A bottoming function should have infinite arity
commit
|
commitdiff
|
tree
2008-01-10
simonpj@microsoft.com
Fix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec
commit
|
commitdiff
|
tree
2008-01-07
simonpj@microsoft.com
Fix Trac #2018: float-out was ignoring the kind of...
commit
|
commitdiff
|
tree
2008-01-07
simonpj@microsoft.com
Make the treatment of equalities more uniform
commit
|
commitdiff
|
tree
2008-01-07
simonpj@microsoft.com
Fix Trac #2017
commit
|
commitdiff
|
tree
2008-01-07
simonpj@microsoft.com
Add -XImpredicativeTypes, and tighten up type-validity...
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
A little refactoring of GenIfaceEq to make the Outputable...
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
Make the instance of DebugNodes more H98-like
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
Do not consult -XGADTs flag when pattern matching on...
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
Add a note about primop wrappers (cf Trac #1509)
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
Document SOURCE pragma; clarify TH behavior for mutually...
commit
|
commitdiff
|
tree
2008-01-04
simonpj@microsoft.com
White space and comments only
commit
|
commitdiff
|
tree
2008-01-03
simonpj@microsoft.com
Remove -funfolding-update-in-place flag documentation
commit
|
commitdiff
|
tree
2007-12-24
simonpj@microsoft.com
When complaining about non-rigid context, give suggestion...
commit
|
commitdiff
|
tree
2007-12-21
simonpj@microsoft.com
Improve handling of newtypes (fixes Trac 1495)
commit
|
commitdiff
|
tree
2007-12-21
simonpj@microsoft.com
Fix Trac #1981: seq on a type-family-typed expression
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Comment only
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Fix nasty recompilation bug in MkIface.computeChangedOccs
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Fix Trac #1988; keep the ru_fn field of a RULE up to...
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Add better panic message in getSRTInfo (Trac #1973)
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Remove obselete code for update-in-place (which we...
commit
|
commitdiff
|
tree
2007-12-20
simonpj@microsoft.com
Implement generalised list comprehensions
commit
|
commitdiff
|
tree
2007-12-04
simonpj@microsoft.com
Make HscTypes.tyThingId respond not panic on ADataCon
commit
|
commitdiff
|
tree
2007-12-13
simonpj@microsoft.com
Use Unix format for RnPat (no other change)
commit
|
commitdiff
|
tree
2007-12-13
simonpj@microsoft.com
Improve free-variable handling for rnPat and friends...
commit
|
commitdiff
|
tree
2007-12-10
simonpj@microsoft.com
Improve pretty-printing of InstDecl
commit
|
commitdiff
|
tree
2007-12-07
simonpj@microsoft.com
Remove debug warning, and explain why
commit
|
commitdiff
|
tree
2007-12-04
simonpj@microsoft.com
Change --shared to -shared in Win32 DLL docs
commit
|
commitdiff
|
tree
2007-12-04
simonpj@microsoft.com
Make eta reduction check more carefully for bottoms...
commit
|
commitdiff
|
tree
2007-12-04
simonpj@microsoft.com
Improve inlining for INLINE non-functions
commit
|
commitdiff
|
tree
2007-12-03
simonpj@microsoft.com
Improve eta reduction, to reduce Simplifier iterations
commit
|
commitdiff
|
tree
2007-11-28
simonpj@microsoft.com
Improve pretty-printing for Insts
commit
|
commitdiff
|
tree
2007-11-28
simonpj@microsoft.com
Reorganise TcSimplify (again); FIX Trac #1919
commit
|
commitdiff
|
tree
2007-11-28
simonpj@microsoft.com
FIX Trac #1935: generate superclass constraints for...
commit
|
commitdiff
|
tree
2007-11-28
simonpj@microsoft.com
Print a bit more info in VarBinds (no need to merge)
commit
|
commitdiff
|
tree
2007-11-28
simonpj@microsoft.com
Check for duplicate bindings in CoreLint
commit
|
commitdiff
|
tree
2007-11-23
simonpj@microsoft.com
Tidy and trim the type environment in mkBootModDetails
commit
|
commitdiff
|
tree
2007-11-21
simonpj@microsoft.com
Make rebindable do-notation behave as advertised
commit
|
commitdiff
|
tree
2007-11-16
simonpj@microsoft.com
Add DEBUG-only flag -dsuppress-uniques to suppress...
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Add -dcore-lint when validating libraries
commit
|
commitdiff
|
tree
2007-11-21
simonpj@microsoft.com
Fix Trac #1913: check data const for derived types...
commit
|
commitdiff
|
tree
2007-11-20
simonpj@microsoft.com
Fix Trac #1909: type of map in docs
commit
|
commitdiff
|
tree
2007-11-20
simonpj@microsoft.com
FIX Trac #1825: standalone deriving Typeable
commit
|
commitdiff
|
tree
2007-11-20
simonpj@microsoft.com
FIX #1715: egregious bug in ifaceDeclSubBndrs
commit
|
commitdiff
|
tree
2007-11-19
simonpj@microsoft.com
Two small typos in the flags summary (merge to 6.8...
commit
|
commitdiff
|
tree
2007-11-19
simonpj@microsoft.com
Improve the situation for Trac #959: civilised warning...
commit
|
commitdiff
|
tree
2007-11-19
simonpj@microsoft.com
FIX Trac #1806: test for correct arity for datacon...
commit
|
commitdiff
|
tree
2007-11-16
simonpj@microsoft.com
Wibble to fix Trac #1901 (shorten messsage slightly)
commit
|
commitdiff
|
tree
2007-11-16
simonpj@microsoft.com
Improve links from flag reference to the relevant section...
commit
|
commitdiff
|
tree
2007-11-16
simonpj@microsoft.com
FIX Trac #1901: check no existential context in H98...
commit
|
commitdiff
|
tree
2007-11-16
simonpj@microsoft.com
Improve documentation of data type declarations (Trac...
commit
|
commitdiff
|
tree
2007-11-15
simonpj@microsoft.com
Make SpecConstr work again
commit
|
commitdiff
|
tree
2007-11-14
simonpj@microsoft.com
FIX Trac 1662: actually check for existentials in proc...
commit
|
commitdiff
|
tree
2007-11-14
simonpj@microsoft.com
FIX Trac 1888; duplicate INLINE pragmas
commit
|
commitdiff
|
tree
2007-11-14
simonpj@microsoft.com
Run the -frule-check pass more often (when asked)
commit
|
commitdiff
|
tree
2007-11-12
simonpj@microsoft.com
Improve documentation of INLINE, esp its interactions...
commit
|
commitdiff
|
tree
2007-11-12
simonpj@microsoft.com
Comment re Trac #1220
commit
|
commitdiff
|
tree
2007-11-08
simonpj@microsoft.com
Fix Trac #1654: propagate name changes into CoreRules
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Fix Trac #1813: generalise over *all* type variables...
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Fix Trac #1814 (staging interaction in Template Haskell...
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Improve error messages
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Improve manual entry for binding lexically scoped type...
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Remove trailing spaces from programlisting lines
commit
|
commitdiff
|
tree
2007-11-06
simonpj@microsoft.com
Remove unhelpful sentence (see Trac #1832)
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Inline implication constraints
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Comment warning about transparent newtypes
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Wibble to earlier case-merge fix
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Improve pretty-printing of Core slightly (avoid indenting...
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Fix an old but subtle bug in the Simplifier
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Make CoreLint give a more informative error message
commit
|
commitdiff
|
tree
2007-11-05
simonpj@microsoft.com
Comments about TH staging
commit
|
commitdiff
|
tree
2007-11-02
simonpj@microsoft.com
Refactor error recovery slightly
commit
|
commitdiff
|
tree
2007-11-02
simonpj@microsoft.com
Avoid Haddock bug #1821
commit
|
commitdiff
|
tree
2007-11-01
simonpj@microsoft.com
Update error message to mention -XPatternSignatures...
commit
|
commitdiff
|
tree
2007-11-01
simonpj@microsoft.com
Rejig the error messages a bit; fixes a minor bug
commit
|
commitdiff
|
tree
2007-10-30
simonpj@microsoft.com
FIX BUILD: a glitch in the new rules and inlining stuff
commit
|
commitdiff
|
tree
2007-10-29
simonpj@microsoft.com
Fix LiberateCase
commit
|
commitdiff
|
tree
2007-10-29
simonpj@microsoft.com
Improve error-message output slightly
commit
|
commitdiff
|
tree
2007-10-29
simonpj@microsoft.com
Improve documentation of orphan instances (thanks to...
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
In a pattern binding, a type sig in the pattern cannot...
commit
|
commitdiff
|
tree
2007-10-29
simonpj@microsoft.com
Substantial improvement to the interaction of RULES...
commit
|
commitdiff
|
tree
2007-10-26
simonpj@microsoft.com
Add newline in debug print
commit
|
commitdiff
|
tree
2007-10-24
simonpj@microsoft.com
Explicit pattern match in default case of addTickLHsBind
commit
|
commitdiff
|
tree
2007-10-24
simonpj@microsoft.com
Generalise the types of mk_FunBind, mk_easy_FunBind...
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
Make 'improvement' work properly in TcSimplify
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
An implication constraint can abstract over EqInsts
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
In an AbsBinds, the 'dicts' can include EqInsts
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
More notes
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
Comments only
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
Add anyM to IOEnv
commit
|
commitdiff
|
tree
2007-10-27
simonpj@microsoft.com
Add a note to NOTES
commit
|
commitdiff
|
tree
2007-10-17
simonpj@microsoft.com
Update HsExpr.hi-boot-6 for view pattern changes
commit
|
commitdiff
|
tree
2007-10-16
simonpj@microsoft.com
Fix #1709: do not expose the worker for a loop-breaker
commit
|
commitdiff
|
tree
2007-10-16
simonpj@microsoft.com
Fix #1662: do not simplify constraints for vanilla...
commit
|
commitdiff
|
tree
2007-10-16
simonpj@microsoft.com
Eliminate over-zealous warning in CoreToStg
commit
|
commitdiff
|
tree
2007-10-16
simonpj@microsoft.com
Show inlined function in the header of 'Inlining done...
commit
|
commitdiff
|
tree
2007-10-16
simonpj@microsoft.com
Show program size in the simplifier-bailing-out message
commit
|
commitdiff
|
tree
next