diff options
| author | Gabriel Kerneis | 2013-08-19 17:34:47 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-08-19 17:34:47 +0100 |
| commit | 937f6f8d9de1c8bcb8a60320e206d3e7bc973e19 (patch) | |
| tree | dc307870c1ba158d62e67bfd3c2cefd437685516 /language/l2_parse.ott | |
| parent | 797cefdfd99d9b5ee4a1f619610b5bb52692f443 (diff) | |
language.ott: update syntax of index ranges
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 20b6ef2b..4cdb0a53 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -320,7 +320,7 @@ typ_lib :: 'Typ_lib_' ::= % finite subranges of nat | enum nexp1 nexp2 order :: :: enum {{ com natural numbers [[atyp2]] .. [[atyp2]]+[[atyp1]]-1, ordered by order }} | [ nexp ] :: :: enum1 {{ com sugar for \texttt{enum nexp 0 inc} }} - | [ nexp '..' nexp' ] :: :: enum2 {{ com sugar for \texttt{enum (nexp'-nexp+1) nexp inc} or \texttt{enum (nexp-nexp'+1) nexp' dec} }} + | [ nexp : nexp' ] :: :: enum2 {{ com sugar for \texttt{enum (nexp'-nexp+1) nexp inc} or \texttt{enum (nexp-nexp'+1) nexp' dec} }} % use .. not - to avoid ambiguity with nexp - % total maps and vectors indexed by finite subranges of nat | vector nexp1 nexp2 order atyp :: :: vector {{ com vector of [[atyp]], indexed by natural range }} @@ -458,7 +458,7 @@ type_def :: 'TD_' ::= index_range :: 'BF_' ::= {{ com index specification, for bitfields in register types}} {{ aux _ l }} | num :: :: 'single' {{ com single index }} - | num1 '..' num2 :: :: range {{ com index range }} + | num1 : num2 :: :: range {{ com index range }} | index_range1 , index_range2 :: :: concat {{ com concatenation of index ranges }} % |