[Haskell-cafe] mutually recursive modules

Andreas Rossberg rossberg at ps.uni-sb.de
Fri Sep 24 09:53:52 EDT 2004

Alastair Reid wrote:
> Generating .hiboot files by just deleting function definitions fails if there 
> is no prototype for an exported function.  A crude approach is to assume the 
> type (\forall a. a) for any function with no prototype but, although this is 
> sound (I think), it will cause valid programs to be rejected.

Huh? How can that ever be sound? Are you sure you didn't mean (\exists a.a)?

	- Andreas

Andreas Rossberg, rossberg at ps.uni-sb.de

Let's get rid of those possible thingies!  -- TB

More information about the Haskell-Cafe mailing list