Relation between: joo_global_object , Jv.global, Js.Unsafe.global

zeroexcuses · March 25, 2023, 10:44am

I am having trouble understanding how these three are related. Is it the case that:

JS/joo_global_object == OCaml/Jv.global
Intuition: These two lines seem to match up:
jsoo-code-mirror/includes.js at bd1d3c68a23655cd667986aef48c05a6514fd194 · patricoferris/jsoo-code-mirror · GitHub
jsoo-code-mirror/stream.ml at bd1d3c68a23655cd667986aef48c05a6514fd194 · patricoferris/jsoo-code-mirror · GitHub
which would imply that JS/joo_global_object == OCaml/Jv.global
JS/ == Js.Unsafe.global ?

The intuition here is from How to bind a JS library for OCaml , where the

Js.Unsafe.global##.document

would seem to imply that Js.Unsafe.global is the “highest root-ish global”

Does this mean that Jv.global == Js.Unsafe.global##joo_global_object ?

This follows from 1 & 2, but looks weird.

hhugo · March 25, 2023, 2:36pm

Jv.global == Js.Unsafe.global

They are both defined to be equal to the js variable globalThis.

joo_global_object is an old deprecated name for globalThis.

github.com

dbuenzli/brr/blob/master/src/jv.ml#L33


      
          let undefined = pure_js_expr "undefined"
          let is_null v = v == null
          let is_undefined v = v == undefined
          let is_none v = is_null v || is_undefined v
          let is_some v = not (is_none v)
          let to_option conv v = if is_none v then None else Some (conv v)
          let of_option ~none conv = function None -> none | Some v -> conv v
          
          
(* Objects *)
          
          
let global = pure_js_expr "globalThis"
          
          
(* Properties *)
          
          
type prop = string
          
          
external get : t -> prop -> t = "caml_js_get"
          external set : t -> prop -> t -> unit = "caml_js_set"
          external delete : t -> prop -> unit = "caml_js_delete"
          let set_if_some o p = function None -> () | Some v -> set o p v
          let find o p = let v = get o p in if is_none v then None else Some v

github.com

ocsigen/js_of_ocaml/blob/master/lib/js_of_ocaml/js.ml#L67


      
          external equals : 'a -> 'b -> bool = "caml_js_equals"
          
          
external pure_expr : (unit -> 'a) -> 'a = "caml_js_pure_expr"
          
          
external eval_string : string -> 'a = "caml_js_eval_string"
          
          
external js_expr : string -> 'a = "caml_js_expr"
          
          
external pure_js_expr : string -> 'a = "caml_pure_js_expr"
          
          
let global = pure_js_expr "globalThis"
          
          
external callback : ('a -> 'b) -> ('c, 'a -> 'b) meth_callback
            = "caml_js_wrap_callback_unsafe"
          
          
external callback_with_arguments :
            (any_js_array -> 'b) -> ('c, any_js_array -> 'b) meth_callback
            = "caml_js_wrap_callback_arguments"
          
          
external callback_with_arity : int -> ('a -> 'b) -> ('c, 'a -> 'b) meth_callback
            = "caml_js_wrap_callback_strict"

Topic		Replies	Views
Dealing with {joo_tramp, joo_args} Learning	5	466	March 14, 2023
Js_of_ocaml ppx object%js slicing off last _? Learning	2	374	May 9, 2023
Brr: WorkerGlobalScope? Learning	3	402	May 8, 2023
Help fixing this JS binding code Learning	6	479	March 27, 2023
Two ways of interfacing JS lib / jsoo? Learning	4	320	March 25, 2023

Relation between: joo_global_object , Jv.global, Js.Unsafe.global

Related topics