patch ddc-head: Fix checking of withregion

[Ben Lippmeier]

Fri Aug  3 22:40:56 EDT 2012  Ben Lippmeier <b...@ouroborus.net>
  * Fix checking of withregion

    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -3 +5
    M ./test/ddci-core/25-Typing/30-Letregion/Test.dcx -1 +1

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