Export lists in modules

[Bulat Ziganshin]

Hello Simon,

Thursday, February 23, 2006, 2:41:11 PM, you wrote:

>>> modules M exports
>>> 
>>> class Eq a where
>>>   (==) :: a -> a -> Bool
>>> 
>>> data T :: * -> *
>>> f :: T -> Int
>>> mkT :: Int -> T
>>> 
>>> where -- implementation below here
>>> --------------------------------------

SM> The main difference is that I'm doing away with parentheses, commas, and
SM> export specifiers, and using layout and full declaration syntax instead.
SM> (I don't really want to discuss this very rough idea any more though,
SM> it's just a distraction, and I'm not sure I like it anyway).

i like this idea. text editor's extensions then should maintain this export
list. you just hit special key at the type/class/function definition to
(re)move it to export list

opposite alternative is to add "export" modifiers to all types of
declarations and use tools to extract interface part of .hs file

anyway, we can't establish an "ultimate" solution without use of
tools. all other variants, including current one, is just
half-solutions


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com