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

[Brandon S Allbery KF8NH]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 7/4/10 00:29 , Ivan Lazar Miljenovic wrote:
> David Menendez <dave at 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]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at 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-----