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

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Sep 10 18:15:37 AEST 2010



Hi Keri,

On Thu, 9 Sep 2010, Peter Wang wrote:

> 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.

If this is still failing for you, could you please let us know further
details of the environment in which you are running it, grade, gcc 
version, glibc version etc.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the users mailing list