Neil Mitchell wrote:
This is the problem, Catch has a copy of the Yhc libraries, and since this morning me and Tom have changed the binary format for Yhc.Core - which means that Catch won't work with Yhc. Both Catch-darcs and Catch-0.1.1 are both broken with respect to the new library interfaces.
I was thinking that, but yhc wouldn't build with the most recent (august 5 and 6) patches unpulled, with errors like src/compiler/Core/Convert.hs:170:27: Not in scope: data constructor `CoreLit' So I tried just building the newest yhc, which worked, but didn't work with catch - oh well.
I will come back and fix up Catch in a short while, but am working on another project at the moment, and am a little busy. If you (or anyone else) has a strong pressing need for Catch
Not me... QuickCheck with a million iterations on each test is pretty reassuring too. (as well as testing with various other parameters varied too, ghc -Wall, etc)
--Bug: Always specifying an import list when importing Prelude, --breaks handling of some built-in syntax. However, Hugs also has --this bug so I'll keep my workaround. {- import Prelude ( )
simple :: () simple = () -}
We are aware that importing Prelude () is broken, this is because the renaming code in Yhc/nhc isn't very neat. Me and Tom both had a go at fixing this once, and we got absolutely nowhere. See http://code.google.com/p/yhc/issues/detail?id=81&q=Prelude - which I think might even be from you originally :-)
Alas :-) Maybe some of the above bugs will be fixable by someone sometime. Isaac