Sat Sep 25 09:00:38 EDT 2010 [email protected]
* Start cleaning up interface to type inferencer
Ignore-this: 6e99d5c6d400c56f73ca12f16f8276a2
We want to provide a map of type sigs to the inferencer so it
can look them up and do the check every after every generalisation.
M ./src/Constraint/Exp.hs -2 +4
A ./src/DDC/Solve/Problem.hs
View patch online:
http://code.haskell.org/ddc/ddc-head/_darcs/patches/20100925130038-bf82d-ed7903d06afea5b74cec539837ac214c78a6f17c.gz
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
