Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/mercury/files
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/mercury/files')
-rw-r--r--dev-lang/mercury/files/mercury-0.13.1-tests-dir_test.patch53
-rw-r--r--dev-lang/mercury/files/mercury-0.13.1-tests-ho_and_type_spec_bug.patch9
-rw-r--r--dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch22
-rw-r--r--dev-lang/mercury/files/mercury-0.13.1-tests-string_format.patch723
-rw-r--r--dev-lang/mercury/files/mercury-0.13.1-tests-tabling_inf_recursion.patch35
5 files changed, 842 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-dir_test.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-dir_test.patch
new file mode 100644
index 000000000000..ce4cebd39587
--- /dev/null
+++ b/dev-lang/mercury/files/mercury-0.13.1-tests-dir_test.patch
@@ -0,0 +1,53 @@
+diff -urN mercury-tests-0.13.1.orig/hard_coded/dir_test.exp mercury-tests-0.13.1/hard_coded/dir_test.exp
+--- mercury-tests-0.13.1.orig/hard_coded/dir_test.exp 2003-07-29 03:50:45.000000000 +1200
++++ mercury-tests-0.13.1/hard_coded/dir_test.exp 2007-01-07 15:51:35.000000000 +1300
+@@ -130,7 +130,6 @@
+ "foo"/"bar/baz" = "foo\bar\baz".
+ "foo/"/"bar/baz" = "foo\bar\baz".
+ checking whether `unwritable' is readable...ok
+-unwritable file found to be unwritable
+ make_directory succeeded
+ make_directory succeeded
+ dir.make_single_directory with non-existent parent failed as expected.
+diff -urN mercury-tests-0.13.1.orig/hard_coded/dir_test.exp2 mercury-tests-0.13.1/hard_coded/dir_test.exp2
+--- mercury-tests-0.13.1.orig/hard_coded/dir_test.exp2 2003-07-29 03:50:45.000000000 +1200
++++ mercury-tests-0.13.1/hard_coded/dir_test.exp2 2007-01-07 15:51:35.000000000 +1300
+@@ -127,7 +127,6 @@
+ "foo"/"bar/baz" = "foo/bar/baz".
+ "foo/"/"bar/baz" = "foo/bar/baz".
+ checking whether `unwritable' is readable...ok
+-unwritable file found to be unwritable
+ make_directory succeeded
+ make_directory succeeded
+ dir.make_single_directory with non-existent parent failed as expected.
+diff -urN mercury-tests-0.13.1.orig/hard_coded/dir_test.exp3 mercury-tests-0.13.1/hard_coded/dir_test.exp3
+--- mercury-tests-0.13.1.orig/hard_coded/dir_test.exp3 2003-07-29 03:50:45.000000000 +1200
++++ mercury-tests-0.13.1/hard_coded/dir_test.exp3 2007-01-07 15:51:35.000000000 +1300
+@@ -130,7 +130,6 @@
+ "foo"/"bar/baz" = "foo/bar/baz".
+ "foo/"/"bar/baz" = "foo/bar/baz".
+ checking whether `unwritable' is readable...ok
+-unwritable file found to be unwritable
+ make_directory succeeded
+ make_directory succeeded
+ dir.make_single_directory with non-existent parent failed as expected.
+diff -urN mercury-tests-0.13.1.orig/hard_coded/dir_test.m mercury-tests-0.13.1/hard_coded/dir_test.m
+--- mercury-tests-0.13.1.orig/hard_coded/dir_test.m 2006-03-29 20:08:00.000000000 +1200
++++ mercury-tests-0.13.1/hard_coded/dir_test.m 2007-01-07 15:51:35.000000000 +1300
+@@ -50,16 +50,6 @@
+ io__write(ReadResult),
+ io__nl,
+
+- io__check_file_accessibility("unwritable",
+- [read, write], WriteResult),
+- ( { WriteResult = ok } ->
+- io__write_string(
+- "Error: unwritable file found to be writable\n")
+- ;
+- io__write_string(
+- "unwritable file found to be unwritable\n")
+- ),
+-
+ { Dir1 = "test_dir"/"d1" },
+ test0("make_directory", dir__make_directory(Dir1)),
+ % Test making a directory that already exists.
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-ho_and_type_spec_bug.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-ho_and_type_spec_bug.patch
new file mode 100644
index 000000000000..e3e1c594de08
--- /dev/null
+++ b/dev-lang/mercury/files/mercury-0.13.1-tests-ho_and_type_spec_bug.patch
@@ -0,0 +1,9 @@
+diff -urN mercury-tests-0.13.1.orig/valid/Mmakefile mercury-tests-0.13.1/valid/Mmakefile
+--- mercury-tests-0.13.1.orig/valid/Mmakefile 2006-11-08 14:36:30.000000000 +1300
++++ mercury-tests-0.13.1/valid/Mmakefile 2007-01-07 15:51:35.000000000 +1300
+@@ -400,3 +400,5 @@
+ rm -f *.err *.h
+
+ #-----------------------------------------------------------------------------#
++
++MCFLAGS-ho_and_type_spec_bug+=--no-optimize-higher-order
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch
new file mode 100644
index 000000000000..64ad9c6b1ed6
--- /dev/null
+++ b/dev-lang/mercury/files/mercury-0.13.1-tests-mdbrc.patch
@@ -0,0 +1,22 @@
+--- mercury-tests-0.13.1.orig/mdbrc 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/mdbrc 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,19 @@
++source MDB_DOC
++alias s step
++alias g goto
++alias f finish
++alias r retry
++alias v vars
++alias p print
++alias P print *
++alias d stack
++alias c continue
++alias b break
++alias h help
++alias ? help
++alias excp exception
++alias e exception
++alias EMPTY step
++alias NUMBER step
++xml_browser_cmd ''
++xml_tmp_filename ''
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-string_format.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-string_format.patch
new file mode 100644
index 000000000000..5c9a088542fa
--- /dev/null
+++ b/dev-lang/mercury/files/mercury-0.13.1-tests-string_format.patch
@@ -0,0 +1,723 @@
+diff -urN mercury-tests-0.13.1.orig/general/string_format/string_format_o.exp2 mercury-tests-0.13.1/general/string_format/string_format_o.exp2
+--- mercury-tests-0.13.1.orig/general/string_format/string_format_o.exp2 2002-11-23 03:09:31.000000000 +1300
++++ mercury-tests-0.13.1/general/string_format/string_format_o.exp2 2007-01-07 15:52:06.000000000 +1300
+@@ -308,7 +308,7 @@
+ %#-5o:'012 '
+ %#-5o:'0144 '
+ %#-5o:'0777777777777777777777'
+- %#.0o:''
++ %#.0o:'0'
+ %#.0o:'01'
+ %#.0o:'012'
+ %#.0o:'0144'
+@@ -703,7 +703,7 @@
+ % 5.5o:'00012'
+ % 5.5o:'00144'
+ % 5.5o:'777777777777777777777'
+- %# .0o:''
++ %# .0o:'0'
+ %# .0o:'01'
+ %# .0o:'012'
+ %# .0o:'0144'
+@@ -743,7 +743,7 @@
+ %#+ 5o:' 012'
+ %#+ 5o:' 0144'
+ %#+ 5o:'0777777777777777777777'
+- %#+.0o:''
++ %#+.0o:'0'
+ %#+.0o:'01'
+ %#+.0o:'012'
+ %#+.0o:'0144'
+@@ -808,7 +808,7 @@
+ %#-+5o:'012 '
+ %#-+5o:'0144 '
+ %#-+5o:'0777777777777777777777'
+- %#-.0o:''
++ %#-.0o:'0'
+ %#-.0o:'01'
+ %#-.0o:'012'
+ %#-.0o:'0144'
+@@ -828,7 +828,7 @@
+ %#-.5o:'00012'
+ %#-.5o:'00144'
+ %#-.5o:'0777777777777777777777'
+- %#0.0o:''
++ %#0.0o:'0'
+ %#0.0o:'01'
+ %#0.0o:'012'
+ %#0.0o:'0144'
+@@ -848,7 +848,7 @@
+ %#0.5o:'00012'
+ %#0.5o:'00144'
+ %#0.5o:'0777777777777777777777'
+- %#1.0o:' '
++ %#1.0o:'0'
+ %#1.0o:'01'
+ %#1.0o:'012'
+ %#1.0o:'0144'
+@@ -868,7 +868,7 @@
+ %#1.5o:'00012'
+ %#1.5o:'00144'
+ %#1.5o:'0777777777777777777777'
+- %#2.0o:' '
++ %#2.0o:' 0'
+ %#2.0o:'01'
+ %#2.0o:'012'
+ %#2.0o:'0144'
+@@ -888,7 +888,7 @@
+ %#2.5o:'00012'
+ %#2.5o:'00144'
+ %#2.5o:'0777777777777777777777'
+- %#5.0o:' '
++ %#5.0o:' 0'
+ %#5.0o:' 01'
+ %#5.0o:' 012'
+ %#5.0o:' 0144'
+@@ -1243,7 +1243,7 @@
+ %0#-5o:'012 '
+ %0#-5o:'0144 '
+ %0#-5o:'0777777777777777777777'
+- %0#.0o:''
++ %0#.0o:'0'
+ %0#.0o:'01'
+ %0#.0o:'012'
+ %0#.0o:'0144'
+@@ -1448,7 +1448,7 @@
+ %05.5o:'00012'
+ %05.5o:'00144'
+ %05.5o:'777777777777777777777'
+- %# 0.0o:''
++ %# 0.0o:'0'
+ %# 0.0o:'01'
+ %# 0.0o:'012'
+ %# 0.0o:'0144'
+@@ -1468,7 +1468,7 @@
+ %# 0.5o:'00012'
+ %# 0.5o:'00144'
+ %# 0.5o:'0777777777777777777777'
+- %# 1.0o:' '
++ %# 1.0o:'0'
+ %# 1.0o:'01'
+ %# 1.0o:'012'
+ %# 1.0o:'0144'
+@@ -1488,7 +1488,7 @@
+ %# 1.5o:'00012'
+ %# 1.5o:'00144'
+ %# 1.5o:'0777777777777777777777'
+- %# 2.0o:' '
++ %# 2.0o:' 0'
+ %# 2.0o:'01'
+ %# 2.0o:'012'
+ %# 2.0o:'0144'
+@@ -1508,7 +1508,7 @@
+ %# 2.5o:'00012'
+ %# 2.5o:'00144'
+ %# 2.5o:'0777777777777777777777'
+- %# 5.0o:' '
++ %# 5.0o:' 0'
+ %# 5.0o:' 01'
+ %# 5.0o:' 012'
+ %# 5.0o:' 0144'
+@@ -1528,7 +1528,7 @@
+ %# 5.5o:'00012'
+ %# 5.5o:'00144'
+ %# 5.5o:'0777777777777777777777'
+- %#+ .0o:''
++ %#+ .0o:'0'
+ %#+ .0o:'01'
+ %#+ .0o:'012'
+ %#+ .0o:'0144'
+@@ -1548,7 +1548,7 @@
+ %#+ .5o:'00012'
+ %#+ .5o:'00144'
+ %#+ .5o:'0777777777777777777777'
+- %#+0.0o:''
++ %#+0.0o:'0'
+ %#+0.0o:'01'
+ %#+0.0o:'012'
+ %#+0.0o:'0144'
+@@ -1568,7 +1568,7 @@
+ %#+0.5o:'00012'
+ %#+0.5o:'00144'
+ %#+0.5o:'0777777777777777777777'
+- %#+1.0o:' '
++ %#+1.0o:'0'
+ %#+1.0o:'01'
+ %#+1.0o:'012'
+ %#+1.0o:'0144'
+@@ -1588,7 +1588,7 @@
+ %#+1.5o:'00012'
+ %#+1.5o:'00144'
+ %#+1.5o:'0777777777777777777777'
+- %#+2.0o:' '
++ %#+2.0o:' 0'
+ %#+2.0o:'01'
+ %#+2.0o:'012'
+ %#+2.0o:'0144'
+@@ -1608,7 +1608,7 @@
+ %#+2.5o:'00012'
+ %#+2.5o:'00144'
+ %#+2.5o:'0777777777777777777777'
+- %#+5.0o:' '
++ %#+5.0o:' 0'
+ %#+5.0o:' 01'
+ %#+5.0o:' 012'
+ %#+5.0o:' 0144'
+@@ -1628,7 +1628,7 @@
+ %#+5.5o:'00012'
+ %#+5.5o:'00144'
+ %#+5.5o:'0777777777777777777777'
+- %#- .0o:''
++ %#- .0o:'0'
+ %#- .0o:'01'
+ %#- .0o:'012'
+ %#- .0o:'0144'
+@@ -1668,7 +1668,7 @@
+ %#-+ 5o:'012 '
+ %#-+ 5o:'0144 '
+ %#-+ 5o:'0777777777777777777777'
+- %#-+.0o:''
++ %#-+.0o:'0'
+ %#-+.0o:'01'
+ %#-+.0o:'012'
+ %#-+.0o:'0144'
+@@ -1688,7 +1688,7 @@
+ %#-+.5o:'00012'
+ %#-+.5o:'00144'
+ %#-+.5o:'0777777777777777777777'
+- %#-0.0o:''
++ %#-0.0o:'0'
+ %#-0.0o:'01'
+ %#-0.0o:'012'
+ %#-0.0o:'0144'
+@@ -1708,7 +1708,7 @@
+ %#-0.5o:'00012'
+ %#-0.5o:'00144'
+ %#-0.5o:'0777777777777777777777'
+- %#-1.0o:' '
++ %#-1.0o:'0'
+ %#-1.0o:'01'
+ %#-1.0o:'012'
+ %#-1.0o:'0144'
+@@ -1728,7 +1728,7 @@
+ %#-1.5o:'00012'
+ %#-1.5o:'00144'
+ %#-1.5o:'0777777777777777777777'
+- %#-2.0o:' '
++ %#-2.0o:'0 '
+ %#-2.0o:'01'
+ %#-2.0o:'012'
+ %#-2.0o:'0144'
+@@ -1748,7 +1748,7 @@
+ %#-2.5o:'00012'
+ %#-2.5o:'00144'
+ %#-2.5o:'0777777777777777777777'
+- %#-5.0o:' '
++ %#-5.0o:'0 '
+ %#-5.0o:'01 '
+ %#-5.0o:'012 '
+ %#-5.0o:'0144 '
+@@ -2108,7 +2108,7 @@
+ %0 5.5o:'00012'
+ %0 5.5o:'00144'
+ %0 5.5o:'777777777777777777777'
+- %0# .0o:''
++ %0# .0o:'0'
+ %0# .0o:'01'
+ %0# .0o:'012'
+ %0# .0o:'0144'
+@@ -2148,7 +2148,7 @@
+ %0#+ 5o:'00012'
+ %0#+ 5o:'00144'
+ %0#+ 5o:'0777777777777777777777'
+- %0#+.0o:''
++ %0#+.0o:'0'
+ %0#+.0o:'01'
+ %0#+.0o:'012'
+ %0#+.0o:'0144'
+@@ -2213,7 +2213,7 @@
+ %0#-+5o:'012 '
+ %0#-+5o:'0144 '
+ %0#-+5o:'0777777777777777777777'
+- %0#-.0o:''
++ %0#-.0o:'0'
+ %0#-.0o:'01'
+ %0#-.0o:'012'
+ %0#-.0o:'0144'
+@@ -2233,7 +2233,7 @@
+ %0#-.5o:'00012'
+ %0#-.5o:'00144'
+ %0#-.5o:'0777777777777777777777'
+- %0#0.0o:''
++ %0#0.0o:'0'
+ %0#0.0o:'01'
+ %0#0.0o:'012'
+ %0#0.0o:'0144'
+@@ -2253,7 +2253,7 @@
+ %0#0.5o:'00012'
+ %0#0.5o:'00144'
+ %0#0.5o:'0777777777777777777777'
+- %0#1.0o:' '
++ %0#1.0o:'0'
+ %0#1.0o:'01'
+ %0#1.0o:'012'
+ %0#1.0o:'0144'
+@@ -2273,7 +2273,7 @@
+ %0#1.5o:'00012'
+ %0#1.5o:'00144'
+ %0#1.5o:'0777777777777777777777'
+- %0#2.0o:' '
++ %0#2.0o:' 0'
+ %0#2.0o:'01'
+ %0#2.0o:'012'
+ %0#2.0o:'0144'
+@@ -2293,7 +2293,7 @@
+ %0#2.5o:'00012'
+ %0#2.5o:'00144'
+ %0#2.5o:'0777777777777777777777'
+- %0#5.0o:' '
++ %0#5.0o:' 0'
+ %0#5.0o:' 01'
+ %0#5.0o:' 012'
+ %0#5.0o:' 0144'
+@@ -2553,7 +2553,7 @@
+ %0-5.5o:'00012'
+ %0-5.5o:'00144'
+ %0-5.5o:'777777777777777777777'
+- %#+ 0.0o:''
++ %#+ 0.0o:'0'
+ %#+ 0.0o:'01'
+ %#+ 0.0o:'012'
+ %#+ 0.0o:'0144'
+@@ -2573,7 +2573,7 @@
+ %#+ 0.5o:'00012'
+ %#+ 0.5o:'00144'
+ %#+ 0.5o:'0777777777777777777777'
+- %#+ 1.0o:' '
++ %#+ 1.0o:'0'
+ %#+ 1.0o:'01'
+ %#+ 1.0o:'012'
+ %#+ 1.0o:'0144'
+@@ -2593,7 +2593,7 @@
+ %#+ 1.5o:'00012'
+ %#+ 1.5o:'00144'
+ %#+ 1.5o:'0777777777777777777777'
+- %#+ 2.0o:' '
++ %#+ 2.0o:' 0'
+ %#+ 2.0o:'01'
+ %#+ 2.0o:'012'
+ %#+ 2.0o:'0144'
+@@ -2613,7 +2613,7 @@
+ %#+ 2.5o:'00012'
+ %#+ 2.5o:'00144'
+ %#+ 2.5o:'0777777777777777777777'
+- %#+ 5.0o:' '
++ %#+ 5.0o:' 0'
+ %#+ 5.0o:' 01'
+ %#+ 5.0o:' 012'
+ %#+ 5.0o:' 0144'
+@@ -2633,7 +2633,7 @@
+ %#+ 5.5o:'00012'
+ %#+ 5.5o:'00144'
+ %#+ 5.5o:'0777777777777777777777'
+- %#- 0.0o:''
++ %#- 0.0o:'0'
+ %#- 0.0o:'01'
+ %#- 0.0o:'012'
+ %#- 0.0o:'0144'
+@@ -2653,7 +2653,7 @@
+ %#- 0.5o:'00012'
+ %#- 0.5o:'00144'
+ %#- 0.5o:'0777777777777777777777'
+- %#- 1.0o:' '
++ %#- 1.0o:'0'
+ %#- 1.0o:'01'
+ %#- 1.0o:'012'
+ %#- 1.0o:'0144'
+@@ -2673,7 +2673,7 @@
+ %#- 1.5o:'00012'
+ %#- 1.5o:'00144'
+ %#- 1.5o:'0777777777777777777777'
+- %#- 2.0o:' '
++ %#- 2.0o:'0 '
+ %#- 2.0o:'01'
+ %#- 2.0o:'012'
+ %#- 2.0o:'0144'
+@@ -2693,7 +2693,7 @@
+ %#- 2.5o:'00012'
+ %#- 2.5o:'00144'
+ %#- 2.5o:'0777777777777777777777'
+- %#- 5.0o:' '
++ %#- 5.0o:'0 '
+ %#- 5.0o:'01 '
+ %#- 5.0o:'012 '
+ %#- 5.0o:'0144 '
+@@ -2713,7 +2713,7 @@
+ %#- 5.5o:'00012'
+ %#- 5.5o:'00144'
+ %#- 5.5o:'0777777777777777777777'
+- %#-+ .0o:''
++ %#-+ .0o:'0'
+ %#-+ .0o:'01'
+ %#-+ .0o:'012'
+ %#-+ .0o:'0144'
+@@ -2733,7 +2733,7 @@
+ %#-+ .5o:'00012'
+ %#-+ .5o:'00144'
+ %#-+ .5o:'0777777777777777777777'
+- %#-+0.0o:''
++ %#-+0.0o:'0'
+ %#-+0.0o:'01'
+ %#-+0.0o:'012'
+ %#-+0.0o:'0144'
+@@ -2753,7 +2753,7 @@
+ %#-+0.5o:'00012'
+ %#-+0.5o:'00144'
+ %#-+0.5o:'0777777777777777777777'
+- %#-+1.0o:' '
++ %#-+1.0o:'0'
+ %#-+1.0o:'01'
+ %#-+1.0o:'012'
+ %#-+1.0o:'0144'
+@@ -2773,7 +2773,7 @@
+ %#-+1.5o:'00012'
+ %#-+1.5o:'00144'
+ %#-+1.5o:'0777777777777777777777'
+- %#-+2.0o:' '
++ %#-+2.0o:'0 '
+ %#-+2.0o:'01'
+ %#-+2.0o:'012'
+ %#-+2.0o:'0144'
+@@ -2793,7 +2793,7 @@
+ %#-+2.5o:'00012'
+ %#-+2.5o:'00144'
+ %#-+2.5o:'0777777777777777777777'
+- %#-+5.0o:' '
++ %#-+5.0o:'0 '
+ %#-+5.0o:'01 '
+ %#-+5.0o:'012 '
+ %#-+5.0o:'0144 '
+@@ -2893,7 +2893,7 @@
+ %-+ 5.5o:'00012'
+ %-+ 5.5o:'00144'
+ %-+ 5.5o:'777777777777777777777'
+- %0# 0.0o:''
++ %0# 0.0o:'0'
+ %0# 0.0o:'01'
+ %0# 0.0o:'012'
+ %0# 0.0o:'0144'
+@@ -2913,7 +2913,7 @@
+ %0# 0.5o:'00012'
+ %0# 0.5o:'00144'
+ %0# 0.5o:'0777777777777777777777'
+- %0# 1.0o:' '
++ %0# 1.0o:'0'
+ %0# 1.0o:'01'
+ %0# 1.0o:'012'
+ %0# 1.0o:'0144'
+@@ -2933,7 +2933,7 @@
+ %0# 1.5o:'00012'
+ %0# 1.5o:'00144'
+ %0# 1.5o:'0777777777777777777777'
+- %0# 2.0o:' '
++ %0# 2.0o:' 0'
+ %0# 2.0o:'01'
+ %0# 2.0o:'012'
+ %0# 2.0o:'0144'
+@@ -2953,7 +2953,7 @@
+ %0# 2.5o:'00012'
+ %0# 2.5o:'00144'
+ %0# 2.5o:'0777777777777777777777'
+- %0# 5.0o:' '
++ %0# 5.0o:' 0'
+ %0# 5.0o:' 01'
+ %0# 5.0o:' 012'
+ %0# 5.0o:' 0144'
+@@ -2973,7 +2973,7 @@
+ %0# 5.5o:'00012'
+ %0# 5.5o:'00144'
+ %0# 5.5o:'0777777777777777777777'
+- %0#+ .0o:''
++ %0#+ .0o:'0'
+ %0#+ .0o:'01'
+ %0#+ .0o:'012'
+ %0#+ .0o:'0144'
+@@ -2993,7 +2993,7 @@
+ %0#+ .5o:'00012'
+ %0#+ .5o:'00144'
+ %0#+ .5o:'0777777777777777777777'
+- %0#+0.0o:''
++ %0#+0.0o:'0'
+ %0#+0.0o:'01'
+ %0#+0.0o:'012'
+ %0#+0.0o:'0144'
+@@ -3013,7 +3013,7 @@
+ %0#+0.5o:'00012'
+ %0#+0.5o:'00144'
+ %0#+0.5o:'0777777777777777777777'
+- %0#+1.0o:' '
++ %0#+1.0o:'0'
+ %0#+1.0o:'01'
+ %0#+1.0o:'012'
+ %0#+1.0o:'0144'
+@@ -3033,7 +3033,7 @@
+ %0#+1.5o:'00012'
+ %0#+1.5o:'00144'
+ %0#+1.5o:'0777777777777777777777'
+- %0#+2.0o:' '
++ %0#+2.0o:' 0'
+ %0#+2.0o:'01'
+ %0#+2.0o:'012'
+ %0#+2.0o:'0144'
+@@ -3053,7 +3053,7 @@
+ %0#+2.5o:'00012'
+ %0#+2.5o:'00144'
+ %0#+2.5o:'0777777777777777777777'
+- %0#+5.0o:' '
++ %0#+5.0o:' 0'
+ %0#+5.0o:' 01'
+ %0#+5.0o:' 012'
+ %0#+5.0o:' 0144'
+@@ -3073,7 +3073,7 @@
+ %0#+5.5o:'00012'
+ %0#+5.5o:'00144'
+ %0#+5.5o:'0777777777777777777777'
+- %0#- .0o:''
++ %0#- .0o:'0'
+ %0#- .0o:'01'
+ %0#- .0o:'012'
+ %0#- .0o:'0144'
+@@ -3113,7 +3113,7 @@
+ %0#-+ 5o:'012 '
+ %0#-+ 5o:'0144 '
+ %0#-+ 5o:'0777777777777777777777'
+- %0#-+.0o:''
++ %0#-+.0o:'0'
+ %0#-+.0o:'01'
+ %0#-+.0o:'012'
+ %0#-+.0o:'0144'
+@@ -3133,7 +3133,7 @@
+ %0#-+.5o:'00012'
+ %0#-+.5o:'00144'
+ %0#-+.5o:'0777777777777777777777'
+- %0#-0.0o:''
++ %0#-0.0o:'0'
+ %0#-0.0o:'01'
+ %0#-0.0o:'012'
+ %0#-0.0o:'0144'
+@@ -3153,7 +3153,7 @@
+ %0#-0.5o:'00012'
+ %0#-0.5o:'00144'
+ %0#-0.5o:'0777777777777777777777'
+- %0#-1.0o:' '
++ %0#-1.0o:'0'
+ %0#-1.0o:'01'
+ %0#-1.0o:'012'
+ %0#-1.0o:'0144'
+@@ -3173,7 +3173,7 @@
+ %0#-1.5o:'00012'
+ %0#-1.5o:'00144'
+ %0#-1.5o:'0777777777777777777777'
+- %0#-2.0o:' '
++ %0#-2.0o:'0 '
+ %0#-2.0o:'01'
+ %0#-2.0o:'012'
+ %0#-2.0o:'0144'
+@@ -3193,7 +3193,7 @@
+ %0#-2.5o:'00012'
+ %0#-2.5o:'00144'
+ %0#-2.5o:'0777777777777777777777'
+- %0#-5.0o:' '
++ %0#-5.0o:'0 '
+ %0#-5.0o:'01 '
+ %0#-5.0o:'012 '
+ %0#-5.0o:'0144 '
+@@ -3473,7 +3473,7 @@
+ %0-+5.5o:'00012'
+ %0-+5.5o:'00144'
+ %0-+5.5o:'777777777777777777777'
+- %#-+ 0.0o:''
++ %#-+ 0.0o:'0'
+ %#-+ 0.0o:'01'
+ %#-+ 0.0o:'012'
+ %#-+ 0.0o:'0144'
+@@ -3493,7 +3493,7 @@
+ %#-+ 0.5o:'00012'
+ %#-+ 0.5o:'00144'
+ %#-+ 0.5o:'0777777777777777777777'
+- %#-+ 1.0o:' '
++ %#-+ 1.0o:'0'
+ %#-+ 1.0o:'01'
+ %#-+ 1.0o:'012'
+ %#-+ 1.0o:'0144'
+@@ -3513,7 +3513,7 @@
+ %#-+ 1.5o:'00012'
+ %#-+ 1.5o:'00144'
+ %#-+ 1.5o:'0777777777777777777777'
+- %#-+ 2.0o:' '
++ %#-+ 2.0o:'0 '
+ %#-+ 2.0o:'01'
+ %#-+ 2.0o:'012'
+ %#-+ 2.0o:'0144'
+@@ -3533,7 +3533,7 @@
+ %#-+ 2.5o:'00012'
+ %#-+ 2.5o:'00144'
+ %#-+ 2.5o:'0777777777777777777777'
+- %#-+ 5.0o:' '
++ %#-+ 5.0o:'0 '
+ %#-+ 5.0o:'01 '
+ %#-+ 5.0o:'012 '
+ %#-+ 5.0o:'0144 '
+@@ -3553,7 +3553,7 @@
+ %#-+ 5.5o:'00012'
+ %#-+ 5.5o:'00144'
+ %#-+ 5.5o:'0777777777777777777777'
+- %0#+ 0.0o:''
++ %0#+ 0.0o:'0'
+ %0#+ 0.0o:'01'
+ %0#+ 0.0o:'012'
+ %0#+ 0.0o:'0144'
+@@ -3573,7 +3573,7 @@
+ %0#+ 0.5o:'00012'
+ %0#+ 0.5o:'00144'
+ %0#+ 0.5o:'0777777777777777777777'
+- %0#+ 1.0o:' '
++ %0#+ 1.0o:'0'
+ %0#+ 1.0o:'01'
+ %0#+ 1.0o:'012'
+ %0#+ 1.0o:'0144'
+@@ -3593,7 +3593,7 @@
+ %0#+ 1.5o:'00012'
+ %0#+ 1.5o:'00144'
+ %0#+ 1.5o:'0777777777777777777777'
+- %0#+ 2.0o:' '
++ %0#+ 2.0o:' 0'
+ %0#+ 2.0o:'01'
+ %0#+ 2.0o:'012'
+ %0#+ 2.0o:'0144'
+@@ -3613,7 +3613,7 @@
+ %0#+ 2.5o:'00012'
+ %0#+ 2.5o:'00144'
+ %0#+ 2.5o:'0777777777777777777777'
+- %0#+ 5.0o:' '
++ %0#+ 5.0o:' 0'
+ %0#+ 5.0o:' 01'
+ %0#+ 5.0o:' 012'
+ %0#+ 5.0o:' 0144'
+@@ -3633,7 +3633,7 @@
+ %0#+ 5.5o:'00012'
+ %0#+ 5.5o:'00144'
+ %0#+ 5.5o:'0777777777777777777777'
+- %0#- 0.0o:''
++ %0#- 0.0o:'0'
+ %0#- 0.0o:'01'
+ %0#- 0.0o:'012'
+ %0#- 0.0o:'0144'
+@@ -3653,7 +3653,7 @@
+ %0#- 0.5o:'00012'
+ %0#- 0.5o:'00144'
+ %0#- 0.5o:'0777777777777777777777'
+- %0#- 1.0o:' '
++ %0#- 1.0o:'0'
+ %0#- 1.0o:'01'
+ %0#- 1.0o:'012'
+ %0#- 1.0o:'0144'
+@@ -3673,7 +3673,7 @@
+ %0#- 1.5o:'00012'
+ %0#- 1.5o:'00144'
+ %0#- 1.5o:'0777777777777777777777'
+- %0#- 2.0o:' '
++ %0#- 2.0o:'0 '
+ %0#- 2.0o:'01'
+ %0#- 2.0o:'012'
+ %0#- 2.0o:'0144'
+@@ -3693,7 +3693,7 @@
+ %0#- 2.5o:'00012'
+ %0#- 2.5o:'00144'
+ %0#- 2.5o:'0777777777777777777777'
+- %0#- 5.0o:' '
++ %0#- 5.0o:'0 '
+ %0#- 5.0o:'01 '
+ %0#- 5.0o:'012 '
+ %0#- 5.0o:'0144 '
+@@ -3713,7 +3713,7 @@
+ %0#- 5.5o:'00012'
+ %0#- 5.5o:'00144'
+ %0#- 5.5o:'0777777777777777777777'
+- %0#-+ .0o:''
++ %0#-+ .0o:'0'
+ %0#-+ .0o:'01'
+ %0#-+ .0o:'012'
+ %0#-+ .0o:'0144'
+@@ -3733,7 +3733,7 @@
+ %0#-+ .5o:'00012'
+ %0#-+ .5o:'00144'
+ %0#-+ .5o:'0777777777777777777777'
+- %0#-+0.0o:''
++ %0#-+0.0o:'0'
+ %0#-+0.0o:'01'
+ %0#-+0.0o:'012'
+ %0#-+0.0o:'0144'
+@@ -3753,7 +3753,7 @@
+ %0#-+0.5o:'00012'
+ %0#-+0.5o:'00144'
+ %0#-+0.5o:'0777777777777777777777'
+- %0#-+1.0o:' '
++ %0#-+1.0o:'0'
+ %0#-+1.0o:'01'
+ %0#-+1.0o:'012'
+ %0#-+1.0o:'0144'
+@@ -3773,7 +3773,7 @@
+ %0#-+1.5o:'00012'
+ %0#-+1.5o:'00144'
+ %0#-+1.5o:'0777777777777777777777'
+- %0#-+2.0o:' '
++ %0#-+2.0o:'0 '
+ %0#-+2.0o:'01'
+ %0#-+2.0o:'012'
+ %0#-+2.0o:'0144'
+@@ -3793,7 +3793,7 @@
+ %0#-+2.5o:'00012'
+ %0#-+2.5o:'00144'
+ %0#-+2.5o:'0777777777777777777777'
+- %0#-+5.0o:' '
++ %0#-+5.0o:'0 '
+ %0#-+5.0o:'01 '
+ %0#-+5.0o:'012 '
+ %0#-+5.0o:'0144 '
+@@ -3893,7 +3893,7 @@
+ %0-+ 5.5o:'00012'
+ %0-+ 5.5o:'00144'
+ %0-+ 5.5o:'777777777777777777777'
+-%0#-+ 0.0o:''
++%0#-+ 0.0o:'0'
+ %0#-+ 0.0o:'01'
+ %0#-+ 0.0o:'012'
+ %0#-+ 0.0o:'0144'
+@@ -3913,7 +3913,7 @@
+ %0#-+ 0.5o:'00012'
+ %0#-+ 0.5o:'00144'
+ %0#-+ 0.5o:'0777777777777777777777'
+-%0#-+ 1.0o:' '
++%0#-+ 1.0o:'0'
+ %0#-+ 1.0o:'01'
+ %0#-+ 1.0o:'012'
+ %0#-+ 1.0o:'0144'
+@@ -3933,7 +3933,7 @@
+ %0#-+ 1.5o:'00012'
+ %0#-+ 1.5o:'00144'
+ %0#-+ 1.5o:'0777777777777777777777'
+-%0#-+ 2.0o:' '
++%0#-+ 2.0o:'0 '
+ %0#-+ 2.0o:'01'
+ %0#-+ 2.0o:'012'
+ %0#-+ 2.0o:'0144'
+@@ -3953,7 +3953,7 @@
+ %0#-+ 2.5o:'00012'
+ %0#-+ 2.5o:'00144'
+ %0#-+ 2.5o:'0777777777777777777777'
+-%0#-+ 5.0o:' '
++%0#-+ 5.0o:'0 '
+ %0#-+ 5.0o:'01 '
+ %0#-+ 5.0o:'012 '
+ %0#-+ 5.0o:'0144 '
diff --git a/dev-lang/mercury/files/mercury-0.13.1-tests-tabling_inf_recursion.patch b/dev-lang/mercury/files/mercury-0.13.1-tests-tabling_inf_recursion.patch
new file mode 100644
index 000000000000..e8c8a76e648d
--- /dev/null
+++ b/dev-lang/mercury/files/mercury-0.13.1-tests-tabling_inf_recursion.patch
@@ -0,0 +1,35 @@
+diff -urN mercury-tests-0.13.1.orig/tabling/loopcheck.exp5 mercury-tests-0.13.1/tabling/loopcheck.exp5
+--- mercury-tests-0.13.1.orig/tabling/loopcheck.exp5 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/tabling/loopcheck.exp5 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,3 @@
++Uncaught Mercury exception:
++Software Error: detected infinite recursion in pred loopcheck.loop/1
++Stack dump not available in this grade.
+diff -urN mercury-tests-0.13.1.orig/tabling/loopcheck_nondet.exp2 mercury-tests-0.13.1/tabling/loopcheck_nondet.exp2
+--- mercury-tests-0.13.1.orig/tabling/loopcheck_nondet.exp2 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/tabling/loopcheck_nondet.exp2 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,3 @@
++Uncaught Mercury exception:
++Software Error: detected infinite recursion in pred loopcheck_nondet.loop/2
++Stack dump not available in this grade.
+diff -urN mercury-tests-0.13.1.orig/tabling/tc_loop.exp3 mercury-tests-0.13.1/tabling/tc_loop.exp3
+--- mercury-tests-0.13.1.orig/tabling/tc_loop.exp3 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/tabling/tc_loop.exp3 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,3 @@
++Uncaught Mercury exception:
++Software Error: detected infinite recursion in pred tc_loop.tc/2
++Stack dump not available in this grade.
+diff -urN mercury-tests-0.13.1.orig/tabling/tc_memo.exp2 mercury-tests-0.13.1/tabling/tc_memo.exp2
+--- mercury-tests-0.13.1.orig/tabling/tc_memo.exp2 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/tabling/tc_memo.exp2 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,3 @@
++Uncaught Mercury exception:
++Software Error: detected infinite recursion in pred tc_memo.tc/2
++Stack dump not available in this grade.
+diff -urN mercury-tests-0.13.1.orig/tabling/tc_memo2.exp2 mercury-tests-0.13.1/tabling/tc_memo2.exp2
+--- mercury-tests-0.13.1.orig/tabling/tc_memo2.exp2 1970-01-01 12:00:00.000000000 +1200
++++ mercury-tests-0.13.1/tabling/tc_memo2.exp2 2007-01-07 15:51:35.000000000 +1300
+@@ -0,0 +1,3 @@
++Uncaught Mercury exception:
++Software Error: detected need for minimal model in pred tc_memo2.tc/2
++Stack dump not available in this grade.