[m-rev.] State variable syntax transformation

Ralph Becket rafe at cs.mu.OZ.AU
Mon Feb 11 17:02:25 AEDT 2002


Simon Taylor, Monday, 11 February 2002:
> 
> I think this belongs in the "Changes to the Mercury standard library"
> section. `!' should have been defined in prolog.m.

Done.
> 
> You should also remove the commented out declarations for `!' in prolog.m.

Done:

Index: library/prolog.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/prolog.m,v
retrieving revision 1.10
diff -u -r1.10 prolog.m
--- library/prolog.m	25 May 1998 21:47:42 -0000	1.10
+++ library/prolog.m	11 Feb 2002 06:01:40 -0000
@@ -16,20 +16,6 @@
 :- interface.
 :- import_module std_util, list.
 
-% We define !/0 (and !/2 for dcgs) to be equivalent to `true'.  This is for
-% backwards compatibility with Prolog systems.  But of course it only works
-% if all your cuts are green cuts.
-
-/********
-cut is currently defined in builtin.m, for historical reasons.
-
-:- pred ! is det.
-
-:- pred !(T, T).
-:- mode !(di, uo) is det.
-:- mode !(in, out) is det.
-********/
-
 % Prolog arithmetic operators.
 
 :- pred T =:= T.			% In Mercury, just use =
@@ -95,12 +81,6 @@
 
 :- implementation.
 :- import_module require, int.
-
-/*********
-% !/0 and !/2 currently defined in builtin.m, for historical reasons.
-!.
-!(X, X).
-*********/
 
 % we use module qualifiers here to avoid
 % overriding the builtin Prolog versions
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list