Mercury testcase shakeup.

(Portage version: 2.1.2_rc4-r2)

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.