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, [EMAIL PROTECTED]
Let's get rid of those possible thingies! -- TB
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
