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
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
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
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