[Haskell-cafe] mutually recursive modules
alastair at reid-consulting-uk.ltd.uk
Fri Sep 24 12:55:39 EDT 2004
> A crude approach is to assume the type (\forall a. a) for any
> function with no prototype
> Huh? How can that ever be sound?
You're right, it's not - my mistake.
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.
(There's a third option where you assume a type which you don't know anything
about like (\exists a. a) but I'd be surprised if this let you typecheck any
more useful programs.)
More information about the Haskell-Cafe