[Haskell-cafe] what about adding a HIDE pragma ?

2009-07-22 Thread Marc Weber
I know about module Foo ( exportedFuncA, ExportedType(..) ) where exportedFuncA :: .. exportedFuncA = .. data ExportedType = ExportedType It's great that you can only export a subset of all functions defined in a module. However this kind of declaration causes some work when

Re: [Haskell-cafe] what about adding a HIDE pragma ?

2009-07-22 Thread Bulat Ziganshin
Hello Marc, Wednesday, July 22, 2009, 4:28:49 PM, you wrote: So does it make sense to add this information using pragmas? pragmas shouldn't change program behavior or alter whether program may be compiled of course, LANGUAGE pragmas violate this law, but is considered as bug in Haskell

Re: [Haskell-cafe] what about adding a HIDE pragma ?

2009-07-22 Thread Thomas Davie
On 22 Jul 2009, at 14:53, Bulat Ziganshin wrote: Hello Marc, Wednesday, July 22, 2009, 4:28:49 PM, you wrote: So does it make sense to add this information using pragmas? pragmas shouldn't change program behavior or alter whether program may be compiled of course, LANGUAGE pragmas

Re[2]: [Haskell-cafe] what about adding a HIDE pragma ?

2009-07-22 Thread Bulat Ziganshin
Hello Thomas, Wednesday, July 22, 2009, 5:08:15 PM, you wrote: Why shouldn't they? I'm not particularly in support of this idea -- it makes it less clear what is being exported by the module, but I don't get your reasoning. pragmas supposed to be some hints to compiler helping it to