patch ddc-head: ddc-core: Don't substitute past lambdas with the same name

Mon, 06 Feb 2012 04:16:26 -0800 

Mon Feb  6 06:39:51 EST 2012  Ben Lippmeier <[email protected]>
  * ddc-core: Don't substitute past lambdas with the same name

    M ./packages/ddc-core-simpl/DDC/Core/Transform/Beta.hs +1
    M ./packages/ddc-core/DDC/Core/Transform/SubstituteX.hs -3 +14
    M ./packages/ddc-core/DDC/Type/Compounds.hs +13
    M ./test/ddci-core/50-Transform/20-Beta/Test.dcx +19
    M ./test/ddci-core/50-Transform/20-Beta/Test.stdout.check -1 +14

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

Reply via email to