[Yhc] Yhc (and Catch?) bugs

Isaac Dupree isaacdupree at charter.net
Mon Aug 6 17:14:59 EDT 2007


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


More information about the Yhc mailing list