patch ddc-head: ddc-core: cleanups to type checker

[Ben Lippmeier]

Fri Feb 10 23:54:30 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: cleanups to type checker

    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -11 +9

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