
22 May
2003
22 May
'03
12:46 p.m.
Roberto, as we discussed yesterday we believe this bug (also in SICStus) is fixed in the 1.11 development version. Perhaps you can try with the 1.11 version installed in clip (or with JFran's development 1.11). Cheers --Manuel
The 1.11 in ~clip/Systems/ciao has none of the bug patches :( My local copy has, but I'm in the middle of a huge change and it does not even compile. I can put a working version somewhere as soon as possible and tell you how to use it.