- changed status to resolved
XSB Support for negative integers
Attached file returns the wrong interpretation for T and segfaults on T2.
Comments (9)
-
reporter -
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 3618410096f7>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset c3c754c75ccf>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 48a5e2a468f9>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset b91a2744367d>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 1a59c5c6a97c>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 3fbb84310a27>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 52ce1377fa98>>
-
reporter Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 02e712083757>>
- Log in to comment
Added special case for the negative integers
They are now parsed in a special way, resulting in a unification with the negated number.
This fixes bug
#384→ <<cset 41041caf4200>>