[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