diff --git a/merlin-js.opam b/merlin-js.opam index 643a84f4..494dc715 100644 --- a/merlin-js.opam +++ b/merlin-js.opam @@ -10,7 +10,7 @@ build: [ ["dune" "build" "-p" name "-j" jobs] ] depends: [ - "ocaml" {>= "5.0"} + "ocaml" {>= "5.2" & < "5.3"} "dune" {>= "3.0"} "merlin-lib" "yojson" {>= "1.6.0"} diff --git a/src/worker/static/stdlib/camlinternalFormat.cmi b/src/worker/static/stdlib/camlinternalFormat.cmi index 93e0ea07..c8e173c1 100644 Binary files a/src/worker/static/stdlib/camlinternalFormat.cmi and b/src/worker/static/stdlib/camlinternalFormat.cmi differ diff --git a/src/worker/static/stdlib/camlinternalFormatBasics.cmi b/src/worker/static/stdlib/camlinternalFormatBasics.cmi index 6c247957..eaf7b511 100644 Binary files a/src/worker/static/stdlib/camlinternalFormatBasics.cmi and b/src/worker/static/stdlib/camlinternalFormatBasics.cmi differ diff --git a/src/worker/static/stdlib/camlinternalLazy.cmi b/src/worker/static/stdlib/camlinternalLazy.cmi index bdb312fd..057deebc 100644 Binary files a/src/worker/static/stdlib/camlinternalLazy.cmi and b/src/worker/static/stdlib/camlinternalLazy.cmi differ diff --git a/src/worker/static/stdlib/camlinternalMod.cmi b/src/worker/static/stdlib/camlinternalMod.cmi index d30e05ee..6913c5ad 100644 Binary files a/src/worker/static/stdlib/camlinternalMod.cmi and b/src/worker/static/stdlib/camlinternalMod.cmi differ diff --git a/src/worker/static/stdlib/camlinternalOO.cmi b/src/worker/static/stdlib/camlinternalOO.cmi index 40fc7659..4c6b0c76 100644 Binary files a/src/worker/static/stdlib/camlinternalOO.cmi and b/src/worker/static/stdlib/camlinternalOO.cmi differ diff --git a/src/worker/static/stdlib/dynlink.cmi b/src/worker/static/stdlib/dynlink.cmi index e983c6b4..c5594b11 100644 Binary files a/src/worker/static/stdlib/dynlink.cmi and b/src/worker/static/stdlib/dynlink.cmi differ diff --git a/src/worker/static/stdlib/event.cmi b/src/worker/static/stdlib/event.cmi index 75a411b1..ec53b36e 100644 Binary files a/src/worker/static/stdlib/event.cmi and b/src/worker/static/stdlib/event.cmi differ diff --git a/src/worker/static/stdlib/nat.cmi b/src/worker/static/stdlib/nat.cmi deleted file mode 100644 index c4a9f786..00000000 Binary files a/src/worker/static/stdlib/nat.cmi and /dev/null differ diff --git a/src/worker/static/stdlib/num.cmi b/src/worker/static/stdlib/num.cmi deleted file mode 100644 index 0e3b06d8..00000000 Binary files a/src/worker/static/stdlib/num.cmi and /dev/null differ diff --git a/src/worker/static/stdlib/profiling.cmi b/src/worker/static/stdlib/profiling.cmi index 0ccddcc7..59b01fcf 100644 Binary files a/src/worker/static/stdlib/profiling.cmi and b/src/worker/static/stdlib/profiling.cmi differ diff --git a/src/worker/static/stdlib/runtime_events.cmi b/src/worker/static/stdlib/runtime_events.cmi index 86877dbe..e379bd8a 100644 Binary files a/src/worker/static/stdlib/runtime_events.cmi and b/src/worker/static/stdlib/runtime_events.cmi differ diff --git a/src/worker/static/stdlib/std_exit.cmi b/src/worker/static/stdlib/std_exit.cmi index 5f436523..07ce1015 100644 Binary files a/src/worker/static/stdlib/std_exit.cmi and b/src/worker/static/stdlib/std_exit.cmi differ diff --git a/src/worker/static/stdlib/stdlib.cmi b/src/worker/static/stdlib/stdlib.cmi index 9ae53fc2..25c61598 100644 Binary files a/src/worker/static/stdlib/stdlib.cmi and b/src/worker/static/stdlib/stdlib.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Arg.cmi b/src/worker/static/stdlib/stdlib__Arg.cmi index e94526bf..ceeb1d5c 100644 Binary files a/src/worker/static/stdlib/stdlib__Arg.cmi and b/src/worker/static/stdlib/stdlib__Arg.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Array.cmi b/src/worker/static/stdlib/stdlib__Array.cmi index 0c945da0..2262d4ac 100644 Binary files a/src/worker/static/stdlib/stdlib__Array.cmi and b/src/worker/static/stdlib/stdlib__Array.cmi differ diff --git a/src/worker/static/stdlib/stdlib__ArrayLabels.cmi b/src/worker/static/stdlib/stdlib__ArrayLabels.cmi index 0e6fa103..06d95b26 100644 Binary files a/src/worker/static/stdlib/stdlib__ArrayLabels.cmi and b/src/worker/static/stdlib/stdlib__ArrayLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Atomic.cmi b/src/worker/static/stdlib/stdlib__Atomic.cmi index bda7da2d..3d1ca5f0 100644 Binary files a/src/worker/static/stdlib/stdlib__Atomic.cmi and b/src/worker/static/stdlib/stdlib__Atomic.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Bigarray.cmi b/src/worker/static/stdlib/stdlib__Bigarray.cmi index 0d53088f..eac33253 100644 Binary files a/src/worker/static/stdlib/stdlib__Bigarray.cmi and b/src/worker/static/stdlib/stdlib__Bigarray.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Bool.cmi b/src/worker/static/stdlib/stdlib__Bool.cmi index 9cb54662..801bdd99 100644 Binary files a/src/worker/static/stdlib/stdlib__Bool.cmi and b/src/worker/static/stdlib/stdlib__Bool.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Buffer.cmi b/src/worker/static/stdlib/stdlib__Buffer.cmi index 360a7d13..c17df8c4 100644 Binary files a/src/worker/static/stdlib/stdlib__Buffer.cmi and b/src/worker/static/stdlib/stdlib__Buffer.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Bytes.cmi b/src/worker/static/stdlib/stdlib__Bytes.cmi index 1be318f0..41e2023a 100644 Binary files a/src/worker/static/stdlib/stdlib__Bytes.cmi and b/src/worker/static/stdlib/stdlib__Bytes.cmi differ diff --git a/src/worker/static/stdlib/stdlib__BytesLabels.cmi b/src/worker/static/stdlib/stdlib__BytesLabels.cmi index b28d8176..e839f742 100644 Binary files a/src/worker/static/stdlib/stdlib__BytesLabels.cmi and b/src/worker/static/stdlib/stdlib__BytesLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Callback.cmi b/src/worker/static/stdlib/stdlib__Callback.cmi index f24194a8..5f3e06da 100644 Binary files a/src/worker/static/stdlib/stdlib__Callback.cmi and b/src/worker/static/stdlib/stdlib__Callback.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Char.cmi b/src/worker/static/stdlib/stdlib__Char.cmi index 6d2a2f05..94ea4a75 100644 Binary files a/src/worker/static/stdlib/stdlib__Char.cmi and b/src/worker/static/stdlib/stdlib__Char.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Complex.cmi b/src/worker/static/stdlib/stdlib__Complex.cmi index fbc617c6..5d48b71b 100644 Binary files a/src/worker/static/stdlib/stdlib__Complex.cmi and b/src/worker/static/stdlib/stdlib__Complex.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Condition.cmi b/src/worker/static/stdlib/stdlib__Condition.cmi index b610764f..2bb058e1 100644 Binary files a/src/worker/static/stdlib/stdlib__Condition.cmi and b/src/worker/static/stdlib/stdlib__Condition.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Digest.cmi b/src/worker/static/stdlib/stdlib__Digest.cmi index 9eb4932e..d38d87ef 100644 Binary files a/src/worker/static/stdlib/stdlib__Digest.cmi and b/src/worker/static/stdlib/stdlib__Digest.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Domain.cmi b/src/worker/static/stdlib/stdlib__Domain.cmi index 1788964c..220d1612 100644 Binary files a/src/worker/static/stdlib/stdlib__Domain.cmi and b/src/worker/static/stdlib/stdlib__Domain.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Dynarray.cmi b/src/worker/static/stdlib/stdlib__Dynarray.cmi new file mode 100644 index 00000000..76b60fb2 Binary files /dev/null and b/src/worker/static/stdlib/stdlib__Dynarray.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Effect.cmi b/src/worker/static/stdlib/stdlib__Effect.cmi index b4faa2aa..26f52a78 100644 Binary files a/src/worker/static/stdlib/stdlib__Effect.cmi and b/src/worker/static/stdlib/stdlib__Effect.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Either.cmi b/src/worker/static/stdlib/stdlib__Either.cmi index 1a362bb7..3910938d 100644 Binary files a/src/worker/static/stdlib/stdlib__Either.cmi and b/src/worker/static/stdlib/stdlib__Either.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Ephemeron.cmi b/src/worker/static/stdlib/stdlib__Ephemeron.cmi index a558f08e..57a648b7 100644 Binary files a/src/worker/static/stdlib/stdlib__Ephemeron.cmi and b/src/worker/static/stdlib/stdlib__Ephemeron.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Filename.cmi b/src/worker/static/stdlib/stdlib__Filename.cmi index 6f8244d5..c030604e 100644 Binary files a/src/worker/static/stdlib/stdlib__Filename.cmi and b/src/worker/static/stdlib/stdlib__Filename.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Float.cmi b/src/worker/static/stdlib/stdlib__Float.cmi index 7b8248a6..dc9b4453 100644 Binary files a/src/worker/static/stdlib/stdlib__Float.cmi and b/src/worker/static/stdlib/stdlib__Float.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Format.cmi b/src/worker/static/stdlib/stdlib__Format.cmi index aa333d86..94bb13e5 100644 Binary files a/src/worker/static/stdlib/stdlib__Format.cmi and b/src/worker/static/stdlib/stdlib__Format.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Fun.cmi b/src/worker/static/stdlib/stdlib__Fun.cmi index a7f0a2f1..4c3f4c83 100644 Binary files a/src/worker/static/stdlib/stdlib__Fun.cmi and b/src/worker/static/stdlib/stdlib__Fun.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Gc.cmi b/src/worker/static/stdlib/stdlib__Gc.cmi index e2cd3202..441a2fe7 100644 Binary files a/src/worker/static/stdlib/stdlib__Gc.cmi and b/src/worker/static/stdlib/stdlib__Gc.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Hashtbl.cmi b/src/worker/static/stdlib/stdlib__Hashtbl.cmi index cabbc9d0..3a65eb49 100644 Binary files a/src/worker/static/stdlib/stdlib__Hashtbl.cmi and b/src/worker/static/stdlib/stdlib__Hashtbl.cmi differ diff --git a/src/worker/static/stdlib/stdlib__In_channel.cmi b/src/worker/static/stdlib/stdlib__In_channel.cmi index 077aceec..f02c33c8 100644 Binary files a/src/worker/static/stdlib/stdlib__In_channel.cmi and b/src/worker/static/stdlib/stdlib__In_channel.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Int.cmi b/src/worker/static/stdlib/stdlib__Int.cmi index e0776f9e..091a00b3 100644 Binary files a/src/worker/static/stdlib/stdlib__Int.cmi and b/src/worker/static/stdlib/stdlib__Int.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Int32.cmi b/src/worker/static/stdlib/stdlib__Int32.cmi index 76959e14..61fbee45 100644 Binary files a/src/worker/static/stdlib/stdlib__Int32.cmi and b/src/worker/static/stdlib/stdlib__Int32.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Int64.cmi b/src/worker/static/stdlib/stdlib__Int64.cmi index 9b28bbe2..df0aae14 100644 Binary files a/src/worker/static/stdlib/stdlib__Int64.cmi and b/src/worker/static/stdlib/stdlib__Int64.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Lazy.cmi b/src/worker/static/stdlib/stdlib__Lazy.cmi index afed6e1f..3f3f6632 100644 Binary files a/src/worker/static/stdlib/stdlib__Lazy.cmi and b/src/worker/static/stdlib/stdlib__Lazy.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Lexing.cmi b/src/worker/static/stdlib/stdlib__Lexing.cmi index 9a687479..aeed02cb 100644 Binary files a/src/worker/static/stdlib/stdlib__Lexing.cmi and b/src/worker/static/stdlib/stdlib__Lexing.cmi differ diff --git a/src/worker/static/stdlib/stdlib__List.cmi b/src/worker/static/stdlib/stdlib__List.cmi index e9d3c73e..65ce1405 100644 Binary files a/src/worker/static/stdlib/stdlib__List.cmi and b/src/worker/static/stdlib/stdlib__List.cmi differ diff --git a/src/worker/static/stdlib/stdlib__ListLabels.cmi b/src/worker/static/stdlib/stdlib__ListLabels.cmi index ebb6de19..46fc0a90 100644 Binary files a/src/worker/static/stdlib/stdlib__ListLabels.cmi and b/src/worker/static/stdlib/stdlib__ListLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Map.cmi b/src/worker/static/stdlib/stdlib__Map.cmi index 67f4a187..8b5a34b0 100644 Binary files a/src/worker/static/stdlib/stdlib__Map.cmi and b/src/worker/static/stdlib/stdlib__Map.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Marshal.cmi b/src/worker/static/stdlib/stdlib__Marshal.cmi index 448db077..8ee1b28b 100644 Binary files a/src/worker/static/stdlib/stdlib__Marshal.cmi and b/src/worker/static/stdlib/stdlib__Marshal.cmi differ diff --git a/src/worker/static/stdlib/stdlib__MoreLabels.cmi b/src/worker/static/stdlib/stdlib__MoreLabels.cmi index 8ecacd8c..85897f53 100644 Binary files a/src/worker/static/stdlib/stdlib__MoreLabels.cmi and b/src/worker/static/stdlib/stdlib__MoreLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Mutex.cmi b/src/worker/static/stdlib/stdlib__Mutex.cmi index 323cd0b7..c5f5d7a2 100644 Binary files a/src/worker/static/stdlib/stdlib__Mutex.cmi and b/src/worker/static/stdlib/stdlib__Mutex.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Nativeint.cmi b/src/worker/static/stdlib/stdlib__Nativeint.cmi index 5f62846f..f3fbb49f 100644 Binary files a/src/worker/static/stdlib/stdlib__Nativeint.cmi and b/src/worker/static/stdlib/stdlib__Nativeint.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Obj.cmi b/src/worker/static/stdlib/stdlib__Obj.cmi index fba5f239..69714f4d 100644 Binary files a/src/worker/static/stdlib/stdlib__Obj.cmi and b/src/worker/static/stdlib/stdlib__Obj.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Oo.cmi b/src/worker/static/stdlib/stdlib__Oo.cmi index 21053d9b..699e15cc 100644 Binary files a/src/worker/static/stdlib/stdlib__Oo.cmi and b/src/worker/static/stdlib/stdlib__Oo.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Option.cmi b/src/worker/static/stdlib/stdlib__Option.cmi index fd739b82..ac3f9c43 100644 Binary files a/src/worker/static/stdlib/stdlib__Option.cmi and b/src/worker/static/stdlib/stdlib__Option.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Out_channel.cmi b/src/worker/static/stdlib/stdlib__Out_channel.cmi index a5474a0d..f119b66c 100644 Binary files a/src/worker/static/stdlib/stdlib__Out_channel.cmi and b/src/worker/static/stdlib/stdlib__Out_channel.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Parsing.cmi b/src/worker/static/stdlib/stdlib__Parsing.cmi index 09df8b09..1938f12f 100644 Binary files a/src/worker/static/stdlib/stdlib__Parsing.cmi and b/src/worker/static/stdlib/stdlib__Parsing.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Printexc.cmi b/src/worker/static/stdlib/stdlib__Printexc.cmi index b0d15775..f00d1a5c 100644 Binary files a/src/worker/static/stdlib/stdlib__Printexc.cmi and b/src/worker/static/stdlib/stdlib__Printexc.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Printf.cmi b/src/worker/static/stdlib/stdlib__Printf.cmi index eec11e97..109216e9 100644 Binary files a/src/worker/static/stdlib/stdlib__Printf.cmi and b/src/worker/static/stdlib/stdlib__Printf.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Queue.cmi b/src/worker/static/stdlib/stdlib__Queue.cmi index c52e8987..4b7ae6a7 100644 Binary files a/src/worker/static/stdlib/stdlib__Queue.cmi and b/src/worker/static/stdlib/stdlib__Queue.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Random.cmi b/src/worker/static/stdlib/stdlib__Random.cmi index 0df80a9e..ceadb37d 100644 Binary files a/src/worker/static/stdlib/stdlib__Random.cmi and b/src/worker/static/stdlib/stdlib__Random.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Result.cmi b/src/worker/static/stdlib/stdlib__Result.cmi index cbf38ed9..9d09828a 100644 Binary files a/src/worker/static/stdlib/stdlib__Result.cmi and b/src/worker/static/stdlib/stdlib__Result.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Scanf.cmi b/src/worker/static/stdlib/stdlib__Scanf.cmi index cb04aa14..7d5493f0 100644 Binary files a/src/worker/static/stdlib/stdlib__Scanf.cmi and b/src/worker/static/stdlib/stdlib__Scanf.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Semaphore.cmi b/src/worker/static/stdlib/stdlib__Semaphore.cmi index 66853ccb..a8880d9e 100644 Binary files a/src/worker/static/stdlib/stdlib__Semaphore.cmi and b/src/worker/static/stdlib/stdlib__Semaphore.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Seq.cmi b/src/worker/static/stdlib/stdlib__Seq.cmi index a9436974..ba8a308d 100644 Binary files a/src/worker/static/stdlib/stdlib__Seq.cmi and b/src/worker/static/stdlib/stdlib__Seq.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Set.cmi b/src/worker/static/stdlib/stdlib__Set.cmi index 61d0a374..70ebb67e 100644 Binary files a/src/worker/static/stdlib/stdlib__Set.cmi and b/src/worker/static/stdlib/stdlib__Set.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Stack.cmi b/src/worker/static/stdlib/stdlib__Stack.cmi index 6bac2cc0..725ea966 100644 Binary files a/src/worker/static/stdlib/stdlib__Stack.cmi and b/src/worker/static/stdlib/stdlib__Stack.cmi differ diff --git a/src/worker/static/stdlib/stdlib__StdLabels.cmi b/src/worker/static/stdlib/stdlib__StdLabels.cmi index 61d5c43d..96bd32e6 100644 Binary files a/src/worker/static/stdlib/stdlib__StdLabels.cmi and b/src/worker/static/stdlib/stdlib__StdLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__String.cmi b/src/worker/static/stdlib/stdlib__String.cmi index 7deda902..f5992a41 100644 Binary files a/src/worker/static/stdlib/stdlib__String.cmi and b/src/worker/static/stdlib/stdlib__String.cmi differ diff --git a/src/worker/static/stdlib/stdlib__StringLabels.cmi b/src/worker/static/stdlib/stdlib__StringLabels.cmi index fbbc3363..9f3021f3 100644 Binary files a/src/worker/static/stdlib/stdlib__StringLabels.cmi and b/src/worker/static/stdlib/stdlib__StringLabels.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Sys.cmi b/src/worker/static/stdlib/stdlib__Sys.cmi index 8d45012f..c9171c82 100644 Binary files a/src/worker/static/stdlib/stdlib__Sys.cmi and b/src/worker/static/stdlib/stdlib__Sys.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Type.cmi b/src/worker/static/stdlib/stdlib__Type.cmi new file mode 100644 index 00000000..5be3f7cc Binary files /dev/null and b/src/worker/static/stdlib/stdlib__Type.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Uchar.cmi b/src/worker/static/stdlib/stdlib__Uchar.cmi index 959f7bc9..9f33aeef 100644 Binary files a/src/worker/static/stdlib/stdlib__Uchar.cmi and b/src/worker/static/stdlib/stdlib__Uchar.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Unit.cmi b/src/worker/static/stdlib/stdlib__Unit.cmi index 012864b2..828bedf4 100644 Binary files a/src/worker/static/stdlib/stdlib__Unit.cmi and b/src/worker/static/stdlib/stdlib__Unit.cmi differ diff --git a/src/worker/static/stdlib/stdlib__Weak.cmi b/src/worker/static/stdlib/stdlib__Weak.cmi index 68c10ee4..656f7f43 100644 Binary files a/src/worker/static/stdlib/stdlib__Weak.cmi and b/src/worker/static/stdlib/stdlib__Weak.cmi differ diff --git a/src/worker/static/stdlib/str.cmi b/src/worker/static/stdlib/str.cmi index 3693511c..b4bab1b1 100644 Binary files a/src/worker/static/stdlib/str.cmi and b/src/worker/static/stdlib/str.cmi differ diff --git a/src/worker/static/stdlib/thread.cmi b/src/worker/static/stdlib/thread.cmi index 43b3db1b..377169e5 100644 Binary files a/src/worker/static/stdlib/thread.cmi and b/src/worker/static/stdlib/thread.cmi differ diff --git a/src/worker/static/stdlib/topdirs.cmi b/src/worker/static/stdlib/topdirs.cmi index 05df4134..50c4a689 100644 Binary files a/src/worker/static/stdlib/topdirs.cmi and b/src/worker/static/stdlib/topdirs.cmi differ diff --git a/src/worker/static/stdlib/unix.cmi b/src/worker/static/stdlib/unix.cmi index 22d12bd7..0a206b00 100644 Binary files a/src/worker/static/stdlib/unix.cmi and b/src/worker/static/stdlib/unix.cmi differ diff --git a/src/worker/static/stdlib/unixLabels.cmi b/src/worker/static/stdlib/unixLabels.cmi index 7d5803bb..787bd08c 100644 Binary files a/src/worker/static/stdlib/unixLabels.cmi and b/src/worker/static/stdlib/unixLabels.cmi differ diff --git a/src/worker/worker.ml b/src/worker/worker.ml index 5047a311..adf63d39 100644 --- a/src/worker/worker.ml +++ b/src/worker/worker.ml @@ -18,17 +18,16 @@ let sync_get url = None) (fun b -> Some (Typed_array.String.of_arrayBuffer b)) | _ -> None - + let filename_of_module unit_name = Printf.sprintf "%s.cmi" (String.uncapitalize_ascii unit_name) let reset_dirs () = Ocaml_utils.Directory_content_cache.clear (); let open Ocaml_utils.Load_path in - let dirs = get_paths () in + let { visible; hidden } = get_paths () in reset (); - List.iter ~f:(fun p -> - prepend_dir (Dir.create p)) dirs + init ~auto_include:no_auto_include ~visible ~hidden let add_dynamic_cmis dcs = let open Ocaml_typing.Persistent_env.Persistent_signature in @@ -49,10 +48,10 @@ let add_dynamic_cmis dcs = Js_of_ocaml.Sys_js.create_file ~name ~content | None -> ()) dcs.dcs_toplevel_modules; - let new_load ~unit_name = + let new_load ~allow_hidden ~unit_name = let filename = filename_of_module unit_name in let fs_name = Filename.(concat "/static/stdlib" filename) in - (* Check if it's already been downloaded. This will be the + (* Check if it's already been downloaded. This will be the case for all toplevel cmis. Also check whether we're supposed to handle this cmi *) if @@ -70,10 +69,10 @@ let add_dynamic_cmis dcs = Printf.eprintf "Warning: Expected to find cmi at: %s\n%!" (Filename.concat dcs.Protocol.dcs_url filename) end; - old_loader ~unit_name + old_loader ~allow_hidden ~unit_name in load := new_load - + let add_cmis { Protocol.static_cmis; dynamic_cmis } = List.iter static_cmis ~f:(fun { Protocol.sc_name; sc_content } -> let filename = Printf.sprintf "%s.cmi" (String.uncapitalize_ascii sc_name) in @@ -81,7 +80,7 @@ let add_dynamic_cmis dcs = Js_of_ocaml.Sys_js.create_file ~name ~content:sc_content); Option.iter ~f:add_dynamic_cmis dynamic_cmis; Protocol.Added_cmis - + let config = let initial = Mconfig.initial in { initial with