Allow for different extern names for different backends

For example:

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

val main : unit -> unit

function main () = {
  test ();
}

for a backend not explicitly provided, the extern name would be simply
"test" in this case, i.e. the string version of the id.

Also fixed some bugs in the ocaml backend.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index b9ef1aec..0bb73aa5 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -739,7 +739,7 @@ let doc_exp_lem, doc_let_lem =
           | _ ->
              let call = match annot with
                | Some (env, _, _) when Env.is_extern f env ->
-                 string (Env.get_extern f env)
+                 string (Env.get_extern f env "lem")
                | _ -> doc_id_lem f in
              let argspp = match args with
                | [arg] -> expV true arg