[mercury-users] Mercury program loops for ever with rotd-2003-02-23

[Michael Day]

Hi,

The following construct causes a program compiled with rotd-2003-02-23 to
loop for ever until it segfaults:

    ( if my_function(X) > Max then
	...

where my_function is a det function that doesn't do anything weird.

If the program is rewritten like this:

    Y = my_function(X),
    ( if Y > Max then
        ...

then everything works fine.

Has anyone else experienced this extremely odd behaviour with
rotd-2003-02-23? I can attempt to create a decent test case if this bug is
unfamiliar.

Cheers,

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------