[m-rev.] diff: replace old module qualifier in tests/invalid

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

tests/invalid/children.m:
tests/invalid/children2.m:
tests/invalid/duplicate_module.m:
tests/invalid/missing_parent_import.m:
tests/invalid/nested_impl_in_int.m:
tests/invalid/qual_basic_test2.m
tests/invalid/qualified_cons_id2.m
	Replace the deprecated module qualifier `:'.

Julien.

Index: children.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/children.m,v
retrieving revision 1.1
diff -u -r1.1 children.m
--- children.m	25 Mar 2002 21:13:29 -0000	1.1
+++ children.m	9 Feb 2005 03:22:18 -0000
@@ -2,43 +2,43 @@
 :- module children.
 :- interface.

-:- module children:child.
+:- module children.child.
 :- interface.
 :- import_module io.

 :- type foo ---> bar ; baz(int).

-:- pred hello(io__state::di, io__state::uo) is det.
+:- pred hello(io::di, io::uo) is det.

-:- end_module children:child.
+:- end_module children.child.

-:- module children:child2.
+:- module children.child2.
 :- interface.
 :- import_module io.

 :- type foo ---> bar ; baz(int).

-:- pred hello(io__state::di, io__state::uo) is det.
+:- pred hello(io::di, io::uo) is det.

-:- end_module children:child2.
+:- end_module children.child2.

 %-----------------------------------------------------------------------------%

 :- implementation.

-:- module children:child.
+:- module children.child.
 :- implementation.

-hello --> io__write_string("children:child:hello\n").
+hello --> io.write_string("children.child.hello\n").

-:- end_module children:child.
+:- end_module children.child.

-:- module children:child2.
+:- module children.child2.
 :- implementation.

-hello --> io__write_string("children:child2:hello\n").
+hello --> io.write_string("children.child2.hello\n").

-:- end_module children:child2.
+:- end_module children.child2.

 :- end_module children.

Index: children2.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/children2.m,v
retrieving revision 1.1
diff -u -r1.1 children2.m
--- children2.m	25 Mar 2002 21:13:29 -0000	1.1
+++ children2.m	9 Feb 2005 03:23:32 -0000
@@ -4,43 +4,43 @@

 :- import_module children.

-:- module children2:sub1.
+:- module children2.sub1.
 :- interface.
 :- import_module io.

 :- type foo ---> bar ; baz(int).

-:- pred hello(io__state::di, io__state::uo) is det.
+:- pred hello(io::di, io::uo) is det.

-:- end_module children2:sub1.
+:- end_module children2.sub1.

-:- module children2:sub2.
+:- module children2.sub2.
 :- interface.
 :- import_module io.

 :- type foo ---> bar ; baz(int).

-:- pred hello(io__state::di, io__state::uo) is det.
+:- pred hello(io::di, io::uo) is det.

-:- end_module children2:sub2.
+:- end_module children2.sub2.

 %-----------------------------------------------------------------------------%

 :- implementation.

-:- module children2:sub1.
+:- module children2.sub1.
 :- implementation.

-hello --> io__write_string("children2:sub1:hello\n").
+hello --> io.write_string("children2.sub1.hello\n").

-:- end_module children2:sub1.
+:- end_module children2.sub1.

-:- module children2:sub2.
+:- module children2.sub2.
 :- implementation.

-hello --> io__write_string("children2:sub2:hello\n").
+hello --> io.write_string("children2.sub2.hello\n").

-:- end_module children2:sub2.
+:- end_module children2.sub2.

 :- end_module children2.

Index: duplicate_module.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/duplicate_module.m,v
retrieving revision 1.1
diff -u -r1.1 duplicate_module.m
--- duplicate_module.m	15 Nov 2001 13:32:48 -0000	1.1
+++ duplicate_module.m	9 Feb 2005 03:18:42 -0000
@@ -67,14 +67,14 @@

 % now we're back in the parent module.

-:- use_module duplicate_module:child.
-:- use_module duplicate_module:child2.
-:- use_module duplicate_module:child3.
+:- use_module duplicate_module.child.
+:- use_module duplicate_module.child2.
+:- use_module duplicate_module.child3.
 :- import_module std_util, require.

 do_main -->
-	duplicate_module:child:hello,
-	duplicate_module:child2:hello,
-	duplicate_module:child3:hello.
+	duplicate_module.child.hello,
+	duplicate_module.child2.hello,
+	duplicate_module.child3.hello.

 :- end_module duplicate_module.
Index: missing_parent_import.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/missing_parent_import.m,v
retrieving revision 1.1
diff -u -r1.1 missing_parent_import.m
--- missing_parent_import.m	25 Mar 2002 21:13:30 -0000	1.1
+++ missing_parent_import.m	9 Feb 2005 03:23:54 -0000
@@ -10,7 +10,7 @@

 :- import_module io.

-:- pred main(io__state::di, io__state::uo) is det.
+:- pred main(io::di, io::uo) is det.

 :- implementation.

@@ -21,16 +21,16 @@
 % test case is testing.
 % :- import_module children.

-:- import_module children:child.
-:- use_module children:child2.
+:- import_module children.child.
+:- use_module children.child2.
 :- import_module std_util, require.

 main -->
-	children:child:hello,
-	child:hello,
+	children.child.hello,
+	child.hello,
 	hello,
-	children:child2:hello,
-	child2:hello,
+	children.child2.hello,
+	child2.hello,

 	{ true }.

Index: nested_impl_in_int.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/nested_impl_in_int.m,v
retrieving revision 1.1
diff -u -r1.1 nested_impl_in_int.m
--- nested_impl_in_int.m	26 Jul 1998 16:36:15 -0000	1.1
+++ nested_impl_in_int.m	9 Feb 2005 03:26:16 -0000
@@ -4,9 +4,9 @@
 :- interface.
 :- import_module io.

-:- pred main(io__state::di, io__state::uo) is det.
+:- pred main(io::di, io::uo) is det.

-    :- module nested_impl_in_int:child.
+    :- module nested_impl_in_int.child.
     :- interface.
 	:- import_module io.

@@ -14,31 +14,31 @@

 	:- pred hello(io__state::di, io__state::uo) is det.

-    :- end_module nested_impl_in_int:child.
+    :- end_module nested_impl_in_int.child.

-    :- module nested_impl_in_int:child.
+    :- module nested_impl_in_int.child.
     :- implementation.

-        hello --> io__write_string("nested_impl_in_int:child:hello\n").
+        hello --> io.write_string("nested_impl_in_int.child.hello\n").

     :- end_module nested_impl_in_int:child.


 %-----------------------------------------------------------------------------%

-    :- module nested_impl_in_int:child2.
+    :- module nested_impl_in_int.child2.
     :- interface.
         :- import_module io.

         :- type foo ---> bar ; baz(int).

-        :- pred hello(io__state::di, io__state::uo) is det.
+        :- pred hello(io::di, io::uo) is det.

     :- implementation.

-        hello --> io__write_string("nested_impl_in_int:child2:hello\n").
+        hello --> io.write_string("nested_impl_in_int.child2.hello\n").

-    :- end_module nested_impl_in_int:child2.
+    :- end_module nested_impl_in_int.child2.

 :- implementation.

@@ -46,24 +46,24 @@

 % now we're back in the parent module.

-:- import_module nested_impl_in_int:child.
-:- use_module nested_impl_in_int:child2.
+:- import_module nested_impl_in_int.child.
+:- use_module nested_impl_in_int.child2.
 :- import_module std_util, require.

-:- type t1 == nested_impl_in_int:child:foo.
-:- type t2 == child:foo.
+:- type t1 == nested_impl_in_int.child.foo.
+:- type t2 == child.foo.
 :- type t3 == foo.
-:- type t4 == nested_impl_in_int:child2:foo.
-% :- type t5 == child2:foo.	% XXX mixing of use_module and import_module
+:- type t4 == nested_impl_in_int.child2.foo.
+% :- type t5 == child2.foo.	% XXX mixing of use_module and import_module
 				% is not yet supported.
-:- type t5 == nested_impl_in_int:child2:foo.
+:- type t5 == nested_impl_in_int.child2.foo.

 main -->
-	nested_impl_in_int:child:hello,
-	child:hello,
+	nested_impl_in_int.child.hello,
+	child.hello,
 	hello,
-	nested_impl_in_int:child2:hello,
-	% child2:hello,		% XXX mixing of use_module and import_module
+	nested_impl_in_int.child2.hello,
+	% child2.hello,		% XXX mixing of use_module and import_module
 				% is not yet supported.

 	print("t1 = "), print(type_of(has_type_t1)), nl,
@@ -86,12 +86,12 @@
 :- func has_type_t4 = t4.
 :- func has_type_t5 = t5.

-has_type_t1 = nested_impl_in_int:child:bar.
-has_type_t2 = child:bar.
+has_type_t1 = nested_impl_in_int.child.bar.
+has_type_t2 = child.bar.
 has_type_t3 = bar.
-has_type_t4 = nested_impl_in_int:child2:bar.
+has_type_t4 = nested_impl_in_int.child2.bar.
 % has_type_t5 = child2:bar.  % XXX mixing of use_module and import_module
 			     % is not yet supported.
-has_type_t5 = nested_impl_in_int:child2:bar.
+has_type_t5 = nested_impl_in_int.child2.bar.

 :- end_module nested_impl_in_int.
Index: qual_basic_test2.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/qual_basic_test2.m,v
retrieving revision 1.1
diff -u -r1.1 qual_basic_test2.m
--- qual_basic_test2.m	27 Apr 1997 05:28:56 -0000	1.1
+++ qual_basic_test2.m	9 Feb 2005 03:26:38 -0000
@@ -6,10 +6,10 @@

 :- import_module io.

-:- pred qual_basic_test2:main(io__state, io__state).
-:- mode qual_basic_test2:main(di, uo) is det.
+:- pred qual_basic_test2.main(io, io).
+:- mode qual_basic_test2.main(di, uo) is det.

 :- implementation.

-qual_basic_test2:main --> io:io__write_string("Gotcha!\n").
+qual_basic_test2.main --> io.io__write_string("Gotcha!\n").

Index: qualified_cons_id2.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/qualified_cons_id2.m,v
retrieving revision 1.2
diff -u -r1.2 qualified_cons_id2.m
--- qualified_cons_id2.m	17 Feb 1997 01:40:28 -0000	1.2
+++ qualified_cons_id2.m	9 Feb 2005 03:19:09 -0000
@@ -9,12 +9,12 @@
 	;    no.

 :- inst yes
-	--->	qualified_cons_id2:yes(ground).
+	--->	qualified_cons_id2.yes(ground).

 :- pred test(maybe(T), T).
-:- mode test(in(bound(qualified_cons_id2:yes(ground))), out) is det.
+:- mode test(in(bound(qualified_cons_id2.yes(ground))), out) is det.
 :- mode test(in(yes), out) is det.

 :- implementation.

-test(std_util:yes(T), T).
+test(std_util.yes(T), T).

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------