diff options
| author | Kathy Gray | 2013-07-10 14:06:34 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-07-10 14:08:45 +0100 |
| commit | c1e4a7d49d13616f489bb3fad674017cb74a7392 (patch) | |
| tree | b6fd1321b31893bdd4247b1f45164ac09a99dccf /language | |
| parent | 1b566f383a9179002ea42085b971cfd41364f734 (diff) | |
Fixes to grammar omissions (i.e. naming_scheme_opt and type_def vs tdef), more token addition, and start of parsing
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/language/l2.ott b/language/l2.ott index 50c14c9c..18fb213b 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -468,10 +468,10 @@ ctor_def :: 'CT_' ::= %% | enumeration_flag_opt '|' ctor_def1 '|' ... '|' ctor_defn :: :: variant %% {{ com Variant types }} %% -%% naming_scheme_opt {{ tex \ottnt{name}^{?} }} :: 'Name_sect_' ::= -%% {{ com Optional variable-naming-scheme specification for variables of defined type }} -%% | :: :: none -%% | [ name = regexp ] :: :: some + naming_scheme_opt :: 'Name_sect_' ::= + {{ com Optional variable-naming-scheme specification for variables of defined type }} + | :: :: none + | [ name = regexp ] :: :: some %% %% type_def :: '' ::= %% {{ com Type definitions }} @@ -485,7 +485,7 @@ ctor_def :: 'CT_' ::= %%% OR, IN C STYLE -tdef :: 'TD_' ::= +type_def :: 'TD_' ::= {{ com Type definition body }} | typedef id naming_scheme_opt = typschm :: :: abbrev {{ com type abbreviation }} {{ texlong }} @@ -923,7 +923,7 @@ def :: 'DEF_' ::= defs :: '' ::= {{ com Definition sequence }} - {{ aux _ l }} +% {{ aux _ l }} | def1 .. defn :: :: Defs |