[Haskell-cafe] Exportable and importable instances

[Marco Túlio Gontijo e Silva]

Hi.

I'm planning to propose a language extension for Haskell to make it possible to
control the visibility of type class instances in module export and import
lists as a research project.  I'm planning to implement this in GHC.  I've
already mentioned it in #ghc at irc.freenode.net and got interesting comments from
tibbe and quicksilver.

I'd be glad to receive more feedback on the idea.  If you have any
comments, please reply to this thread or mail me individually, at your will.

Greetings.
-- 
marcot
http://marcot.eti.br/
[Flattr=54498]
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110107/5c1670e0/attachment.pgp>