[Haskell-cafe] Re: Existencial quantification and polymorphic
datatypes (actually, components...)
Jake McArthur
jake at pikewerks.com
Wed Jan 21 15:17:03 EST 2009
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Jonathan Cast wrote:
| I think you meant to quote the definition
|
| data SomeNum = forall a. SN a
Quite so. Thanks for clearing that up.
- - Jake
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAkl3gr8ACgkQye5hVyvIUKmiDgCfeH8fEn0+iDEMlQwtCHtMXAti
vSoAnAwYibedZTR1YyzrcC0OTspXsjMX
=Vagv
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe
mailing list