From 2def55466c941aa8d4b933ecd93a7d3eb739fce8 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 8 Nov 2017 15:06:13 +0000
Subject: 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.
---
 src/parse_ast.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index cfd749ba..fba0b1ec 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -423,7 +423,7 @@ type_def_aux =  (* Type definition body *)
 
 type 
 val_spec_aux =  (* Value type specification *)
-   VS_val_spec of typschm * id * string option * bool
+   VS_val_spec of typschm * id * (string -> string) option * bool
 
 
 type 
-- 
cgit v1.2.3