-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 7/4/10 00:29 , Ivan Lazar Miljenovic wrote: > David Menendez <d...@zednenem.com> 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] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@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----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe