G'day all.
Quoting Henning Thielemann <[EMAIL PROTECTED]>:
> Why can't GHC and Hugs go this way?
As Alastair noted, the problem is that Haskell allows you to export
symbols from a module whose types are unknown unless you type-check
modules that it imports. Simple example:
module A where
import B
a = b
module B where
import A
b = a
This is only a problem for exported symbols which have no type
declarations. As Alastair said:
> I guess that leaves two options:
>
> 1) Insist on a prototype for any exported function.
> 2) Insist on a prototype for any imported function which is used.
>
> The latter is more in keeping with Haskell's lazy checking of import clashes.
That's true, but you have to ask why you're exporting a function if
you're not going to use it. On the other hand, in the presence of
Haskell's "export everything" feature, it makes a certain amount of
sense.
Cheers,
Andrew Bromage
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
