patch ddc-head: Stash class instances in the solver problem instead of using constraints

[Ben Lippmeier]

Sat Nov 27 05:00:13 EST 2010  Ben Lippmeier <b...@ouroborus.net>
  * Stash class instances in the solver problem instead of using constraints

    M ./src/DDC/Constraint/Exp.hs -7 +1
    M ./src/DDC/Constraint/Pretty.hs -3
    M ./src/DDC/Constraint/Simplify.hs -1
    M ./src/DDC/Constraint/Trans.hs -4 +1
    M ./src/DDC/Desugar/Slurp/Slurp.hs -7 +14
    M ./src/DDC/Desugar/Slurp/State.hs -4 +12
    M ./src/DDC/Solve.hs -13
    M ./src/DDC/Solve/Check/Instances.hs -1 +1
    M ./src/DDC/Solve/Interface/Problem.hs -4 +3
    M ./src/DDC/Solve/State/Squid.hs -11 +14
    M ./src/DDC/Type/Operators/Context.hs -1 +1
    M ./src/Type/Extract.hs -1 +2
    M ./src/Type/Scheme.hs -2 +2

View patch online:
http://disciple.ouroborus.net/darcs/ddc-head/_darcs/patches/20101127100013-08f32-79cf0d5da24d2bb23afbc02e6bf6835181bec100.gz

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe