patch ddc-head: ddc-core: handle capture conditions in witness substitution

Tue, 07 Feb 2012 03:24:28 -0800 

Tue Feb  7 06:23:45 EST 2012  Ben Lippmeier <[email protected]>
  * ddc-core: handle capture conditions in witness substitution

    M ./packages/ddc-core/DDC/Core/Transform/SubstituteW.hs -38 +71
    M ./packages/ddc-core/DDC/Core/Transform/SubstituteX.hs -10 +5
    M ./test/ddci-core/50-Transform/20-Beta/Test.dcx -15 +43
    M ./test/ddci-core/50-Transform/20-Beta/Test.stdout.check -15 +10

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

Reply via email to