Merge pull request #138 from ocaml-wasm/unimplemented-primitives

Runtime: remove some unimplemented primitives

Author: vouillon

runtime/wasm/dynlink.wat

@@ -16,27 +16,4 @@
 ;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 
 (module
-   (import "jslib" "log_str" (func $log_str (param (ref $string))))
-
-   (type $string (array (mut i8)))
-
-   (data $caml_dynlink_close_lib "caml_dynlink_close_lib")
-
-   (func (export "caml_dynlink_close_lib")
-      (param (ref eq)) (result (ref eq))
-      ;; ZZZ
-      (call $log_str
-         (array.new_data $string $caml_dynlink_close_lib
-            (i32.const 0) (i32.const 22)))
-      (ref.i31 (i32.const 0)))
-
-   (data $caml_dynlink_lookup_symbol "caml_dynlink_lookup_symbol")
-
-   (func (export "caml_dynlink_lookup_symbol")
-      (param (ref eq)) (param (ref eq)) (result (ref eq))
-      ;; ZZZ
-      (call $log_str
-         (array.new_data $string $caml_dynlink_lookup_symbol
-            (i32.const 0) (i32.const 26)))
-      (ref.i31 (i32.const 0)))
 )

runtime/wasm/fs.wat

@@ -25,6 +25,8 @@
       (func $readdir (param anyref) (result (ref extern))))
    (import "bindings" "file_exists"
       (func $file_exists (param anyref) (result (ref eq))))
+   (import "bindings" "is_directory"
+      (func $is_directory (param anyref) (result (ref eq))))
    (import "bindings" "rename" (func $rename (param anyref) (param anyref)))
    (import "jslib" "wrap" (func $wrap (param anyref) (result (ref eq))))
    (import "jslib" "unwrap" (func $unwrap (param (ref eq)) (result anyref)))
@@ -129,10 +131,6 @@
 
    (func (export "caml_read_file_content")
       (param (ref eq)) (result (ref eq))
-      ;; ZZZ
-      (call $log_str
-         (array.new_data $string $caml_read_file_content
-            (i32.const 0) (i32.const 22)))
       (call $caml_raise_no_such_file (local.get 0))
       (ref.i31 (i32.const 0)))
 
@@ -141,10 +139,15 @@
 
    (data $caml_sys_is_directory "caml_sys_is_directory")
 
-   (func (export "caml_sys_is_directory") (param (ref eq)) (result (ref eq))
-      ;; ZZZ
-      (call $log_str
-         (array.new_data $string $caml_sys_is_directory
-            (i32.const 0) (i32.const 21)))
-      (ref.i31 (i32.const 0)))
+   (func (export "caml_sys_is_directory")
+      (param $name (ref eq)) (result (ref eq))
+      (try
+         (do
+            (return
+               (call $is_directory
+                  (call $unwrap
+                     (call $caml_jsstring_of_string (local.get $name))))))
+         (catch $javascript_exception
+            (call $caml_handle_sys_error (pop externref))
+            (return (ref.i31 (i32.const 0))))))
 )

runtime/wasm/int64.wat

@@ -16,7 +16,6 @@
 ;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 
 (module
-   (import "jslib" "log_str" (func $log_str (param (ref $string))))
    (import "ints" "parse_sign_and_base"
       (func $parse_sign_and_base
          (param (ref $string)) (result i32 i32 i32 i32)))
@@ -212,14 +211,6 @@
 
    (data $caml_int64_create_lo_mi_hi "caml_int64_create_lo_mi_hi")
 
-   (func (export "caml_int64_create_lo_mi_hi")
-      (param (ref eq) (ref eq) (ref eq)) (result (ref eq))
-      ;; ZZZ does not really make sense
-      (call $log_str
-         (array.new_data $string $caml_int64_create_lo_mi_hi
-            (i32.const 0) (i32.const 26)))
-      (ref.i31 (i32.const 0)))
-
    (func $format_int64_default (param $d i64) (result (ref eq))
       (local $s (ref $string))
       (local $negative i32) (local $i i32) (local $n i64)

runtime/wasm/io.wat

@@ -16,7 +16,6 @@
 ;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 
 (module
-   (import "jslib" "log_str" (func $log_str (param (ref $string))))
    (import "fail" "caml_raise_end_of_file" (func $caml_raise_end_of_file))
    (import "jslib" "wrap" (func $wrap (param anyref) (result (ref eq))))
    (import "jslib" "unwrap" (func $unwrap (param (ref eq)) (result anyref)))
@@ -828,16 +827,6 @@
                (then (call $caml_flush (local.get $ch))))))
       (ref.i31 (i32.const 0)))
 
-   (data $caml_ml_set_channel_refill "caml_ml_set_channel_refill")
-
-   (func (export "caml_ml_set_channel_refill")
-      (param (ref eq) (ref eq)) (result (ref eq))
-      ;; ZZZ
-      (call $log_str
-         (array.new_data $string $caml_ml_set_channel_refill
-            (i32.const 0) (i32.const 26)))
-      (ref.i31 (i32.const 0)))
-
    (func (export "caml_ml_channel_size") (param (ref eq)) (result (ref eq))
       ;; ZZZ check for overflow
       (ref.i31