Re: [Haskell-cafe] Template Haskell sees into abstract data types

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 7/4/10 00:29 , Ivan Lazar Miljenovic wrote:

David Menendez writes:

...

I believe the point is that Template Haskell can see the internal structure of a type even when the constructors are not exported. The question is whether or not that is intentional.

I was under the impression that the question was whether the hiding of the constructors, etc. was intentional...

No, he knew that ("abstract types" from the original message). The question was whether TH is supposed to be able to violate the abstraction barrier. - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkwwEdIACgkQIn7hlCsL25W+9gCgmUI5P5wdCDXoHjqJkx5lH5U2 ZFsAnjAeCfVAsFjHBpozp1D5BFG3kCKW =c51E -----END PGP SIGNATURE-----