[m-rev.] diff: improve operator table in reference manual

Simon Taylor stayl at cs.mu.OZ.AU
Sun Nov 4 05:49:05 AEDT 2001



Estimated hours taken: 0.1

doc/reference_manual.texi:
	Remove the "Category" (`before' or `after') column from
	the table of operators. "Category" is an implementation
	detail used in library ops.m to speed up searches
	of the operator table. The "Category" column is completely
	determined by the "Specifier" column -- prefix operators are
	`before', infix and postfix operators are `after'.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.220
diff -u -u -r1.220 reference_manual.texi
--- reference_manual.texi	24 Oct 2001 13:34:41 -0000	1.220
+++ reference_manual.texi	3 Nov 2001 17:43:36 -0000
@@ -410,95 +410,95 @@
 
 @example
 
-Operator          Category  Specifier Priority
+Operator          Specifier Priority
 
-^                 after     xfy       99
-^                 before    fx        100
-**                after     xfy       200
--                 before    fx        200
-\                 before    fx        200
-*                 after     yfx       400
-//                after     yfx       400
-/                 after     yfx       400
-<<                after     yfx       400
->>                after     yfx       400
-div               after     yfx       400
-mod               after     xfx       400
-rem               after     xfx       400
-++                after     xfy       500
-+                 after     yfx       500
-+                 before    fx        500
---                after     yfx       500
--                 after     yfx       500
-/\                after     yfx       500
-\/                after     yfx       500
-aditi_bottom_up   before    fx        500
-aditi_top_down    before    fx        500
-.                 after     xfy       600
-:                 after     yfx       600
-:=                after     xfx       650
-=^                after     xfx       650
-<                 after     xfx       700
-=..               after     xfx       700
-=:=               after     xfx       700
-=<                after     xfx       700
-==                after     xfx       700
-=\=               after     xfx       700
-=                 after     xfx       700
->=                after     xfx       700
->                 after     xfx       700
-@@<                after     xfx       700
-@@=<               after     xfx       700
-@@>=               after     xfx       700
-@@>                after     xfx       700
-\==               after     xfx       700
-\=                after     xfx       700
-~=                after     xfx       700
-is                after     xfx       701
-and               after     xfy       720
-or                after     xfy       740
-func              before    fx        800
-impure            before    fy        800
-pred              before    fx        800
-semipure          before    fy        800
-\+                before    fy        900
-not               before    fy        900
-when              after     xfx       900
-~                 before    fy        900
-<=>               after     xfy       920
-<=                after     xfy       920
-=>                after     xfy       920
-all               before    fxy       950
-lambda            before    fxy       950
-some              before    fxy       950
-,                 after     xfy       1000
-&                 after     xfy       1025
-->                after     xfy       1050
-;                 after     xfy       1100
-then              after     xfx       1150
-if                before    fx        1160
-else              after     xfy       1170
-::                after     xfx       1175
-==>               after     xfx       1175
-where             after     xfx       1175
---->              after     xfy       1179
-type              before    fx        1180
-end_module        before    fx        1199
-import_module     before    fx        1199
-include_module    before    fx        1199
-instance          before    fx        1199
-inst              before    fx        1199
-mode              before    fx        1199
-module            before    fx        1199
-pragma            before    fx        1199
-promise           before    fx        1199
-rule              before    fx        1199
-typeclass         before    fx        1199
-use_module        before    fx        1199
--->               after     xfx       1200
-:-                after     xfx       1200
-:-                before    fx        1200
-?-                before    fx        1200
+^                 xfy       99
+^                 fx        100
+**                xfy       200
+-                 fx        200
+\                 fx        200
+*                 yfx       400
+//                yfx       400
+/                 yfx       400
+<<                yfx       400
+>>                yfx       400
+div               yfx       400
+mod               xfx       400
+rem               xfx       400
+++                xfy       500
++                 yfx       500
++                 fx        500
+--                yfx       500
+-                 yfx       500
+/\                yfx       500
+\/                yfx       500
+aditi_bottom_up   fx        500
+aditi_top_down    fx        500
+.                 xfy       600
+:                 yfx       600
+:=                xfx       650
+=^                xfx       650
+<                 xfx       700
+=..               xfx       700
+=:=               xfx       700
+=<                xfx       700
+==                xfx       700
+=\=               xfx       700
+=                 xfx       700
+>=                xfx       700
+>                 xfx       700
+@@<                xfx       700
+@@=<               xfx       700
+@@>=               xfx       700
+@@>                xfx       700
+\==               xfx       700
+\=                xfx       700
+~=                xfx       700
+is                xfx       701
+and               xfy       720
+or                xfy       740
+func              fx        800
+impure            fy        800
+pred              fx        800
+semipure          fy        800
+\+                fy        900
+not               fy        900
+when              xfx       900
+~                 fy        900
+<=>               xfy       920
+<=                xfy       920
+=>                xfy       920
+all               fxy       950
+lambda            fxy       950
+some              fxy       950
+,                 xfy       1000
+&                 xfy       1025
+->                xfy       1050
+;                 xfy       1100
+then              xfx       1150
+if                fx        1160
+else              xfy       1170
+::                xfx       1175
+==>               xfx       1175
+where             xfx       1175
+--->              xfy       1179
+type              fx        1180
+end_module        fx        1199
+import_module     fx        1199
+include_module    fx        1199
+instance          fx        1199
+inst              fx        1199
+mode              fx        1199
+module            fx        1199
+pragma            fx        1199
+promise           fx        1199
+rule              fx        1199
+typeclass         fx        1199
+use_module        fx        1199
+-->               xfx       1200
+:-                xfx       1200
+:-                fx        1200
+?-                fx        1200
 
 @end example
 
--------------------------------------------------------------------------
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