Allow functions to be selectively declared external only for some backends

For example,

val test = { ocaml: "test_ocaml" } : unit -> unit

will only be external for OCaml. For other backends, it will have to be
defined.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index 710c9dac..c53d30b4 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -410,9 +410,9 @@ let doc_default (DT_aux(df,_)) = match df with
 let doc_spec (VS_aux(v,_)) = match v with
   | VS_val_spec(ts,id,ext_opt,is_cast) ->
      let cast_pp = if is_cast then [string "cast"] else [] in
-     let extern_kwd_pp, id_pp = match ext_opt with
-       (* This sail syntax only supports a single extern name, so just use the ocaml version *)
-       | Some ext -> [string "extern"], doc_op equals (doc_id id) (dquotes (string (ext "ocaml")))
+     (* This sail syntax only supports a single extern name, so just use the ocaml version *)
+     let extern_kwd_pp, id_pp = match ext_opt "ocaml" with
+       | Some ext -> [string "extern"], doc_op equals (doc_id id) (dquotes (string (ext)))
        | None -> [], doc_id id
      in
      separate space ([string "val"] @ cast_pp @ extern_kwd_pp @ [doc_typscm ts] @ [id_pp])