[mercury-users] mercury-10.04.1 hard_coded/char_signed test

[Peter Wang]

On 2010-09-08, Keri Harris <keri at gentoo.org> wrote:
> mercury-10.04.1 is failing to pass hard_coded/char_signed in grade 
> asm_fast.gc:
> 
> $ cat char_signed.exp
> unify succeed
> 'A' < 0xFF
> 0xFF >= 'A'
> 'A' < 0xFF
> 
> $ cat char_signed.out
> unify fail
> 'A' < 0xFF
> 0xFF >= 'A'
> 'A' < 0xFF
> 
> This is after a vanilla install using ./configure && make on linux-x86_64.
> 
> The test does succeed in grade hlc.gc. This test was introduced as a part of 
> the resolution of bug #158.
> 
> Should I expect this test to pass?

Yes. It works here.

Peter
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------