Print externals in the same way as OCaml.

Andromedans · Feb 2, 2017 · 8e755ec · 8e755ec
1 parent 406db4d
commit 8e755ec
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/src/runtime/eval.ml b/src/runtime/eval.ml
@@ -673,8 +673,10 @@ let rec toplevel ~quiet ~print_annot {Location.thing=c;loc} =
          | Some v ->
             Runtime.add_topbound v >>= (fun () ->
              if not quiet then
-               Format.printf "@[<hov 2>val %t :@ %t@]@.@."
-                             (Name.print_ident x) (print_annot () sch) ;
+               Format.printf "@[<hov 2>external %t :@ %t = \"%s\"@]@.@."
+                             (Name.print_ident x)
+                             (print_annot () sch)
+                             s ;
              return ())
        end
 

diff --git a/tests/everything.m31.ref b/tests/everything.m31.ref
@@ -57,7 +57,7 @@ val g : ∀ β, β → mlstring * β
 ("f", ("g",
 "foo"))
 
-val everything_print : ∀ α, α → mlunit
+external everything_print : ∀ α, α → mlunit = "print"
 
 ((),
 ())

diff --git a/tests/json.m31.ref b/tests/json.m31.ref
@@ -1,6 +1,6 @@
-val printj : ∀ α, α → mlunit
+external printj : ∀ α, α → mlunit = "print_json"
 
-val config : mlstring → mlunit
+external config : mlstring → mlunit = "config"
 
 ()