[Haskell-cafe] mutually recursive modules

[Alastair Reid]

Alastair:
> A crude approach is to assume the type (\forall a. a) for any
> function with no prototype  

Andreas:
> 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.)

--
Alastair