[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