patch ddc-head: Discharge Shape constraints on effect and closure eq classes

[Ben Lippmeier]

Tue Dec 16 01:27:41 EST 2008  ben.lippme...@anu.edu.au
  * Discharge Shape constraints on effect and closure eq classes

    M ./src/Type/Crush/Shape.hs +13
    A ./test/Typing/Classing/Copy/
    A ./test/Typing/Classing/Copy/IntFun.ds

View patch online:
http://code.haskell.org/ddc/ddc-head/_darcs/patches/20081216062741-43c66-fb6114d83930c779096d8a70908f5990c74711a3.gz

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