[m-dev.] for review: Aditi

Simon Taylor stayl at cs.mu.OZ.AU
Fri Dec 4 10:33:10 AEDT 1998


> Could you please put the descriptions on a separate line from the
> file names?  Just so that we have a consistent format for log messages.

Done.

One other thing that was missing from the log message was:

compiler/make_hlds.m:
	Predicates with a mode declaration but no type declaration
	are no longer assumed to be local.

This is tested by tests/invalid/any_mode.m - the following diff
is required to the expected output:

Index: any_mode.err_exp
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/any_mode.err_exp,v
retrieving revision 1.2
diff -u -t -u -r1.2 any_mode.err_exp
--- any_mode.err_exp    1998/02/02 06:11:29     1.2
+++ any_mode.err_exp    1998/12/03 22:59:35
@@ -1,3 +1,7 @@
+any_mode.m:005: Error: no determinism declaration for exported
+any_mode.m:005:   predicate `any_mode:p/1'.
+any_mode.m:008: Error: no determinism declaration for exported
+any_mode.m:008:   predicate `any_mode:q/1'.
 any_mode.m:006: Warning: clause in module interface.
 any_mode.m:009: Warning: clause in module interface.
 any_mode.m:005: Inferred :- pred p(int).

Simon.



More information about the developers mailing list