[Haskell-cafe] mutually recursive modules

[Andreas Rossberg]

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