patch ddc-head: ddc-core: Handle higher kinded variables when checking equiv of type sums

[Ben Lippmeier]

Fri Feb 10 23:48:53 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: Handle higher kinded variables when checking equiv of type sums

    M ./packages/ddc-core/DDC/Type/Equiv.hs -6 +17
    M ./test/ddci-core/21-Equiv/Test.dcx -1 +55
    M ./test/ddci-core/21-Equiv/Test.stdout.check -1 +35

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