Sun Aug 8 05:31:46 EDT 2010 [email protected]
* Use new type substitutor in core checker
Ignore-this: 6803327801693f313125fb22825a9c4b
M ./src/Core/Util.hs -1 +2
M ./src/Core/Util/Substitute.hs +1
M ./src/DDC/Core/Check/Exp.hs -3 +4
M ./src/DDC/Type/Substitute.hs +23
M ./src/DDC/Type/Transform.hs +8
View patch online:
http://code.haskell.org/ddc/ddc-head/_darcs/patches/20100808093146-bf82d-958c5aeecbca199f51804d0d9bc471779c34911d.gz
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
