[Haskell-cafe] mutually recursive modules
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 Rossberg, rossberg at ps.uni-sb.de
Let's get rid of those possible thingies! -- TB
More information about the Haskell-Cafe