[m-dev.] for review: fix builtin operators table in reference manual
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Wed Nov 1 12:28:40 AEDT 2000
-----------------------------------------------------------------------------
Estimated hours taken: 1
doc/reference_manual.texi:
Change the table of builtin operators section so that it uses `@example'
for the table layout, rather than `@multitable', which texi2html does
not handle properly. This fixes a bug reported by Ralph Becket.
reference_manual.texi:
-----------------------------------------------------------------------------
Index: reference_manual.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/reference_manual.texi,v
retrieving revision 1.195
diff -u -t -r1.195 reference_manual.texi
--- reference_manual.texi 2000/10/30 15:50:40 1.195
+++ reference_manual.texi 2000/11/01 01:23:53
@@ -376,118 +376,99 @@
For example, ``yfx'' indicates a left-associative infix operator,
while ``xfy'' indicates a right-associative infix operator.
- at multitable @columnfractions .25 .2 .2 .2
+ at example
- at item Operator @tab Category @tab Specifier @tab Priority
+Operator Category Specifier Priority
- at item @code{^} @tab after @tab xfy @tab 99
- at item @code{^} @tab before @tab fx @tab 100
- at item @code{**} @tab after @tab xfy @tab 200
- at item @code{-} @tab before @tab fx @tab 200
- at item @code{\} @tab before @tab fx @tab 200
- at item @code{*} @tab after @tab yfx @tab 400
- at item @code{//} @tab after @tab yfx @tab 400
- at item @code{/} @tab after @tab yfx @tab 400
- at item @code{<<} @tab after @tab yfx @tab 400
- at item @code{>>} @tab after @tab yfx @tab 400
- at item @code{div} @tab after @tab yfx @tab 400
- at item @code{mod} @tab after @tab xfx @tab 400
- at item @code{rem} @tab after @tab xfx @tab 400
- at item @code{++} @tab after @tab xfy @tab 500
- at item @code{+} @tab after @tab yfx @tab 500
- at item @code{+} @tab before @tab fx @tab 500
- at item @code{--} @tab after @tab yfx @tab 500
- at item @code{-} @tab after @tab yfx @tab 500
- at item @code{/\} @tab after @tab yfx @tab 500
- at item @code{\/} @tab after @tab yfx @tab 500
- at item @code{aditi_bottom_up} @tab before @tab fx @tab 500
- at item @code{aditi_top_down} @tab before @tab fx @tab 500
- at item @code{.} @tab after @tab xfy @tab 600
- at item @code{:} @tab after @tab yfx @tab 600
- at item @code{:=} @tab after @tab xfx @tab 650
- at item @code{=^} @tab after @tab xfx @tab 650
- at item @code{<} @tab after @tab xfx @tab 700
- at item @code{=..} @tab after @tab xfx @tab 700
- at item @code{=:=} @tab after @tab xfx @tab 700
- at item @code{=<} @tab after @tab xfx @tab 700
- at item @code{==} @tab after @tab xfx @tab 700
- at item @code{=\=} @tab after @tab xfx @tab 700
- at item @code{=} @tab after @tab xfx @tab 700
- at item @code{>=} @tab after @tab xfx @tab 700
- at item @code{>} @tab after @tab xfx @tab 700
- at item @code{@@<} @tab after @tab xfx @tab 700
- at item @code{@@=<} @tab after @tab xfx @tab 700
- at item @code{@@>=} @tab after @tab xfx @tab 700
- at item @code{@@>} @tab after @tab xfx @tab 700
- at item @code{\==} @tab after @tab xfx @tab 700
- at item @code{\=} @tab after @tab xfx @tab 700
- at item @code{~=} @tab after @tab xfx @tab 700
- at item @code{is} @tab after @tab xfx @tab 701
- at item @code{and} @tab after @tab xfy @tab 720
- at item @code{or} @tab after @tab xfy @tab 740
- at item @code{func} @tab before @tab fx @tab 800
- at item @code{impure} @tab before @tab fy @tab 800
- at item @code{pred} @tab before @tab fx @tab 800
- at item @code{semipure} @tab before @tab fy @tab 800
- at item @code{\+} @tab before @tab fy @tab 900
- at item @code{not} @tab before @tab fy @tab 900
- at item @code{when} @tab after @tab xfx @tab 900
- at item @code{~} @tab before @tab fy @tab 900
- at item @code{<=>} @tab after @tab xfy @tab 920
- at item @code{<=} @tab after @tab xfy @tab 920
- at item @code{=>} @tab after @tab xfy @tab 920
- at item @code{all} @tab before @tab fxy @tab 950
- at item @code{lambda} @tab before @tab fxy @tab 950
- at item @code{some} @tab before @tab fxy @tab 950
- at item @code{,} @tab after @tab xfy @tab 1000
- at item @code{&} @tab after @tab xfy @tab 1025
- at item @code{->} @tab after @tab xfy @tab 1050
- at item @code{;} @tab after @tab xfy @tab 1100
- at item @code{then} @tab after @tab xfx @tab 1150
- at item @code{if} @tab before @tab fx @tab 1160
- at item @code{else} @tab after @tab xfy @tab 1170
- at item @code{::} @tab after @tab xfx @tab 1175
- at item @code{==>} @tab after @tab xfx @tab 1175
- at item @code{where} @tab after @tab xfx @tab 1175
- at item @code{--->} @tab after @tab xfy @tab 1179
- at item @code{type} @tab before @tab fx @tab 1180
- at item @code{end_module} @tab before @tab fx @tab 1199
- at c @item @code{export_adt} @tab before @tab fx @tab 1199
- at c @item @code{export_cons} @tab before @tab fx @tab 1199
- at c @item @code{export_module} @tab before @tab fx @tab 1199
- at c @item @code{export_op} @tab before @tab fx @tab 1199
- at c @item @code{export_pred} @tab before @tab fx @tab 1199
- at c @item @code{export_sym} @tab before @tab fx @tab 1199
- at c @item @code{export_type} @tab before @tab fx @tab 1199
- at c @item @code{import_adt} @tab before @tab fx @tab 1199
- at c @item @code{import_cons} @tab before @tab fx @tab 1199
- at item @code{import_module} @tab before @tab fx @tab 1199
- at c @item @code{import_op} @tab before @tab fx @tab 1199
- at c @item @code{import_pred} @tab before @tab fx @tab 1199
- at c @item @code{import_sym} @tab before @tab fx @tab 1199
- at c @item @code{import_type} @tab before @tab fx @tab 1199
- at item @code{include_module} @tab before @tab fx @tab 1199
- at item @code{instance} @tab before @tab fx @tab 1199
- at item @code{inst} @tab before @tab fx @tab 1199
- at item @code{mode} @tab before @tab fx @tab 1199
- at item @code{module} @tab before @tab fx @tab 1199
- at item @code{pragma} @tab before @tab fx @tab 1199
- at item @code{promise} @tab before @tab fx @tab 1199
- at item @code{rule} @tab before @tab fx @tab 1199
- at item @code{typeclass} @tab before @tab fx @tab 1199
- at c @item @code{use_adt} @tab before @tab fx @tab 1199
- at c @item @code{use_cons} @tab before @tab fx @tab 1199
- at item @code{use_module} @tab before @tab fx @tab 1199
- at c @item @code{use_op} @tab before @tab fx @tab 1199
- at c @item @code{use_pred} @tab before @tab fx @tab 1199
- at c @item @code{use_sym} @tab before @tab fx @tab 1199
- at c @item @code{use_type} @tab before @tab fx @tab 1199
- at item @code{-->} @tab after @tab xfx @tab 1200
- at item @code{:-} @tab after @tab xfx @tab 1200
- at item @code{:-} @tab before @tab fx @tab 1200
- at item @code{?-} @tab before @tab fx @tab 1200
+^ 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
- at end multitable
+ at end example
@node Items
@section Items
-----------------------------------------------------------------------------
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list