-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Dominic Steinitz wrote:
I really like the way you use a set of constraints (IN m1 ms, IN m2 ms, IN m3 ms) to maintain the set of marks. Previously I've thought of using a nested tuple type (m1, (m2, (m3 ()))) to maintain the set, but that is far less convenient. Very neat.
Why do you need the instance IN () b ?
This makes me realise I understand this less than I thought. Can someone give an explanation of how the marks get built up? Perhaps one of these papers will help: http://www.cs.cornell.edu/people/fluet/research/rgn-monad/
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFDznAnawZM6Kn3RRwRAk73AKDMjy5Ls0lmohtJuPQT3Azi6pzc5QCcCmem EjKr0py9UtK1ZTIgmRzuTa8= =W8Id -----END PGP SIGNATURE-----