patch ddc-head: ddc-core: allow shadowing of l1 binders, will handle this directly

[Ben Lippmeier]

Mon Feb  6 07:15:32 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: allow shadowing of l1 binders, will handle this directly

    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -5
    M ./packages/ddc-core/DDC/Core/Check/Error.hs -5
    M ./packages/ddc-core/DDC/Core/Check/ErrorMessage.hs -4
    M ./packages/ddc-core/DDC/Core/Transform/SubstituteT.hs -2 +4
    M ./packages/ddc-core/DDC/Core/Transform/SubstituteX.hs -2
    M ./packages/ddc-core/DDC/Type/Transform/SubstituteT.hs -1 +1
    M ./test/ddci-core/50-Transform/20-Beta/Test.dcx -5 +7
    M ./test/ddci-core/50-Transform/20-Beta/Test.stdout.check -5 +4

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