Simon Ambler <[EMAIL PROTECTED]> writes:
>
> The following compiler error occurred in trying to compile Jan
> Zwanenburg's proof assistant tool Yarrow with ghc-4.00.
>
> ftp://fpt.win.tue.nl/pub/courses/2L560/yarrow/yarrow-src.tar.gz
>
> The package says that it works with ghc-2.05 but I thought
> that I might try it with the latest version. Hugs-1.4 runs it fine
> and ghc-2.10 compiles it without error.
>
> Hope you can figure out the diagnostics!
>
Thanks for a fine report - fixed in ghc-4.01, which should be out
shortly.
--Sigbjorn