[m-rev.] for review: remove operator table from transition guide
Simon Taylor
stayl at cs.mu.OZ.AU
Sat Nov 3 21:24:40 AEDT 2001
Estimated hours taken: 0.1
doc/transition_guide.texi:
Remove the copy of the operator table -- there's no
point having a copy here when there is also a copy
in the reference manual. The transition guide copy
was missing some operators (`rem' and `use_module').
Index: transition_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/transition_guide.texi,v
retrieving revision 1.38
diff -u -u -r1.38 transition_guide.texi
--- transition_guide.texi 6 Oct 2001 03:32:35 -0000 1.38
+++ transition_guide.texi 2 Nov 2001 09:30:56 -0000
@@ -107,84 +107,6 @@
by and large if a program is accepted by a Prolog system,
it will be accepted by Mercury.
There are however a few extra operators defined by the Mercury term parser.
-Here's a complete list of the operators in Mercury.
-
- at example
-OPERATOR ASSOCIATIVITY PRECEDENCE
-* yfx 400
-** xfy 300
-+ yfx 500
-++ xfy 500
-+ fx 500
-, xfy 1000
-- yfx 500
--- yfx 500
-- fx 500
----> xfy 1179
---> xfx 1200
--> xfy 1050
-. xfy 600
-/ yfx 400
-// yfx 400
-/\ yfx 500
-:- xfx 1200
-:- fx 1200
-:: xfx 1175
-:= xfx 650
-; xfy 1100
-< xfx 700
-<< yfx 400
-<= xfy 920
-<=> xfy 920
-= xfx 700
-=< xfx 700
-== xfx 700
-==> xfx 1175
-=> xfy 920
-=^ xfx 650
-> xfx 700
->= xfx 700
->> yfx 400
-\ fx 500
-\+ fy 900
-\/ yfx 500
-\= xfx 700
-^ xfy 99
-^ fx 100
-~ fy 900
-aditi_bottom_up fx 500
-aditi_top_down fx 500
-all fxy 950
-and xfy 720
-div yfx 400
-else xfy 1170
-end_module fx 1199
-func fx 800
-if fx 1160
-import_module fx 1199
-include_module fx 1199
-impure fy 800
-inst fx 1199
-instance fx 1199
-is xfx 701
-lambda fxy 950
-mod xfx 300
-mode fx 1199
-module fx 1199
-not fy 900
-or xfy 740
-pragma fx 1199
-pred fx 800
-promise fx 1199
-rule fx 1199
-semipure fy 800
-some fxy 950
-then xfx 1150
-type fx 1180
-typeclass fx 1199
-when xfx 900
-where xfx 1175
- at end example
In addition, Mercury implements both existential and universal quantification
using the syntax
--------------------------------------------------------------------------
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