diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/language/sail.ott b/language/sail.ott index ded3938b..ce05797f 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -413,23 +413,13 @@ type_def_aux :: 'TD_' ::= {{ com type abbreviation }} {{ texlong }} | typedef id name_scm_opt = const struct typquant { typ1 id1 ; ... ; typn idn semi_opt } :: :: record {{ com struct type definition }} {{ texlong }} -% for specifying constructor result types of nat-indexed GADTs, we can -% let the typi be function types (as constructors are not allowed to -% take parameters of function types) -% concrete syntax: to be even closer to C, could have a postfix id rather than prefix id = | typedef id name_scm_opt = const union typquant { type_union1 ; ... ; type_unionn semi_opt } :: :: variant {{ com tagged union type definition}} {{ texlong }} - | typedef id name_scm_opt = enumerate { id1 ; ... ; idn semi_opt } :: :: enum {{ com enumeration type definition}} {{ texlong }} - | bitfield id : typ = { id1 : index_range1 , ... , idn : index_rangen } :: :: bitfield {{ com register mutable bitfield type definition }} {{ texlong }} -% | typedef id = register bits [ nexp : nexp' ] { index_range1 : id1 ; ... ; index_rangen : idn } -% :: :: register {{ com register mutable bitfield type definition }} {{ texlong }} - - % the D(eprecated) forms here should be removed; they add complexity for no purpose. The nexp abbreviation form should have better syntax. % ; many are shorthands for type\_defs kind_def :: 'KD_' ::= |