blob: 00e24b8ccae0b090b040bbbe30711b5c964e0cbb (
plain) (
blame)
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
|
% vim: nospell:
\section{Grammar}
\label{sec:grammar}
\setlength{\grammarparsep}{4pt}
\setlength{\grammarindent}{10em}
\begin{grammar}
<Fuspel> ::= <Statement-list>
<Statement-list> ::= <Rerwite> `;' <Rewrite-list>
\alt <Comment> <Statement-list>
\alt <empty>
<Comment> ::= `//' \dots `\textbackslash n'
<Rewrite> ::= <Name> <Arg-list> `=' <Rhs>
<Arg-list> ::= <Arg> ` ' <Arg-list> | <empty>
<Arg> ::= <Simple-expr>
<Simple-expr> ::= <Int>
\alt <Name>
\alt <Simple-list>
\alt <Simple-tuple>
<Simple-list> ::= `[' <Simple-expr> `:' <Simple-list> `]'
\alt `[]'
<Simple-tuple> ::= `(' <Simple-expr> `,' <Simple-expr> `)'
<Rhs> ::= <Expr>
<Expr> ::= <Int>
\alt <Name>
\alt <List>
\alt <Tuple>
\alt <Expr> <Expr>
\alt `code' <Name>
\alt `(' <Expr> `)'
<List> ::= `[' <Expr> `:' <List> `]'
\alt `[]'
<Tuple> ::= `(' <Expr> `,' <Expr> `)'
\end{grammar}
|
