Repository : ssh://darcs.haskell.org//srv/darcs/ghc
Branch 'master' now includes:
7babb1b... Big changes on tc-untouchables branch
5b4fef6... When floating constraints outwards, promote the floated type
variables
0d55e1e... Avoid emitting Given constraints for spontaneous unifications.
Instead keep spontaneous unifications /only/ in the TcS tybinds. Relevant note
is Note [Spontaneously solved in TyBinds] in TcInteract.
ee578b6... Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc
into tc-untouchables
34be452... Minor fixes, mostly simplificaitons
f5216cd... Merge remote-tracking branch 'origin/HEAD' into tc-untouchables
2b69233... A raft more changes, * simplifying and tidying up
canonicalisation, * removing the flat cache altogether * making the FunEq
worklist into a deque
b737a45... More simplifications to the constraint solver
4026038... Nicer pretty printing for tuple kinds
fe6ddf0... A bunch more simplification and refactoring to the constraint
solver
740cbdf... Merge branch 'tc-untouchables', remote branch 'origin' into
tc-untouchables
ff32f97... Wibbles to fe6ddf00, fixing infelicities
d37deb7... Some comments and false starts to do with ArrForm
82ace67... Comments only
d4fa711... Remove historical Unique parameter from pushUntouchables
ed7538b... Move inert_insols into the InertCans record
64d07ab... Make kickOutRewritable kick out insolubles
b493d39... When defaulting, check for *meta* tyvars
7560dd6... Some refactoring; removes simplifyCheck
633dd55... Moved solving of type families to zonkWC and a few
simplifications in TcSimplify. Now unflattening does not happen recursively
inside solveWanteds which should be a good performance win.
ad0139a... Merge branch 'master' of http://darcs.haskell.org/ghc
b0db930... Merge remote-tracking branch 'origin/master' into
tc-untouchables
8a9a7a8... Add type "holes", enabled by -XTypeHoles, Trac #5910
5f312c8... Spelling in comments only
8089391... Comments about how the untouchables stuff works
0683258... Improve the binding location of class methods (I think)
d30b9cf... Another refactoring of constraints
1a6ab64... Remove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
bd6b183... Tidy up and simplify TcMType.zonkFlats (discussion between DV
and SLPJ)
510f439... Tidy up and simplify simplifyRule, pls adding some other
comments
af7cc99... Implement 'left' and 'right' coercions
58470fb... Make a start towards eta-rules and injective families
1b5c833... Undo making Any into a type family, for now
19dd108... Be careful about kinds when eta-expanding AppCo
09a0670... Signatures and comments
9429190... Make sure that even insoluble constraints are fully substituted
8e7d415... Merge remote-tracking branch 'origin/master' into
tc-untouchables
08167ac... Merge remote-tracking branch 'origin/master' into
tc-untouchables
23db38b... Comments only
b00c29d... Fix an outright bug in my "left/right" stuff, and refactor
canEqLeafTyVarEq along the same lines as our earlier refactoring of
canEqLeafFunEq
3f2bd36... Fiddling with kind errors
4e339e0... Improve pretty printing for coercions
f18c188... Wibble to debug print
39f0bd0... Comments only
e7279ac... Fix kind unification in the special rule for ($)
444577a... Comments only
6a9542a... Better ASSERT message
9a058b1... Refactor the handling of kind errors
6e3e64a... Merge remote-tracking branch 'origin/master' into
tc-untouchables
7fdc2a3... Add missing case in TcUnify.matchExpectedFunKind
c35c5d0... Improve pretty printing for coercions (exp transistivity chains)
bd2aef6... Comment out a particularly verbose trace
2b523dc... Use System Names for evidence variables
adb6bcb... Fix an ASSERT
7fdcf2c... Simplify the reOrient function (no change in behaviour)
453e0ce... Modest refactoring in TcCanonical (and TcSMonad)
b3f2f73... Modest refactoring (put bumpStepCounter into traceFireTcS, and
other simple things)
935fa10... Comments about silent superclasses
316d3ed... Tracing in TcUnify
fd3bd41... Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc
into tc-untouchables
522a155... Comments, and unused import
902a863... Improve (and simplify) the short-circuiting of Refl coercions
815dcff... A few more constraint solver improvements
74d6511... Merge remote-tracking branch 'origin/master'
4708d38... Merge branch 'tc-untouchables'
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
