[m-dev.] diff: Re: test_mercury FAILED: latest murlibobo gcc

[David Overton]

On Sat, Oct 20, 2001 at 04:26:42PM +1000, Simon Taylor wrote:
> On 20-Oct-2001, Mercury MERCURY <mercury at cs.mu.OZ.AU> wrote:
> > M mercury/tools/test_mercury
> > run_test murlibobo gcc
> > branch latest
> > test FAILED
> > log file in /home/mercury/public/test_mercury/logs/test-latest-murlibobo.out
> > log file summary in /home/mercury/public/test_mercury/logs/test-latest-murlibobo.out.errs
> > 
> > first 100 lines of log file summary:
> > gmake: *** [ho_default_func_2.date] Error 1
> > gmake: *** [ho_default_func_2.id.date] Error 1
> > gmake: *** [ho_default_func_2.id.date] Error 1
> > gmake: *** [ho_default_func_2.id.date] Error 1
> 
> Nested sub-modules don't work with parallel makes.
> Could you please rewrite the test case so it doesn't
> use nested sub-modules.
> 
> Simon.

Here is a fix for this.


-David.


Estimated hours taken: 0.5
Branches: main

tests/invalid/Mmakefile:
tests/invalid/ho_default_func_2.m:
tests/invalid/ho_default_func_2.id.m:
tests/invalid/ho_default_func_2.sub.err_exp:
tests/invalid/ho_default_func_2.sub.m:
tests/invalid/ho_default_func_2.err_exp:
	Split this test into separate submodules since nested submodules
	are not yet supported with parallel makes.


Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.98
diff -u -r1.98 Mmakefile
--- Mmakefile	12 Oct 2001 05:23:50 -0000	1.98
+++ Mmakefile	24 Oct 2001 06:37:46 -0000
@@ -18,7 +18,7 @@
 	aditi_update_errors.m \
 	aditi_update_mode_errors.m \
 	duplicate_instance_2.m \
-	ho_default_func_2.m \
+	ho_default_func_2.sub.m \
 	imported_mode.m \
 	partial_implied_mode.m \
 	test_nested.m \
Index: ho_default_func_2.err_exp
===================================================================
RCS file: ho_default_func_2.err_exp
diff -N ho_default_func_2.err_exp
--- ho_default_func_2.err_exp	12 Oct 2001 05:23:51 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,5 +0,0 @@
-ho_default_func_2.m:038: In clause for `baz(out)':
-ho_default_func_2.m:038:   in argument 1 of call to function `ho_default_func_2:id:mkid/1':
-ho_default_func_2.m:038:   mode error: variable `V_2' has instantiatedness `/* unique */(func((free -> ground)) = (ground -> ground) is det)',
-ho_default_func_2.m:038:   expected instantiatedness was `ground'.
-For more information, try recompiling with `-E'.
Index: ho_default_func_2.id.m
===================================================================
RCS file: ho_default_func_2.id.m
diff -N ho_default_func_2.id.m
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ ho_default_func_2.id.m	24 Oct 2001 06:13:44 -0000
@@ -0,0 +1,15 @@
+:- module ho_default_func_2__id.
+:- interface.
+
+:- type id(T).
+
+:- func mkid(T) = id(T).
+:- func getval(id(T)) = T.
+
+:- implementation.
+
+:- type id(T) ---> id(T).
+
+mkid(X) = id(X).
+
+getval(id(X)) = X.
Index: ho_default_func_2.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/ho_default_func_2.m,v
retrieving revision 1.1
diff -u -r1.1 ho_default_func_2.m
--- ho_default_func_2.m	12 Oct 2001 05:23:51 -0000	1.1
+++ ho_default_func_2.m	24 Oct 2001 06:13:44 -0000
@@ -27,27 +27,5 @@
 :- mode bar(out) = in is det.
 bar(X) = X + 1.
 
-:- module sub.
-:- interface.
-:- type t.
-:- pred baz(id(t)::out) is det.
-:- pred eq(t::in, t::out) is det.
-:- pred do_io(t::in, io__state::di, io__state::uo) is det.
-:- implementation.
-:- type t == (func(int) = int).
-baz(mkid(bar)).
-eq(X,X).
-do_io(F) --> io__write_int(F(42)), nl.
-:- end_module sub.
-
-:- module id.
-:- interface.
-:- type id(T).
-:- func mkid(T) = id(T).
-:- func getval(id(T)) = T.
-:- implementation.
-:- type id(T) ---> id(T).
-mkid(X) = id(X).
-getval(id(X)) = X.
-:- end_module id.
-
+:- include_module ho_default_func_2__sub.
+:- include_module ho_default_func_2__id.
Index: ho_default_func_2.sub.err_exp
===================================================================
RCS file: ho_default_func_2.sub.err_exp
diff -N ho_default_func_2.sub.err_exp
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ ho_default_func_2.sub.err_exp	24 Oct 2001 06:29:20 -0000
@@ -0,0 +1,5 @@
+ho_default_func_2.sub.m:014: In clause for `baz(out)':
+ho_default_func_2.sub.m:014:   in argument 1 of call to function `ho_default_func_2:id:mkid/1':
+ho_default_func_2.sub.m:014:   mode error: variable `V_2' has instantiatedness `/* unique */(func((free -> ground)) = (ground -> ground) is det)',
+ho_default_func_2.sub.m:014:   expected instantiatedness was `ground'.
+For more information, try recompiling with `-E'.
Index: ho_default_func_2.sub.m
===================================================================
RCS file: ho_default_func_2.sub.m
diff -N ho_default_func_2.sub.m
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ ho_default_func_2.sub.m	24 Oct 2001 06:13:44 -0000
@@ -0,0 +1,19 @@
+:- module ho_default_func_2__sub.
+:- interface.
+
+:- type t.
+
+:- pred baz(id(t)::out) is det.
+:- pred eq(t::in, t::out) is det.
+:- pred do_io(t::in, io__state::di, io__state::uo) is det.
+
+:- implementation.
+
+:- type t == (func(int) = int).
+
+baz(mkid(bar)).
+
+eq(X,X).
+
+do_io(F) --> io__write_int(F(42)), nl.
+

-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------