Re: [Haskell-cafe] mutually recursive modules

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