diff options
Diffstat (limited to 'dev-lang/swi-prolog/files/swi-prolog-jpl-bounded-arith.patch')
| -rw-r--r-- | dev-lang/swi-prolog/files/swi-prolog-jpl-bounded-arith.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/dev-lang/swi-prolog/files/swi-prolog-jpl-bounded-arith.patch b/dev-lang/swi-prolog/files/swi-prolog-jpl-bounded-arith.patch new file mode 100644 index 000000000000..ef42960da2a9 --- /dev/null +++ b/dev-lang/swi-prolog/files/swi-prolog-jpl-bounded-arith.patch @@ -0,0 +1,30 @@ +--- pl-5.6.25.orig/packages/jpl/jpl.pl 2006-12-20 21:55:19.000000000 +1300 ++++ pl-5.6.25/packages/jpl/jpl.pl 2007-02-28 20:42:38.000000000 +1300 +@@ -4123,13 +4123,13 @@ + ; I < 2**15 -> T = char_short + ; I < 2**16 -> T = char_int + ; I < 2**31 -> T = int +- ; I < 2**63 -> T = long ++ ; I =< 9223372036854775807 -> T = long + ; T = overlong + ) + ; I >= -(2**7) -> T = byte + ; I >= -(2**15) -> T = short + ; I >= -(2**31) -> T = int +- ; I >= -(2**63) -> T = long ++ ; I >= -9223372036854775808 -> T = long + ; T = overlong + ). + +--- pl-5.6.25.orig/packages/jpl/test_jpl.pl 2006-11-22 21:38:20.000000000 +1300 ++++ pl-5.6.25/packages/jpl/test_jpl.pl 2007-02-28 20:34:39.000000000 +1300 +@@ -1038,7 +1038,8 @@ + [ setup(( + jpl_new( array(long), 3, A), + ( current_prolog_flag( bounded, true) +- -> current_prolog_flag( max_integer, V) ++ -> current_prolog_flag( max_integer, MI), ++ V is 10.0*MI + ; V is 2**63 + ) + )), |