patch ddc-head: ddc-core: reinstate spec binder shadow check

[Ben Lippmeier]

Sat Feb 11 03:50:48 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: reinstate spec binder shadow check

    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs +3
    M ./packages/ddc-core/DDC/Core/Check/Error.hs +6
    M ./packages/ddc-core/DDC/Core/Check/ErrorMessage.hs +6
    M ./packages/ddc-core/DDC/Core/Transform/SubstituteTX.hs -7 +2
    M ./packages/ddci-core/DDCI/Core/Command/Eval.hs -5 +3
    M ./test/ddci-core/22-Typing/10-Simple/Test.dcx -3 +12
    M ./test/ddci-core/22-Typing/10-Simple/Test.stdout.check -11 +27
    M ./test/ddci-core/30-Transform/10-Anonymize/Test.dcx -1 +2
    M ./test/ddci-core/30-Transform/10-Anonymize/Test.stdout.check -1 +2
    M ./test/ddci-core/30-Transform/20-Beta/Test.dcx -20
    M ./test/ddci-core/30-Transform/20-Beta/Test.stdout.check -11

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