diff options
| author | Alasdair | 2018-12-12 01:45:20 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-12 01:45:20 +0000 |
| commit | cdf287dfb69275e479d79ebc0d305e365dd3ee7b (patch) | |
| tree | 636d211d4942db38cef1c0e09ac77683d28d1030 /language | |
| parent | c65aecd008d34102f4c95649113ed7f9afcc903b (diff) | |
Remove KOpt_none constructor
We should infer type variable kinds better in initial_check.ml, but we really don't want to have to deal
with that everywhere, especially when we can no longer easily cheat and assume KOpt_none implies K_int.
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/sail.ott b/language/sail.ott index 585a2939..75527cc9 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -264,8 +264,8 @@ n_constraint :: 'NC_' ::= kinded_id :: 'KOpt_' ::= {{ com optionally kind-annotated identifier }} {{ aux _ l }} - | kid :: :: none {{ com identifier }} - | kind kid :: :: kind {{ com kind-annotated variable }} + | kind kid :: :: kind {{ com kind-annotated variable }} + | kid :: S :: none {{ ichlo [[kinded_id]] }} quant_item :: 'QI_' ::= {{ com kinded identifier or Int constraint }} |