From fbcc27ca1bd3801beac0338e657b933d6a9c8f95 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 27 Dec 2018 12:19:44 +0000
Subject: refactor val-spec AST to store externs as an assoc-list rather than a
 function (preparing for marshalling)

---
 language/sail.ott | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'language')

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 }}
-- 
cgit v1.2.3