diff options
| author | Jon French | 2018-12-27 12:19:44 +0000 |
|---|---|---|
| committer | Jon French | 2018-12-27 12:19:44 +0000 |
| commit | fbcc27ca1bd3801beac0338e657b933d6a9c8f95 (patch) | |
| tree | 36c9a6e0978d4b3e101273c254b6b67702c58159 /language | |
| parent | 13169ab85604d926e5dae44202622ec445697793 (diff) | |
refactor val-spec AST to store externs as an assoc-list rather than a function (preparing for marshalling)
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 59d51d68..5c8b6a01 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -943,8 +943,8 @@ val_spec {{ ocaml 'a val_spec }} {{ lem val_spec 'a }} :: 'VS_' ::= val_spec_aux :: 'VS_' ::= {{ com value type specification }} - {{ ocaml VS_val_spec of typschm * id * (string -> string option) * bool }} - {{ lem VS_val_spec of typschm * id * (string -> maybe string) * bool }} + {{ ocaml VS_val_spec of typschm * id * (string * string) list * bool }} + {{ lem VS_val_spec of typschm * id * list (string * string) * bool }} | val typschm id :: S :: val_spec {{ com specify the type of an upcoming definition }} {{ ocaml (VS_val_spec [[typschm]] [[id]] None false) }} {{ lem }} |