diff options
| author | Alasdair Armstrong | 2018-04-18 14:14:24 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-25 20:23:35 +0100 |
| commit | 7511b5f693d350fa0d675f0c527d0d633a0ba560 (patch) | |
| tree | 145579de13f4c8e44247eb3382e101d256ab44fc /language | |
| parent | abfbc9bed6b533d2b4d95ef14ebc0063efae5d11 (diff) | |
Start working on documentation
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_' ::= |