diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 2 | ||||
| -rw-r--r-- | language/l2_parse.ott | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott index fdd1dadf..11a57856 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -471,6 +471,8 @@ lit :: 'L_' ::= | hex :: :: hex {{ com bit vector constant, C-style }} {{ com hex and bin are constant bit vectors, C-style }} | bin :: :: bin {{ com bit vector constant, C-style }} +% Should undefined be of type bit[alpha] or alpha[beta] or just alpha? + | undefined :: :: undef {{ com constant representing undefined values }} | string :: :: string {{ com string constant }} semi_opt {{ tex \ottnt{;}^{?} }} :: 'semi_' ::= {{ phantom }} diff --git a/language/l2_parse.ott b/language/l2_parse.ott index e06752a0..ab8d5d80 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -337,6 +337,7 @@ lit :: 'L_' ::= | hex :: :: hex {{ com bit vector constant, C-style }} {{ com hex and bin are constant bit vectors, C-style }} | bin :: :: bin {{ com bit vector constant, C-style }} + | undefined :: :: undef {{ com undefined value }} | string :: :: string {{ com string constant }} semi_opt {{ tex \ottnt{;}^{?} }} :: 'semi_' ::= {{ phantom }} |