[m-dev.] diff: `:- assertion' to `:- promise' for the tests

[Peter Ross]

Hi,

I will check this in, once I get confirmation that my bootstrap process
mentioned in the other mail is correct.

===================================================================


Estimated hours taken: 1

Change from using `:- assertion' to `:- promise'.

invalid/assert_in_interface.err_exp:
invalid/assert_in_interface.m:
invalid/tricky_assert1.err_exp:
invalid/tricky_assert1.m:
valid/tricky_assert2.m:
    Make the required changes.


Index: invalid/assert_in_interface.err_exp
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/assert_in_interface.err_exp,v
retrieving revision 1.1
diff -u -r1.1 assert_in_interface.err_exp
--- assert_in_interface.err_exp	1999/11/11 23:17:57	1.1
+++ assert_in_interface.err_exp	1999/11/12 01:05:13
@@ -1,4 +1,4 @@
 assert_in_interface.m:005: In interface for module `assert_in_interface':
-assert_in_interface.m:005:   error: exported assertion refers to predicate `list:last/2'
+assert_in_interface.m:005:   error: exported promise refers to predicate `list:last/2'
 assert_in_interface.m:005:   which is defined in the implementation of module `assert_in_interface'.
 For more information, try recompiling with `-E'.
Index: invalid/assert_in_interface.m
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/assert_in_interface.m,v
retrieving revision 1.1
diff -u -r1.1 assert_in_interface.m
--- assert_in_interface.m	1999/11/11 23:17:58	1.1
+++ assert_in_interface.m	1999/11/11 23:48:16
@@ -2,7 +2,7 @@
 	% imported in the implementation of the module.
 :- module assert_in_interface.
 :- interface.
-:- assertion all [X, Y] list__last(X, Y).
+:- promise all [X, Y] list__last(X, Y).
 
 :- implementation.
 :- import_module list.
Index: invalid/tricky_assert1.err_exp
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/tricky_assert1.err_exp,v
retrieving revision 1.1
diff -u -r1.1 tricky_assert1.err_exp
--- tricky_assert1.err_exp	1999/11/11 23:18:03	1.1
+++ tricky_assert1.err_exp	1999/11/12 01:05:23
@@ -1,4 +1,4 @@
 tricky_assert1.m:005: In interface for module `tricky_assert1':
-tricky_assert1.m:005:   error: exported assertion refers to predicate `tricky_assert1:local/0'
+tricky_assert1.m:005:   error: exported promise refers to predicate `tricky_assert1:local/0'
 tricky_assert1.m:005:   which is defined in the implementation of module `tricky_assert1'.
 For more information, try recompiling with `-E'.
Index: invalid/tricky_assert1.m
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/tricky_assert1.m,v
retrieving revision 1.1
diff -u -r1.1 tricky_assert1.m
--- tricky_assert1.m	1999/11/11 23:18:04	1.1
+++ tricky_assert1.m	1999/11/11 23:47:50
@@ -2,7 +2,7 @@
 	% only in the implementation
 :- module tricky_assert1.
 :- interface.
-:- assertion tricky_assert1__local.
+:- promise tricky_assert1__local.
 
 :- implementation.
 :- pred tricky_assert1__local is semidet.
Index: valid/tricky_assert2.m
===================================================================
RCS file: /home/staff/zs/imp/tests/valid/tricky_assert2.m,v
retrieving revision 1.1
diff -u -r1.1 tricky_assert2.m
--- tricky_assert2.m	1999/11/11 23:18:40	1.1
+++ tricky_assert2.m	1999/11/11 23:47:06
@@ -3,7 +3,7 @@
 :- interface.
 
 :- pred tricky_assert2__local is semidet.
-:- assertion tricky_assert2__local.
+:- promise tricky_assert2__local.
 
 :- implementation.
 :- external(tricky_assert2__local/0).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------