31 Jul
2008
31 Jul
'08
11:58 a.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
data Something a = Something a {-# Data: skip #-} (IO a)
ultimately, one would want a (1) unified, (2) typed and (3) extensible (by the programmer) treatment of source code annotations. http://java.sun.com/docs/books/jls/third_edition/html/interfaces.html#9.7 best regards, J.W. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (GNU/Linux) Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org iEYEARECAAYFAkiR4SsACgkQDqiTJ5Q4dm/irQCfVlzLnWFMEIFi9LTN98LBTELL qXQAniX+OpA+aAS0grjG97vYbVkZvAeQ =S+Tv -----END PGP SIGNATURE-----