-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathprod-cweave.ch
64 lines (53 loc) · 1.45 KB
/
prod-cweave.ch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
Section 111.
@x
\+& |exp| \altt|lbrace| |int_like| |decl|
@y
\+\dagit& |exp| \altt|lbrace| |int_like| |decl|
@z
@x
\+& |decl_head| \altt|int_like| |lbrace| |decl| & |fn_decl|
@y
\+\dagit& |decl_head| \altt|int_like| |lbrace| |decl| & |fn_decl|
@z
@x
\+& |decl| \alt|stmt| |function| & \alt|stmt| |function|
@y
\+\dagit& |decl| \alt|stmt| |function| & \alt|stmt| |function|
@z
@x
\+& |fn_decl| |stmt| & |function| \hfill $F\,|out|\,|out|\,|force|\,S$
@y
\+\dagit& |fn_decl| |stmt| & |function| \hfill $F\,|out|\,|out|\,|force|\,S$
@z
@x
\+& |catch_like| \alt|cast| |exp| & |fn_decl| \hfill
@y
\+\dagit& |catch_like| \alt|cast| |exp| & |fn_decl| \hfill
@z
@x
\parindent=0pt
@y
\parindent=0pt
\everypar={\hangindent=2em}
@z
@x
Rules 35, 117: The |exp| must not be immediately followed by |lpar|, |lbrack|,
@y
Rules 1, 38, 52, and 73: The \\{din}s and \\{out}s are suppressed if
\.{CWEAVE} has been invoked with the \.{-i} option.
Rules 35, 117: The |exp| must not be immediately followed by |lpar|, |lbrack|,
@z
@x
Rule 48: The |exp| or |int_like| must not be immediately followed by |base|.
@y
Rule 41: The |big_force| becomes |force| if \.{CWEAVE} has been invoked with the
\.{-o} option.
Rule 48: The |exp| or |int_like| must not be immediately followed by |base|.
@z
@x
been invoked with the \.{-f} option.
@y
been invoked with the \.{-f} option, and the |big_force| in the |decl| and
|function| lines becomes |force| if \.{CWEAVE} has been invoked with the
\.{-o} option.
@z