projects
/
ghc-hetmet.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
FIX #4825: Update User Guide info on DLLs.
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcSimplify.lhs
2011-05-02
Simon Peyton Jones
Merge in changes from HEAD
blob
|
commitdiff
2011-04-30
Simon Peyton Jones
Merge remote branch 'origin/master' into ghc-new-co
blob
|
commitdiff
2011-04-19
simonpj
Slightly better tracing in the constraint solver
blob
|
commitdiff
|
diff to current
2011-04-19
Simon Peyton Jones
This BIG PATCH contains most of the work for the New...
blob
|
commitdiff
|
diff to current
2011-02-21
simonpj@microsoft.com
Fix another fundep error (fixes Trac #4969)
blob
|
commitdiff
|
diff to current
2011-02-17
simonpj@microsoft.com
Change typechecker-trace output slightly
blob
|
commitdiff
|
diff to current
2011-02-17
simonpj@microsoft.com
Fix Trac #4966
blob
|
commitdiff
|
diff to current
2011-02-14
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2011-02-11
simonpj@microsoft.com
New plan: push unsolved wanteds inwards
blob
|
commitdiff
|
diff to current
2011-02-11
simonpj@microsoft.com
Fix small but egregious error: using un-zonked constrai...
blob
|
commitdiff
|
diff to current
2011-01-13
simonpj@microsoft.com
White space only
blob
|
commitdiff
|
diff to current
2011-01-12
simonpj@microsoft.com
Major refactoring of the type inference engine
blob
|
commitdiff
|
diff to current
2010-12-13
simonpj@microsoft.com
Fix recursive superclasses (again). Fixes Trac #4809.
blob
|
commitdiff
|
diff to current
2010-12-09
dimitris@microsoft.com
Moved canonicalisation inside solveInteract
blob
|
commitdiff
|
diff to current
2010-12-02
simonpj@microsoft.com
Re-jig simplifySuperClass (again)
blob
|
commitdiff
|
diff to current
2010-11-15
simonpj@microsoft.com
Ensure that unification variables alloc'd during solvin...
blob
|
commitdiff
|
diff to current
2010-11-12
simonpj@microsoft.com
A (final) re-engineering of the new typechecker
blob
|
commitdiff
|
diff to current
2010-10-19
simonpj@microsoft.com
Fix IPRun by fixing the inferred quantification mechanism
blob
|
commitdiff
|
diff to current
2010-10-19
simonpj@microsoft.com
Recover after an error in an implication constraint
blob
|
commitdiff
|
diff to current
2010-10-18
dimitris@microsoft.com
Major pass through type checker:(1) prioritizing equali...
blob
|
commitdiff
|
diff to current
2010-10-15
dimitris@microsoft.com
(1) Caching FD improvements for efficiency, (2) prevent...
blob
|
commitdiff
|
diff to current
2010-10-14
dimitris@microsoft.com
Midstream changes for performance improvement related...
blob
|
commitdiff
|
diff to current
2010-10-08
simonpj@microsoft.com
Beautiful new approach to the skolem-escape check and...
blob
|
commitdiff
|
diff to current
2010-10-08
simonpj@microsoft.com
Do less simplification when doing let-generalisation
blob
|
commitdiff
|
diff to current
2010-10-08
simonpj@microsoft.com
Fix Trac #4361: be more discerning when inferring types
blob
|
commitdiff
|
diff to current
2010-10-06
dimitris@microsoft.com
Major bugfixing pass through the type checker
blob
|
commitdiff
|
diff to current
2010-10-06
simonpj@microsoft.com
Refactoring: mainly rename ic_env_tvs to ic_untch
blob
|
commitdiff
|
diff to current
2010-09-19
simonpj@microsoft.com
Further improvements in error messages
blob
|
commitdiff
|
diff to current
2010-09-17
simonpj@microsoft.com
Spaces only
blob
|
commitdiff
|
diff to current
2010-09-17
simonpj@microsoft.com
Refactor type errors a bit
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Haddock fixes
blob
|
commitdiff
|
diff to current
2010-09-13
simonpj@microsoft.com
Super-monster patch implementing the new typechecker...
blob
|
commitdiff
|
diff to current
2009-12-11
simonpj@microsoft.com
Fix spelling in comment
blob
|
commitdiff
|
diff to current
2009-10-29
simonpj@microsoft.com
The Big INLINE Patch: totally reorganise way that INLIN...
blob
|
commitdiff
|
diff to current
2009-09-10
simonpj@microsoft.com
Three improvements to Template Haskell (fixes #3467)
blob
|
commitdiff
|
diff to current
2009-07-23
simonpj@microsoft.com
Fix Trac #3193: improve line number reporting for equal...
blob
|
commitdiff
|
diff to current
2009-07-17
simonpj@microsoft.com
Fix Trac #3346: tcSimplify for LHS of RULES with type...
blob
|
commitdiff
|
diff to current
2009-07-07
Ian Lynagh
Remove unused imports
blob
|
commitdiff
|
diff to current
2009-07-01
Max Bolingbroke
Support for -fwarn-unused-do-bind and -fwarn-wrong...
blob
|
commitdiff
|
diff to current
2009-05-28
simonpj@microsoft.com
Fix Trac #3261: make default types play nice with ...
blob
|
commitdiff
|
diff to current
2009-05-28
simonpj@microsoft.com
Add a comment
blob
|
commitdiff
|
diff to current
2009-04-27
Manuel M T Chakravarty
Equality constraint solver is now externally pure
blob
|
commitdiff
|
diff to current
2009-03-03
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2009-02-11
simonpj@microsoft.com
Fix Trac #3017: ensure that we quantify over enough...
blob
|
commitdiff
|
diff to current
2009-01-30
simonpj@microsoft.com
Fix Trac #2985: generating superclasses and recursive...
blob
|
commitdiff
|
diff to current
2008-12-31
simonpj@microsoft.com
Improve error reporting for 'deriving'
blob
|
commitdiff
|
diff to current
2008-12-16
Simon Marlow
Rollback INLINE patches
blob
|
commitdiff
|
diff to current
2008-12-05
simonpj@microsoft.com
Completely new treatment of INLINE pragmas (big patch)
blob
|
commitdiff
|
diff to current
2008-10-30
simonpj@microsoft.com
Add (a) CoreM monad, (b) new Annotations feature
blob
|
commitdiff
|
diff to current
2008-10-21
simonpj@microsoft.com
Comments and parens only
blob
|
commitdiff
|
diff to current
2008-09-20
simonpj@microsoft.com
Comments only: replace ":=:" by "~" (notation for equal...
blob
|
commitdiff
|
diff to current
2008-10-21
Manuel M T Chakravarty
FIX #2693
blob
|
commitdiff
|
diff to current
2008-10-21
Manuel M T Chakravarty
FIX #2688
blob
|
commitdiff
|
diff to current
2008-10-02
Manuel M T Chakravarty
Clean up some comments
blob
|
commitdiff
|
diff to current
2008-10-02
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2008-10-01
Manuel M T Chakravarty
TFs: Fixed InstContextNorm (and simplification of IPs)
blob
|
commitdiff
|
diff to current
2008-10-01
Manuel M T Chakravarty
TcSimplify.reduceImplication: clean up
blob
|
commitdiff
|
diff to current
2008-10-01
Manuel M T Chakravarty
Make sure to zonk the kind of coercion variables
blob
|
commitdiff
|
diff to current
2008-09-18
simonpj@microsoft.com
Fix Trac #1470: improve handling of recursive instances...
blob
|
commitdiff
|
diff to current
2008-09-16
Manuel M T Chakravarty
Type families: bug fixes
blob
|
commitdiff
|
diff to current
2008-09-14
Manuel M T Chakravarty
Remember if RewriteInst is swapped & bug fixes
blob
|
commitdiff
|
diff to current
2008-09-14
Manuel M T Chakravarty
Type families: fixed all non-termination in the testsuite
blob
|
commitdiff
|
diff to current
2008-09-13
Manuel M T Chakravarty
Type families: completed the new equality solver
blob
|
commitdiff
|
diff to current
2008-08-11
simonpj@microsoft.com
Fix Trac #2494: tcSimplifyRuleLhs
blob
|
commitdiff
|
diff to current
2008-07-31
Max Bolingbroke
Split the Id related functions out from Var into Id...
blob
|
commitdiff
|
diff to current
2008-07-20
Thomas Schilling
Fix Haddock errors.
blob
|
commitdiff
|
diff to current
2008-06-16
Ian Lynagh
More commandline flag improvements
blob
|
commitdiff
|
diff to current
2008-06-06
Ian Lynagh
Fix warnings in TcSimplify
blob
|
commitdiff
|
diff to current
2008-06-05
simonpj@microsoft.com
Fix Trac #2045: use big-tuple machiney for implication...
blob
|
commitdiff
|
diff to current
2008-06-05
simonpj@microsoft.com
Comments only
blob
|
commitdiff
|
diff to current
2008-06-03
Simon Marlow
add debugDumpTcRn and use it for some debugging output
blob
|
commitdiff
|
diff to current
2008-04-12
Ian Lynagh
(F)SLIT -> (f)sLit in TcSimplify
blob
|
commitdiff
|
diff to current
2008-04-07
Manuel M T Chakravarty
Remove GADT refinements, part 5
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
Don't import FastString in HsVersions.h
blob
|
commitdiff
|
diff to current
2008-03-29
Ian Lynagh
DEBUG removal
blob
|
commitdiff
|
diff to current
2008-03-13
Manuel M T Chakravarty
Some cleanup in TcSimplify.reduceContext
blob
|
commitdiff
|
diff to current
2008-03-13
Manuel M T Chakravarty
Properly normalise reduced dicts
blob
|
commitdiff
|
diff to current
2008-02-29
Manuel M T Chakravarty
Remove GADT refinements, part 3
blob
|
commitdiff
|
diff to current
2008-02-28
Manuel M T Chakravarty
Remove GADT refinements, part 2
blob
|
commitdiff
|
diff to current
2008-02-28
Manuel M T Chakravarty
Remove GADT refinements, part 1
blob
|
commitdiff
|
diff to current
2008-02-28
Manuel M T Chakravarty
Eliminate SkolemOccurs skolems only after checkLoop...
blob
|
commitdiff
|
diff to current
2008-01-17
Twan van Laarhoven
Monadify typecheck/TcSimplify: use do, return and stand...
blob
|
commitdiff
|
diff to current
2008-01-07
simonpj@microsoft.com
Make the treatment of equalities more uniform
blob
|
commitdiff
|
diff to current
2007-12-07
Manuel M T Chakravarty
Properly keep track of whether normalising given or...
blob
|
commitdiff
|
diff to current
2007-11-28
simonpj@microsoft.com
Reorganise TcSimplify (again); FIX Trac #1919
blob
|
commitdiff
|
diff to current
2007-11-22
Manuel M T Chakravarty
Properly ppr InstEqs in wanteds of implication constraints
blob
|
commitdiff
|
diff to current
2007-11-05
simonpj@microsoft.com
Inline implication constraints
blob
|
commitdiff
|
diff to current
2007-11-01
simonpj@microsoft.com
Rejig the error messages a bit; fixes a minor bug
blob
|
commitdiff
|
diff to current
2007-10-27
simonpj@microsoft.com
Make 'improvement' work properly in TcSimplify
blob
|
commitdiff
|
diff to current
2007-10-27
simonpj@microsoft.com
In an AbsBinds, the 'dicts' can include EqInsts
blob
|
commitdiff
|
diff to current
2007-10-19
Manuel M T Chakravarty
Zonk quantified tyvars with skolems
blob
|
commitdiff
|
diff to current
2007-10-18
Manuel M T Chakravarty
Don't barf on error message with non-tc tyvars
blob
|
commitdiff
|
diff to current
2007-10-12
simonpj@microsoft.com
Fix DoCon: Another try at getting extractResults right
blob
|
commitdiff
|
diff to current
2007-10-10
simonpj@microsoft.com
Add traceTc in tcSimplifyDefault
blob
|
commitdiff
|
diff to current
2007-10-10
simonpj@microsoft.com
FIX: tidy up TcSimplify following equality constraints...
blob
|
commitdiff
|
diff to current
2007-09-27
simonpj@microsoft.com
Comments and debug output only
blob
|
commitdiff
|
diff to current
2007-09-19
Manuel M T Chakravarty
FIX #1688: Givens in checkLoop are not that rigid after all
blob
|
commitdiff
|
diff to current
2007-09-15
Manuel M T Chakravarty
Overhaul of the rewrite rules
blob
|
commitdiff
|
diff to current
2007-09-11
simonpj@microsoft.com
Comments, and remove export of checkAmbiguity
blob
|
commitdiff
|
diff to current
2007-09-06
Manuel M T Chakravarty
Remove EqInsts from addSCs to avoid -DDEBUG warnings
blob
|
commitdiff
|
diff to current
next