qualid.bnf 676 Bytes
Newer Older
1
\begin{syntax}
2 3 4
  lqualid ::= (uident ".")* lident
  \
  uqualid ::= (uident ".")* uident
5
  \
6
  qualid ::= (uident ".")* (lident-ext | uident)
7
  \
8
  lident-ext ::= lident | "(" lident-op ")"
9
  \
10 11 12 13 14
  lident-op ::= op-char-1234+     ;   infix or bang operator
              | op-char-1234+ "_" ;   prefix (non-bang) operator
              | "[]"              ;   collection access
              | "[<-]"            ;   collection update
              | "[]<-"            ;   in-place collection update
15
              | "[..]"            ;   collection slice
16 17
              | "[_..]"           ;   right-open slice
              | "[.._]"           ;   left-open slice %
18
\end{syntax}