diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/language/sail.ott b/language/sail.ott index 2875c951..4ce08415 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -1,4 +1,4 @@ -%% +% %% Grammar for user language. Generates ./src/ast.ml %% @@ -169,19 +169,13 @@ kid :: '' ::= grammar -base_kind :: 'BK_' ::= +kind :: 'K_' ::= {{ com base kind}} {{ aux _ l }} | Type :: :: type {{ com kind of types }} | Int :: :: int {{ com kind of natural number size expressions }} | Order :: :: order {{ com kind of vector order specifications }} -kind :: 'K_' ::= - {{ com kinds}} - {{ aux _ l }} - | base_kind1 -> ... -> base_kindn :: :: kind -% we'll never use ...-> Nat , .. Order , .. or Effects - nexp :: 'Nexp_' ::= {{ com numeric expression, of kind Int }} {{ aux _ l }} |