patch ddc-head: ddc-core: crush compound effects and closures during substitution

[Ben Lippmeier]

Fri Jan  6 05:58:07 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: crush compound effects and closures during substitution

     ./packages/ddc-core/DDC/Type/Operators/Trim.hs -> 
./packages/ddc-core/DDC/Type/Transform/Trim.hs
    R ./packages/ddc-core/DDC/Type/Operators/
    A ./test/ddci-core/20-Typing/70-Crush/
    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -1 +1
    M ./packages/ddc-core/DDC/Core/Check/TaggedClosure.hs -1 +1
    M ./packages/ddc-core/DDC/Type/Compounds.hs -4 +14
    M ./packages/ddc-core/DDC/Type/Transform/Crush.hs -4 +82
    M ./packages/ddc-core/DDC/Type/Transform/SubstituteT.hs -2 +24
    M ./packages/ddc-core/DDC/Type/Transform/Trim.hs -2 +2
    M ./test/ddci-core/20-Typing/40-Closure/Test.stdout.check -1 +1
    A ./test/ddci-core/20-Typing/70-Crush/Test.dcx
    A ./test/ddci-core/20-Typing/70-Crush/Test.stdout.check

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