@tellahq/rescript 10.1.0-alpha.2 → 10.1.4-republish-1

package/lib/4.06.1/rescript.ml

@@ -1710,114 +1710,62 @@ module Bsb_build_schemas
 
 (* let files = "files" *)
 let version = "version"
-
 let name = "name"
 
 (* let ocaml_config = "ocaml-config" *)
 let bsdep = "bsdep"
-
 let ppx_flags = "ppx-flags"
-
 let pp_flags = "pp-flags"
-
 let bsc = "bsc"
-
 let refmt = "refmt"
-
 let bs_external_includes = "bs-external-includes"
-
 let bs_lib_dir = "bs-lib-dir"
-
 let bs_dependencies = "bs-dependencies"
-
 let pinned_dependencies = "pinned-dependencies"
-
 let bs_dev_dependencies = "bs-dev-dependencies"
-
 let sources = "sources"
-
 let dir = "dir"
-
 let files = "files"
-
 let subdirs = "subdirs"
-
 let bsc_flags = "bsc-flags"
-
 let excludes = "excludes"
-
 let slow_re = "slow-re"
-
 let resources = "resources"
-
 let public = "public"
-
 let js_post_build = "js-post-build"
-
 let cmd = "cmd"
-
 let ninja = "ninja"
-
 let package_specs = "package-specs"
-
 let generate_merlin = "generate-merlin"
-
 let type_ = "type"
-
 let dev = "dev"
-
 let export_all = "all"
-
 let export_none = "none"
-
 let use_stdlib = "use-stdlib"
-
 let external_stdlib = "external-stdlib"
-
 let reason = "reason"
-
 let react_jsx = "react-jsx"
-
 let jsx = "jsx"
-
 let jsx_version = "version"
-
 let jsx_module = "module"
-
 let jsx_mode = "mode"
-
+let jsx_v3_dependencies = "v3-dependencies"
 let entries = "entries"
-
 let backend = "backend"
-
 let main_module = "main-module"
-
 let cut_generators = "cut-generators"
-
 let generators = "generators"
-
 let command = "command"
-
 let edge = "edge"
-
 let namespace = "namespace"
-
 let in_source = "in-source"
-
 let warnings = "warnings"
-
 let number = "number"
-
 let error = "error"
-
 let suffix = "suffix"
-
 let gentypeconfig = "gentypeconfig"
-
 let language = "language"
-
 let path = "path"
-
 let ignored_dirs = "ignored-dirs"
 
 end
@@ -4533,16 +4481,10 @@ let is_empty (x : file_group) =
   Map_string.is_empty x.sources && x.resources = [] && x.generators = []
 
 end
-module Ext_module_system
-= struct
-#1 "ext_module_system.ml"
-type t = NodeJS | Es6 | Es6_global
-
-end
-module Ext_pervasives : sig 
-#1 "ext_pervasives.mli"
+module Bs_version : sig 
+#1 "bs_version.mli"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- * 
+ *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -4560,45 +4502,21 @@ module Ext_pervasives : sig
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(** Extension to standard library [Pervavives] module, safe to open 
-*)
-
-external reraise : exn -> 'a = "%reraise"
-
-val finally : 'a -> clean:('a -> unit) -> ('a -> 'b) -> 'b
-
-(* val try_it : (unit -> 'a) ->  unit  *)
-
-val with_file_as_chan : string -> (out_channel -> 'a) -> 'a
-
-val max_int : int -> int -> int
-
-val min_int : int -> int -> int
-
-val max_int_option : int option -> int option -> int option
-
-(* external id : 'a -> 'a = "%identity" *)
-
-(** Copied from {!Btype.hash_variant}:
-    need sync up and add test case
-*)
-(* val hash_variant : string -> int *)
-
-(* val todo : string -> 'a *)
+val version : string
 
-val nat_of_string_exn : string -> int
+val header : string
 
-val parse_nat_of_string : string -> int ref -> int
+val package_name : string ref
 
 end = struct
-#1 "ext_pervasives.ml"
+#1 "bs_version.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- * 
+ *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -4616,135 +4534,19 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
-
-external reraise : exn -> 'a = "%reraise"
-
-let finally v ~clean:action f =
-  match f v with
-  | exception e ->
-      action v;
-      reraise e
-  | e ->
-      action v;
-      e
-
-(* let try_it f  =
-   try ignore (f ()) with _ -> () *)
-
-let with_file_as_chan filename f =
-  finally (open_out_bin filename) ~clean:close_out f
-
-let max_int (x : int) y = if x >= y then x else y
-
-let min_int (x : int) y = if x < y then x else y
-
-let max_int_option (x : int option) y =
-  match (x, y) with
-  | None, _ -> y
-  | Some _, None -> x
-  | Some x0, Some y0 -> if x0 >= y0 then x else y
-
-(* external id : 'a -> 'a = "%identity" *)
-
-(*
-   let hash_variant s =
-     let accu = ref 0 in
-     for i = 0 to String.length s - 1 do
-       accu := 223 * !accu + Char.code s.[i]
-     done;
-     (* reduce to 31 bits *)
-     accu := !accu land (1 lsl 31 - 1);
-     (* make it signed for 64 bits architectures *)
-     if !accu > 0x3FFFFFFF then !accu - (1 lsl 31) else !accu *)
-
-(* let todo loc =
-   failwith (loc ^ " Not supported yet")
-*)
-
-let rec int_of_string_aux s acc off len =
-  if off >= len then acc
-  else
-    let d = Char.code (String.unsafe_get s off) - 48 in
-    if d >= 0 && d <= 9 then int_of_string_aux s ((10 * acc) + d) (off + 1) len
-    else -1
-(* error *)
-
-let nat_of_string_exn (s : string) =
-  let acc = int_of_string_aux s 0 0 (String.length s) in
-  if acc < 0 then invalid_arg s else acc
-
-(** return index *)
-let parse_nat_of_string (s : string) (cursor : int ref) =
-  let current = !cursor in
-  assert (current >= 0);
-  let acc = ref 0 in
-  let s_len = String.length s in
-  let todo = ref true in
-  let cur = ref current in
-  while !todo && !cursor < s_len do
-    let d = Char.code (String.unsafe_get s !cur) - 48 in
-    if d >= 0 && d <= 9 then (
-      acc := (10 * !acc) + d;
-      incr cur)
-    else todo := false
-  done;
-  cursor := !cur;
-  !acc
-
-end
-module Ext_fmt
-= struct
-#1 "ext_fmt.ml"
-let with_file_as_pp filename f =
-  Ext_pervasives.finally (open_out_bin filename) ~clean:close_out (fun chan ->
-      let fmt = Format.formatter_of_out_channel chan in
-      let v = f fmt in
-      Format.pp_print_flush fmt ();
-      v)
-
-let failwithf ~loc fmt = Format.ksprintf (fun s -> failwith (loc ^ s)) fmt
-
-let invalid_argf fmt = Format.ksprintf invalid_arg fmt
+let version = "10.1.4"
+let header = "// Generated by ReScript, PLEASE EDIT WITH CARE"
+let package_name = ref "rescript"
 
 end
-module Ext_sys : sig 
-#1 "ext_sys.mli"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- * 
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * In addition to the permissions granted to you by the LGPL, you may combine
- * or link a "work that uses the Library" with a publicly distributed version
- * of this file to produce a combined library or application, then distribute
- * that combined work under the terms of your choosing, with no requirement
- * to comply with the obligations normally placed on you by section 4 of the
- * LGPL version 3 (or the corresponding section of a later version of the LGPL
- * should you choose to use a later version).
+module Bsb_pkg_types : sig 
+#1 "bsb_pkg_types.mli"
+(* Copyright (C) 2019- Hongbo Zhang, Authors of ReScript
  *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- * 
- * You should have received a copy of the GNU Lesser General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
-
-val is_directory_no_exn : string -> bool
-
-val is_windows_or_cygwin : bool
-
-end = struct
-#1 "ext_sys.pp.ml"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -4762,26 +4564,30 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(** TODO: not exported yet, wait for Windows Fix*)
+type t = Global of string | Scope of string * scope
 
-external is_directory_no_exn : string -> bool = "caml_sys_is_directory_no_exn"
+and scope = string
 
+val to_string : t -> string
 
+val print : Format.formatter -> t -> unit
 
-let is_windows_or_cygwin = Sys.win32 || Sys.cygwin
+val equal : t -> t -> bool
 
+(* The second element could be empty or dropped 
+*)
+val extract_pkg_name_and_file : string -> t * string
 
+val string_as_package : string -> t
 
-end
-module Literals
-= struct
-#1 "literals.ml"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+end = struct
+#1 "bsb_pkg_types.ml"
+(* Copyright (C) 2018- Hongbo Zhang, Authors of ReScript
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -4805,167 +4611,77 @@ module Literals
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-let js_array_ctor = "Array"
+let ( // ) = Filename.concat
 
-let js_type_number = "number"
+type t = Global of string | Scope of string * scope
 
-let js_type_string = "string"
-
-let js_type_object = "object"
-
-let js_type_boolean = "boolean"
-
-let js_undefined = "undefined"
-
-let js_prop_length = "length"
-
-let prim = "prim"
-
-let param = "param"
-
-let partial_arg = "partial_arg"
-
-let tmp = "tmp"
-
-let create = "create" (* {!Caml_exceptions.create}*)
-
-let runtime = "runtime" (* runtime directory *)
-
-let stdlib = "stdlib"
-
-let imul = "imul" (* signed int32 mul *)
-
-let setter_suffix = "#="
-
-let setter_suffix_len = String.length setter_suffix
-
-let debugger = "debugger"
-
-let fn_run = "fn_run"
-
-let method_run = "method_run"
-
-let fn_method = "fn_method"
-
-let fn_mk = "fn_mk"
-(*let js_fn_runmethod = "js_fn_runmethod"*)
-
-(** nodejs *)
-let node_modules = "node_modules"
-
-let node_modules_length = String.length "node_modules"
-
-let package_json = "package.json"
-
-let bsconfig_json = "bsconfig.json"
-
-let build_ninja = "build.ninja"
-
-(* Name of the library file created for each external dependency. *)
-let library_file = "lib"
-
-let suffix_a = ".a"
-
-let suffix_cmj = ".cmj"
-
-let suffix_cmo = ".cmo"
-
-let suffix_cma = ".cma"
-
-let suffix_cmi = ".cmi"
-
-let suffix_cmx = ".cmx"
-
-let suffix_cmxa = ".cmxa"
-
-let suffix_mll = ".mll"
-
-let suffix_ml = ".ml"
-
-let suffix_mli = ".mli"
-
-let suffix_re = ".re"
-
-let suffix_rei = ".rei"
-
-let suffix_res = ".res"
-
-let suffix_resi = ".resi"
-
-let suffix_mlmap = ".mlmap"
-
-let suffix_cmt = ".cmt"
-
-let suffix_cmti = ".cmti"
-
-let suffix_ast = ".ast"
-
-let suffix_iast = ".iast"
-
-let suffix_d = ".d"
-
-let suffix_js = ".js"
-
-let suffix_bs_js = ".bs.js"
-
-let suffix_mjs = ".mjs"
-
-let suffix_cjs = ".cjs"
-
-let suffix_gen_js = ".gen.js"
-
-let suffix_gen_tsx = ".gen.tsx"
-
-let commonjs = "commonjs"
-
-let es6 = "es6"
-
-let es6_global = "es6-global"
-
-let unused_attribute = "Unused attribute "
-
-(** Used when produce node compatible paths *)
-let node_sep = "/"
-
-let node_parent = ".."
-
-let node_current = "."
+and scope = string
 
-let gentype_import = "genType.import"
+let to_string (x : t) =
+  match x with Global s -> s | Scope (s, scope) -> scope // s
 
-let bsbuild_cache = ".bsbuild"
+let print fmt (x : t) =
+  match x with
+  | Global s -> Format.pp_print_string fmt s
+  | Scope (name, scope) -> Format.fprintf fmt "%s/%s" scope name
 
-let sourcedirs_meta = ".sourcedirs.json"
+let equal (x : t) y =
+  match (x, y) with
+  | Scope (a0, a1), Scope (b0, b1) -> a0 = b0 && a1 = b1
+  | Global a0, Global b0 -> a0 = b0
+  | Scope _, Global _ | Global _, Scope _ -> false
 
-(* Note the build system should check the validity of filenames
-   espeically, it should not contain '-'
+(**
+   input: {[
+     @hello/yy/xx
+        hello/yy
+   ]}
+   FIXME: fix invalid input
+   {[
+     hello//xh//helo
+   ]}
 *)
-let ns_sep_char = '-'
-
-let ns_sep = "-"
-
-let exception_id = "RE_EXN_ID"
-
-let polyvar_hash = "NAME"
-
-let polyvar_value = "VAL"
-
-let cons = "::"
-
-let hd = "hd"
-
-let tl = "tl"
-
-let lazy_done = "LAZY_DONE"
+let extract_pkg_name_and_file (s : string) =
+  let len = String.length s in
+  assert (len > 0);
+  let v = String.unsafe_get s 0 in
+  if v = '@' then (
+    let scope_id = Ext_string.no_slash_idx s in
+    assert (scope_id > 0);
+    let pkg_id = Ext_string.no_slash_idx_from s (scope_id + 1) in
+    let scope = String.sub s 0 scope_id in
 
-let lazy_val = "VAL"
+    if pkg_id < 0 then
+      (Scope (String.sub s (scope_id + 1) (len - scope_id - 1), scope), "")
+    else
+      ( Scope (String.sub s (scope_id + 1) (pkg_id - scope_id - 1), scope),
+        String.sub s (pkg_id + 1) (len - pkg_id - 1) ))
+  else
+    let pkg_id = Ext_string.no_slash_idx s in
+    if pkg_id < 0 then (Global s, "")
+    else
+      ( Global (String.sub s 0 pkg_id),
+        String.sub s (pkg_id + 1) (len - pkg_id - 1) )
 
-let pure = "@__PURE__"
+let string_as_package (s : string) : t =
+  let len = String.length s in
+  assert (len > 0);
+  let v = String.unsafe_get s 0 in
+  if v = '@' then (
+    let scope_id = Ext_string.no_slash_idx s in
+    assert (scope_id > 0);
+    (* better-eror message for invalid scope package:
+       @rescript/std
+    *)
+    Scope
+      (String.sub s (scope_id + 1) (len - scope_id - 1), String.sub s 0 scope_id))
+  else Global s
 
 end
-module Ext_path : sig 
-#1 "ext_path.mli"
-(* Copyright (C) 2017 Authors of ReScript
+module Ext_json_types
+= struct
+#1 "ext_json_types.ml"
+(* Copyright (C) 2015-2017 Bloomberg Finance L.P.
  * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -4989,66 +4705,76 @@ module Ext_path : sig
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type t
-
-val simple_convert_node_path_to_os_path : string -> string
-(** Js_output is node style, which means 
-    separator is only '/'
-
-    if the path contains 'node_modules', 
-    [node_relative_path] will discard its prefix and 
-    just treat it as a library instead
-*)
-
-val combine : string -> string -> string
-(**
-   [combine path1 path2]
-   1. add some simplifications when concatenating
-   2. when [path2] is absolute, return [path2]
-*)
+type loc = Lexing.position
 
-(**
-   {[
-     get_extension "a.txt" = ".txt"
-       get_extension "a" = ""
-   ]}
-*)
+type json_str = { str : string; loc : loc }
 
-val node_rebase_file : from:string -> to_:string -> string -> string
+type json_flo = { flo : string; loc : loc }
 
-val rel_normalized_absolute_path : from:string -> string -> string
-(** 
-   TODO: could be highly optimized
-   if [from] and [to] resolve to the same path, a zero-length string is returned 
-   Given that two paths are directory
+type json_array = { content : t array; loc_start : loc; loc_end : loc }
 
-   A typical use case is 
-   {[
-     Filename.concat 
-       (rel_normalized_absolute_path cwd (Filename.dirname a))
-       (Filename.basename a)
-   ]}
-*)
+and json_map = { map : t Map_string.t; loc : loc }
 
-val normalize_absolute_path : string -> string
+and t =
+  | True of loc
+  | False of loc
+  | Null of loc
+  | Flo of json_flo
+  | Str of json_str
+  | Arr of json_array
+  | Obj of json_map
 
-val absolute_cwd_path : string -> string
+end
+module Ext_position : sig 
+#1 "ext_position.mli"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * In addition to the permissions granted to you by the LGPL, you may combine
+ * or link a "work that uses the Library" with a publicly distributed version
+ * of this file to produce a combined library or application, then distribute
+ * that combined work under the terms of your choosing, with no requirement
+ * to comply with the obligations normally placed on you by section 4 of the
+ * LGPL version 3 (or the corresponding section of a later version of the LGPL
+ * should you choose to use a later version).
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-val concat : string -> string -> string
-(** [concat dirname filename]
-    The same as {!Filename.concat} except a tiny optimization 
-    for current directory simplification
+type t = Lexing.position = {
+  pos_fname : string;
+  pos_lnum : int;
+  pos_bol : int;
+  pos_cnum : int;
+}
+
+val offset : t -> t -> t
+(** [offset pos newpos]
+    return a new position
+    here [newpos] is zero based, the use case is that
+    at position [pos], we get a string and Lexing from that string,
+    therefore, we get a [newpos] and we need rebase it on top of 
+    [pos]
 *)
 
-val check_suffix_case : string -> string -> bool
+val lexbuf_from_channel_with_fname : in_channel -> string -> Lexing.lexbuf
 
-(* It is lazy so that it will not hit errors when in script mode *)
-val package_dir : string Lazy.t
+val print : Format.formatter -> t -> unit
 
 end = struct
-#1 "ext_path.ml"
-(* Copyright (C) 2017 Hongbo Zhang, Authors of ReScript
- * 
+#1 "ext_position.ml"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5066,267 +4792,102 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(* [@@@warning "-37"] *)
-type t = (* | File of string  *)
-  | Dir of string [@@unboxed]
-
-let simple_convert_node_path_to_os_path =
-  if Sys.unix then fun x -> x
-  else if Sys.win32 || Sys.cygwin then Ext_string.replace_slash_backward
-  else failwith ("Unknown OS : " ^ Sys.os_type)
-
-let cwd = lazy (Sys.getcwd ())
-
-let split_by_sep_per_os : string -> string list =
-  if Ext_sys.is_windows_or_cygwin then fun x ->
-    (* on Windows, we can still accept -bs-package-output lib/js *)
-    Ext_string.split_by
-      (fun x -> match x with '/' | '\\' -> true | _ -> false)
-      x
-  else fun x -> Ext_string.split x '/'
+type t = Lexing.position = {
+  pos_fname : string;
+  pos_lnum : int;
+  pos_bol : int;
+  pos_cnum : int;
+}
 
-(** example
-    {[
-      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/external/pervasives.cmj"
-        "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/ocaml_array.ml"
-    ]}
+let offset (x : t) (y : t) =
+  {
+    x with
+    pos_lnum = x.pos_lnum + y.pos_lnum - 1;
+    pos_cnum = x.pos_cnum + y.pos_cnum;
+    pos_bol = (if y.pos_lnum = 1 then x.pos_bol else x.pos_cnum + y.pos_bol);
+  }
 
-    The other way
-    {[
+let print fmt (pos : t) =
+  Format.fprintf fmt "(line %d, column %d)" pos.pos_lnum
+    (pos.pos_cnum - pos.pos_bol)
 
-      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/ocaml_array.ml"
-        "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/external/pervasives.cmj"
-    ]}
-    {[
-      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib//ocaml_array.ml"
-    ]}
-    {[
-      /a/b
-      /c/d
-    ]}
-*)
-let node_relative_path ~from:(file_or_dir_2 : t) (file_or_dir_1 : t) =
-  let relevant_dir1 =
-    match file_or_dir_1 with Dir x -> x
-    (* | File file1 ->  Filename.dirname file1 *)
-  in
-  let relevant_dir2 =
-    match file_or_dir_2 with Dir x -> x
-    (* | File file2 -> Filename.dirname file2  *)
-  in
-  let dir1 = split_by_sep_per_os relevant_dir1 in
-  let dir2 = split_by_sep_per_os relevant_dir2 in
-  let rec go (dir1 : string list) (dir2 : string list) =
-    match (dir1, dir2) with
-    | "." :: xs, ys -> go xs ys
-    | xs, "." :: ys -> go xs ys
-    | x :: xs, y :: ys when x = y -> go xs ys
-    | _, _ -> Ext_list.map_append dir2 dir1 (fun _ -> Literals.node_parent)
+let lexbuf_from_channel_with_fname ic fname =
+  let x = Lexing.from_function (fun buf n -> input ic buf 0 n) in
+  let pos : t =
+    {
+      pos_fname = fname;
+      pos_lnum = 1;
+      pos_bol = 0;
+      pos_cnum = 0 (* copied from zero_pos*);
+    }
   in
-  match go dir1 dir2 with
-  | x :: _ as ys when x = Literals.node_parent ->
-      String.concat Literals.node_sep ys
-  | ys -> String.concat Literals.node_sep @@ (Literals.node_current :: ys)
-
-let node_concat ~dir base = dir ^ Literals.node_sep ^ base
+  x.lex_start_p <- pos;
+  x.lex_curr_p <- pos;
+  x
 
-let node_rebase_file ~from ~to_ file =
-  node_concat
-    ~dir:
-      (if from = to_ then Literals.node_current
-      else node_relative_path ~from:(Dir from) (Dir to_))
-    file
+end
+module Ext_json : sig 
+#1 "ext_json.mli"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * In addition to the permissions granted to you by the LGPL, you may combine
+ * or link a "work that uses the Library" with a publicly distributed version
+ * of this file to produce a combined library or application, then distribute
+ * that combined work under the terms of your choosing, with no requirement
+ * to comply with the obligations normally placed on you by section 4 of the
+ * LGPL version 3 (or the corresponding section of a later version of the LGPL
+ * should you choose to use a later version).
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(***
-   {[
-     Filename.concat "." "";;
-     "./"
-   ]}
-*)
-let combine path1 path2 =
-  if Filename.is_relative path2 then
-    if Ext_string.is_empty path2 then path1
-    else if path1 = Filename.current_dir_name then path2
-    else if path2 = Filename.current_dir_name then path1
-    else Filename.concat path1 path2
-  else path2
+type path = string list
 
-let ( // ) x y =
-  if x = Filename.current_dir_name then y
-  else if y = Filename.current_dir_name then x
-  else Filename.concat x y
+type status = No_path | Found of Ext_json_types.t | Wrong_type of path
 
-(**
-   {[
-     split_aux "//ghosg//ghsogh/";;
-     - : string * string list = ("/", ["ghosg"; "ghsogh"])
-   ]}
-   Note that 
-   {[
-     Filename.dirname "/a/" = "/"
-       Filename.dirname "/a/b/" = Filename.dirname "/a/b" = "/a"
-   ]}
-   Special case:
-   {[
-     basename "//" = "/"
-       basename "///"  = "/"
-   ]}
-   {[
-     basename "" =  "."
-       basename "" = "."
-       dirname "" = "."
-       dirname "" =  "."
-   ]}  
-*)
-let split_aux p =
-  let rec go p acc =
-    let dir = Filename.dirname p in
-    if dir = p then (dir, acc)
-    else
-      let new_path = Filename.basename p in
-      if Ext_string.equal new_path Filename.dir_sep then go dir acc
-        (* We could do more path simplification here
-           leave to [rel_normalized_absolute_path]
-        *)
-      else go dir (new_path :: acc)
-  in
+type callback =
+  [ `Str of string -> unit
+  | `Str_loc of string -> Lexing.position -> unit
+  | `Flo of string -> unit
+  | `Flo_loc of string -> Lexing.position -> unit
+  | `Bool of bool -> unit
+  | `Obj of Ext_json_types.t Map_string.t -> unit
+  | `Arr of Ext_json_types.t array -> unit
+  | `Arr_loc of
+    Ext_json_types.t array -> Lexing.position -> Lexing.position -> unit
+  | `Null of unit -> unit
+  | `Not_found of unit -> unit
+  | `Id of Ext_json_types.t -> unit ]
 
-  go p []
+val test :
+  ?fail:(unit -> unit) ->
+  string ->
+  callback ->
+  Ext_json_types.t Map_string.t ->
+  Ext_json_types.t Map_string.t
 
-(** 
-   TODO: optimization
-   if [from] and [to] resolve to the same path, a zero-length string is returned 
+val loc_of : Ext_json_types.t -> Ext_position.t
 
-   This function is useed in [es6-global] and 
-   [amdjs-global] format and tailored for `rollup`
-*)
-let rel_normalized_absolute_path ~from to_ =
-  let root1, paths1 = split_aux from in
-  let root2, paths2 = split_aux to_ in
-  if root1 <> root2 then root2
-  else
-    let rec go xss yss =
-      match (xss, yss) with
-      | x :: xs, y :: ys ->
-          if Ext_string.equal x y then go xs ys
-          else if x = Filename.current_dir_name then go xs yss
-          else if y = Filename.current_dir_name then go xss ys
-          else
-            let start =
-              Ext_list.fold_left xs Ext_string.parent_dir_lit (fun acc _ ->
-                  acc // Ext_string.parent_dir_lit)
-            in
-            Ext_list.fold_left yss start (fun acc v -> acc // v)
-      | [], [] -> Ext_string.empty
-      | [], y :: ys -> Ext_list.fold_left ys y (fun acc x -> acc // x)
-      | _ :: xs, [] ->
-          Ext_list.fold_left xs Ext_string.parent_dir_lit (fun acc _ ->
-              acc // Ext_string.parent_dir_lit)
-    in
-    let v = go paths1 paths2 in
-
-    if Ext_string.is_empty v then Literals.node_current
-    else if
-      v = "." || v = ".."
-      || Ext_string.starts_with v "./"
-      || Ext_string.starts_with v "../"
-    then v
-    else "./" ^ v
-
-(*TODO: could be hgighly optimized later
-  {[
-    normalize_absolute_path "/gsho/./..";;
-
-    normalize_absolute_path "/a/b/../c../d/e/f";;
-
-    normalize_absolute_path "/gsho/./..";;
-
-    normalize_absolute_path "/gsho/./../..";;
-
-    normalize_absolute_path "/a/b/c/d";;
-
-    normalize_absolute_path "/a/b/c/d/";;
-
-    normalize_absolute_path "/a/";;
-
-    normalize_absolute_path "/a";;
-  ]}
-*)
-
-(** See tests in {!Ounit_path_tests} *)
-let normalize_absolute_path x =
-  let drop_if_exist xs = match xs with [] -> [] | _ :: xs -> xs in
-  let rec normalize_list acc paths =
-    match paths with
-    | [] -> acc
-    | x :: xs ->
-        if Ext_string.equal x Ext_string.current_dir_lit then
-          normalize_list acc xs
-        else if Ext_string.equal x Ext_string.parent_dir_lit then
-          normalize_list (drop_if_exist acc) xs
-        else normalize_list (x :: acc) xs
-  in
-  let root, paths = split_aux x in
-  let rev_paths = normalize_list [] paths in
-  let rec go acc rev_paths =
-    match rev_paths with
-    | [] -> Filename.concat root acc
-    | last :: rest -> go (Filename.concat last acc) rest
-  in
-  match rev_paths with [] -> root | last :: rest -> go last rest
-
-let absolute_path cwd s =
-  let process s =
-    let s = if Filename.is_relative s then Lazy.force cwd // s else s in
-    (* Now simplify . and .. components *)
-    let rec aux s =
-      let base, dir = (Filename.basename s, Filename.dirname s) in
-      if dir = s then dir
-      else if base = Filename.current_dir_name then aux dir
-      else if base = Filename.parent_dir_name then Filename.dirname (aux dir)
-      else aux dir // base
-    in
-    aux s
-  in
-  process s
-
-let absolute_cwd_path s = absolute_path cwd s
-
-(* let absolute cwd s =
-   match s with
-   | File x -> File (absolute_path cwd x )
-   | Dir x -> Dir (absolute_path cwd x) *)
-
-let concat dirname filename =
-  if filename = Filename.current_dir_name then dirname
-  else if dirname = Filename.current_dir_name then filename
-  else Filename.concat dirname filename
-
-let check_suffix_case = Ext_string.ends_with
-
-(* Input must be absolute directory *)
-let rec find_root_filename ~cwd filename =
-  if Sys.file_exists (Filename.concat cwd filename) then cwd
-  else
-    let cwd' = Filename.dirname cwd in
-    if String.length cwd' < String.length cwd then
-      find_root_filename ~cwd:cwd' filename
-    else Ext_fmt.failwithf ~loc:__LOC__ "%s not found from %s" filename cwd
-
-let find_package_json_dir cwd = find_root_filename ~cwd Literals.bsconfig_json
-
-let package_dir = lazy (find_package_json_dir (Lazy.force cwd))
-
-end
-module Bsb_config : sig 
-#1 "bsb_config.mli"
-(* Copyright (C) 2015 - 2016 Bloomberg Finance L.P.
- * Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
+end = struct
+#1 "ext_json.ml"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5344,39 +4905,60 @@ module Bsb_config : sig
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-val ocaml_bin_install_prefix : string -> string
-
-val proj_rel : string -> string
-
-val lib_lit : string
-
-val lib_js : string
-
-val lib_bs : string
-
-val lib_es6 : string
-
-val lib_es6_global : string
-
-val lib_ocaml : string
+type callback =
+  [ `Str of string -> unit
+  | `Str_loc of string -> Lexing.position -> unit
+  | `Flo of string -> unit
+  | `Flo_loc of string -> Lexing.position -> unit
+  | `Bool of bool -> unit
+  | `Obj of Ext_json_types.t Map_string.t -> unit
+  | `Arr of Ext_json_types.t array -> unit
+  | `Arr_loc of
+    Ext_json_types.t array -> Lexing.position -> Lexing.position -> unit
+  | `Null of unit -> unit
+  | `Not_found of unit -> unit
+  | `Id of Ext_json_types.t -> unit ]
 
-val all_lib_artifacts : string list
+type path = string list
 
-(* we need generate path relative to [lib/bs] directory in the opposite direction *)
-val rev_lib_bs_prefix : string -> string
+type status = No_path | Found of Ext_json_types.t | Wrong_type of path
 
-val lib_bs_prefix_of_format : Ext_module_system.t -> string
+let test ?(fail = fun () -> ()) key (cb : callback)
+    (m : Ext_json_types.t Map_string.t) =
+  (match (Map_string.find_exn m key, cb) with
+  | exception Not_found -> (
+      match cb with `Not_found f -> f () | _ -> fail ())
+  | True _, `Bool cb -> cb true
+  | False _, `Bool cb -> cb false
+  | Flo { flo = s }, `Flo cb -> cb s
+  | Flo { flo = s; loc }, `Flo_loc cb -> cb s loc
+  | Obj { map = b }, `Obj cb -> cb b
+  | Arr { content }, `Arr cb -> cb content
+  | Arr { content; loc_start; loc_end }, `Arr_loc cb ->
+      cb content loc_start loc_end
+  | Null _, `Null cb -> cb ()
+  | Str { str = s }, `Str cb -> cb s
+  | Str { str = s; loc }, `Str_loc cb -> cb s loc
+  | any, `Id cb -> cb any
+  | _, _ -> fail ());
+  m
 
-val top_prefix_of_format : Ext_module_system.t -> string
-(** default not install, only when -make-world, its dependencies will be installed  *)
+let loc_of (x : Ext_json_types.t) =
+  match x with
+  | True p | False p | Null p -> p
+  | Str p -> p.loc
+  | Arr p -> p.loc_start
+  | Obj p -> p.loc
+  | Flo p -> p.loc
 
-end = struct
-#1 "bsb_config.ml"
+end
+module Bsb_exception : sig 
+#1 "bsb_exception.mli"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
  * Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
  * This program is free software: you can redistribute it and/or modify
@@ -5396,59 +4978,40 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- * 
+ *
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
-let ( // ) = Ext_path.combine
-
-let lib_lit = "lib"
 
-let lib_js = lib_lit // "js"
-
-let lib_ocaml = lib_lit // "ocaml"
-
-let lib_bs = lib_lit // "bs"
-
-let lib_es6 = lib_lit // "es6"
+type error
+(**
+    This module is used for fatal errros
+*)
 
-let lib_es6_global = lib_lit // "es6_global"
+exception Error of error
 
-let all_lib_artifacts = [ lib_js; lib_ocaml; lib_bs; lib_es6; lib_es6_global ]
+val print : Format.formatter -> error -> unit
 
-let rev_lib_bs = ".." // ".."
+val package_not_found : pkg:Bsb_pkg_types.t -> json:string option -> 'a
 
-(* access the js directory from "lib/bs",
-   it would be '../js'
-*)
-let lib_bs_prefix_of_format (x : Ext_module_system.t) =
-  ".."
-  // match x with NodeJS -> "js" | Es6 -> "es6" | Es6_global -> "es6_global"
+val conflict_module : string -> string -> string -> exn
 
-(* lib/js, lib/es6, lib/es6_global *)
-let top_prefix_of_format (x : Ext_module_system.t) =
-  match x with
-  | NodeJS -> lib_js
-  | Es6 -> lib_es6
-  | Es6_global -> lib_es6_global
+val errorf : loc:Ext_position.t -> ('a, unit, string, 'b) format4 -> 'a
 
-let rev_lib_bs_prefix p = rev_lib_bs // p
+val config_error : Ext_json_types.t -> string -> 'a
 
-let ocaml_bin_install_prefix p = lib_ocaml // p
+val invalid_spec : string -> 'a
 
-let proj_rel path = rev_lib_bs // path
+val invalid_json : string -> 'a
 
-(** it may not be a bad idea to hard code the binary path 
-    of bsb in configuration time
-*)
+val no_implementation : string -> 'a
 
-(* let cmd_package_specs = ref None  *)
+val not_consistent : string -> 'a
 
-end
-module Bs_version : sig 
-#1 "bs_version.mli"
+end = struct
+#1 "bsb_exception.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- *
+ * Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5471,46 +5034,199 @@ module Bs_version : sig
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-val version : string
-
-val header : string
-
-val package_name : string ref
-
-end = struct
-#1 "bs_version.ml"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * In addition to the permissions granted to you by the LGPL, you may combine
- * or link a "work that uses the Library" with a publicly distributed version
- * of this file to produce a combined library or application, then distribute
- * that combined work under the terms of your choosing, with no requirement
- * to comply with the obligations normally placed on you by section 4 of the
- * LGPL version 3 (or the corresponding section of a later version of the LGPL
- * should you choose to use a later version).
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
-let version = "10.1.0-alpha.1"
-let header = "// Generated by ReScript, PLEASE EDIT WITH CARE"
-let package_name = ref "rescript"
+type error =
+  | Package_not_found of Bsb_pkg_types.t * string option (* json file *)
+  | Json_config of Ext_position.t * string
+  | Invalid_json of string
+  | Invalid_spec of string
+  | Conflict_module of string * string * string
+  | No_implementation of string
+  | Not_consistent of string
+
+exception Error of error
+
+let error err = raise (Error err)
+
+let package_not_found ~pkg ~json = error (Package_not_found (pkg, json))
+
+let print (fmt : Format.formatter) (x : error) =
+  match x with
+  | Conflict_module (modname, dir1, dir2) ->
+      Format.fprintf fmt
+        "@{<error>Error:@} %s found in two directories: (%s, %s)\n\
+         File names must be unique per project" modname dir1 dir2
+  | Not_consistent modname ->
+      Format.fprintf fmt
+        "@{<error>Error:@} %s has implementation/interface in non-consistent \
+         syntax(reason/ocaml)"
+        modname
+  | No_implementation modname ->
+      Format.fprintf fmt
+        "@{<error>Error:@} %s does not have implementation file" modname
+  | Package_not_found (name, json_opt) ->
+      let in_json =
+        match json_opt with None -> Ext_string.empty | Some x -> " in " ^ x
+      in
+      let name = Bsb_pkg_types.to_string name in
+      if Ext_string.equal name !Bs_version.package_name then
+        Format.fprintf fmt
+          "File \"bsconfig.json\", line 1\n\
+           @{<error>Error:@} package @{<error>%s@} is not found %s\n\
+           It's the basic, required package. If you have it installed globally,\n\
+           Please run `npm link rescript` to make it available" name in_json
+      else
+        Format.fprintf fmt
+          "File \"bsconfig.json\", line 1\n\
+           @{<error>Error:@} package @{<error>%s@} not found or built %s\n\
+           - Did you install it?\n\
+           - If you did, did you run `rescript build -with-deps`?" name in_json
+  | Json_config (pos, s) ->
+      Format.fprintf fmt
+        "File %S, line %d:\n\
+         @{<error>Error:@} %s \n\
+         For more details, please checkout the schema \
+         https://rescript-lang.org/docs/manual/latest/build-configuration-schema"
+        pos.pos_fname pos.pos_lnum s
+  | Invalid_spec s ->
+      Format.fprintf fmt "@{<error>Error: Invalid bsconfig.json %s@}" s
+  | Invalid_json s ->
+      Format.fprintf fmt
+        "File %S, line 1\n@{<error>Error: Invalid json format@}" s
+
+let conflict_module modname dir1 dir2 =
+  Error (Conflict_module (modname, dir1, dir2))
+
+let no_implementation modname = error (No_implementation modname)
+
+let not_consistent modname = error (Not_consistent modname)
+
+let errorf ~loc fmt =
+  Format.ksprintf (fun s -> error (Json_config (loc, s))) fmt
+
+let config_error config fmt =
+  let loc = Ext_json.loc_of config in
+
+  error (Json_config (loc, fmt))
+
+let invalid_spec s = error (Invalid_spec s)
+
+let invalid_json s = error (Invalid_json s)
+
+let () =
+  Printexc.register_printer (fun x ->
+      match x with Error x -> Some (Format.asprintf "%a" print x) | _ -> None)
 
 end
-module Bsb_pkg_types : sig 
-#1 "bsb_pkg_types.mli"
-(* Copyright (C) 2019- Hongbo Zhang, Authors of ReScript
- *
+module Bsb_jsx
+= struct
+#1 "bsb_jsx.ml"
+type version = Jsx_v3 | Jsx_v4
+type module_ = React
+type mode = Classic | Automatic
+type dependencies = string list
+
+type t = {
+  version : version option;
+  module_ : module_ option;
+  mode : mode option;
+  v3_dependencies : dependencies;
+}
+
+let encode_no_nl jsx =
+  (match jsx.version with
+  | None -> ""
+  | Some Jsx_v3 -> "3"
+  | Some Jsx_v4 -> "4")
+  ^ (match jsx.module_ with None -> "" | Some React -> "React")
+  ^
+  match jsx.mode with
+  | None -> ""
+  | Some Classic -> "Classic"
+  | Some Automatic -> "Automatic"
+
+let ( .?() ) = Map_string.find_opt
+let ( |? ) m (key, cb) = m |> Ext_json.test key cb
+
+let get_list_string_acc (s : Ext_json_types.t array) acc =
+  Ext_array.to_list_map_acc s acc (fun x ->
+      match x with Str x -> Some x.str | _ -> None)
+
+let get_list_string s = get_list_string_acc s []
+
+let from_map map =
+  let version : version option ref = ref None in
+  let module_ : module_ option ref = ref None in
+  let mode : mode option ref = ref None in
+  let v3_dependencies : dependencies ref = ref [] in
+  map
+  |? ( Bsb_build_schemas.jsx,
+       `Obj
+         (fun m ->
+           match m.?(Bsb_build_schemas.jsx_version) with
+           | Some (Flo { loc; flo }) -> (
+               match flo with
+               | "3" -> version := Some Jsx_v3
+               | "4" -> version := Some Jsx_v4
+               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx version %s" flo
+               )
+           | Some x ->
+               Bsb_exception.config_error x
+                 "Unexpected input (expect a version number) for jsx version"
+           | None -> ()) )
+  |? ( Bsb_build_schemas.jsx,
+       `Obj
+         (fun m ->
+           match m.?(Bsb_build_schemas.jsx_module) with
+           | Some (Str { loc; str }) -> (
+               match str with
+               | "react" -> module_ := Some React
+               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx module %s" str)
+           | Some x ->
+               Bsb_exception.config_error x
+                 "Unexpected input (jsx module name) for jsx module"
+           | None -> ()) )
+  |? ( Bsb_build_schemas.jsx,
+       `Obj
+         (fun m ->
+           match m.?(Bsb_build_schemas.jsx_mode) with
+           | Some (Str { loc; str }) -> (
+               match str with
+               | "classic" -> mode := Some Classic
+               | "automatic" -> mode := Some Automatic
+               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx mode %s" str)
+           | Some x ->
+               Bsb_exception.config_error x
+                 "Unexpected input (expect classic or automatic) for jsx mode"
+           | None -> ()) )
+  |? ( Bsb_build_schemas.jsx,
+       `Obj
+         (fun m ->
+           match m.?(Bsb_build_schemas.jsx_v3_dependencies) with
+           | Some (Arr { content }) ->
+            v3_dependencies := get_list_string content
+           | Some x ->
+               Bsb_exception.config_error x
+                 "Unexpected input for jsx v3-dependencies"
+           | None -> ()) )
+  |> ignore;
+  {
+    version = !version;
+    module_ = !module_;
+    mode = !mode;
+    v3_dependencies = !v3_dependencies;
+  }
+
+end
+module Ext_module_system
+= struct
+#1 "ext_module_system.ml"
+type t = NodeJS | Es6 | Es6_global
+
+end
+module Ext_pervasives : sig 
+#1 "ext_pervasives.mli"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5528,31 +5244,45 @@ module Bsb_pkg_types : sig
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type t = Global of string | Scope of string * scope
+(** Extension to standard library [Pervavives] module, safe to open 
+*)
 
-and scope = string
+external reraise : exn -> 'a = "%reraise"
 
-val to_string : t -> string
+val finally : 'a -> clean:('a -> unit) -> ('a -> 'b) -> 'b
 
-val print : Format.formatter -> t -> unit
+(* val try_it : (unit -> 'a) ->  unit  *)
 
-val equal : t -> t -> bool
+val with_file_as_chan : string -> (out_channel -> 'a) -> 'a
 
-(* The second element could be empty or dropped 
+val max_int : int -> int -> int
+
+val min_int : int -> int -> int
+
+val max_int_option : int option -> int option -> int option
+
+(* external id : 'a -> 'a = "%identity" *)
+
+(** Copied from {!Btype.hash_variant}:
+    need sync up and add test case
 *)
-val extract_pkg_name_and_file : string -> t * string
+(* val hash_variant : string -> int *)
 
-val string_as_package : string -> t
+(* val todo : string -> 'a *)
+
+val nat_of_string_exn : string -> int
+
+val parse_nat_of_string : string -> int ref -> int
 
 end = struct
-#1 "bsb_pkg_types.ml"
-(* Copyright (C) 2018- Hongbo Zhang, Authors of ReScript
- *
+#1 "ext_pervasives.ml"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5570,82 +5300,104 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-let ( // ) = Filename.concat
+external reraise : exn -> 'a = "%reraise"
 
-type t = Global of string | Scope of string * scope
+let finally v ~clean:action f =
+  match f v with
+  | exception e ->
+      action v;
+      reraise e
+  | e ->
+      action v;
+      e
 
-and scope = string
+(* let try_it f  =
+   try ignore (f ()) with _ -> () *)
 
-let to_string (x : t) =
-  match x with Global s -> s | Scope (s, scope) -> scope // s
+let with_file_as_chan filename f =
+  finally (open_out_bin filename) ~clean:close_out f
 
-let print fmt (x : t) =
-  match x with
-  | Global s -> Format.pp_print_string fmt s
-  | Scope (name, scope) -> Format.fprintf fmt "%s/%s" scope name
+let max_int (x : int) y = if x >= y then x else y
 
-let equal (x : t) y =
-  match (x, y) with
-  | Scope (a0, a1), Scope (b0, b1) -> a0 = b0 && a1 = b1
-  | Global a0, Global b0 -> a0 = b0
-  | Scope _, Global _ | Global _, Scope _ -> false
+let min_int (x : int) y = if x < y then x else y
 
-(**
-   input: {[
-     @hello/yy/xx
-        hello/yy
-   ]}
-   FIXME: fix invalid input
-   {[
-     hello//xh//helo
-   ]}
+let max_int_option (x : int option) y =
+  match (x, y) with
+  | None, _ -> y
+  | Some _, None -> x
+  | Some x0, Some y0 -> if x0 >= y0 then x else y
+
+(* external id : 'a -> 'a = "%identity" *)
+
+(*
+   let hash_variant s =
+     let accu = ref 0 in
+     for i = 0 to String.length s - 1 do
+       accu := 223 * !accu + Char.code s.[i]
+     done;
+     (* reduce to 31 bits *)
+     accu := !accu land (1 lsl 31 - 1);
+     (* make it signed for 64 bits architectures *)
+     if !accu > 0x3FFFFFFF then !accu - (1 lsl 31) else !accu *)
+
+(* let todo loc =
+   failwith (loc ^ " Not supported yet")
 *)
-let extract_pkg_name_and_file (s : string) =
-  let len = String.length s in
-  assert (len > 0);
-  let v = String.unsafe_get s 0 in
-  if v = '@' then (
-    let scope_id = Ext_string.no_slash_idx s in
-    assert (scope_id > 0);
-    let pkg_id = Ext_string.no_slash_idx_from s (scope_id + 1) in
-    let scope = String.sub s 0 scope_id in
 
-    if pkg_id < 0 then
-      (Scope (String.sub s (scope_id + 1) (len - scope_id - 1), scope), "")
-    else
-      ( Scope (String.sub s (scope_id + 1) (pkg_id - scope_id - 1), scope),
-        String.sub s (pkg_id + 1) (len - pkg_id - 1) ))
+let rec int_of_string_aux s acc off len =
+  if off >= len then acc
   else
-    let pkg_id = Ext_string.no_slash_idx s in
-    if pkg_id < 0 then (Global s, "")
-    else
-      ( Global (String.sub s 0 pkg_id),
-        String.sub s (pkg_id + 1) (len - pkg_id - 1) )
+    let d = Char.code (String.unsafe_get s off) - 48 in
+    if d >= 0 && d <= 9 then int_of_string_aux s ((10 * acc) + d) (off + 1) len
+    else -1
+(* error *)
 
-let string_as_package (s : string) : t =
-  let len = String.length s in
-  assert (len > 0);
-  let v = String.unsafe_get s 0 in
-  if v = '@' then (
-    let scope_id = Ext_string.no_slash_idx s in
-    assert (scope_id > 0);
-    (* better-eror message for invalid scope package:
-       @rescript/std
-    *)
-    Scope
-      (String.sub s (scope_id + 1) (len - scope_id - 1), String.sub s 0 scope_id))
-  else Global s
+let nat_of_string_exn (s : string) =
+  let acc = int_of_string_aux s 0 0 (String.length s) in
+  if acc < 0 then invalid_arg s else acc
+
+(** return index *)
+let parse_nat_of_string (s : string) (cursor : int ref) =
+  let current = !cursor in
+  assert (current >= 0);
+  let acc = ref 0 in
+  let s_len = String.length s in
+  let todo = ref true in
+  let cur = ref current in
+  while !todo && !cursor < s_len do
+    let d = Char.code (String.unsafe_get s !cur) - 48 in
+    if d >= 0 && d <= 9 then (
+      acc := (10 * !acc) + d;
+      incr cur)
+    else todo := false
+  done;
+  cursor := !cur;
+  !acc
 
 end
-module Ext_json_types
+module Ext_fmt
 = struct
-#1 "ext_json_types.ml"
-(* Copyright (C) 2015-2017 Bloomberg Finance L.P.
+#1 "ext_fmt.ml"
+let with_file_as_pp filename f =
+  Ext_pervasives.finally (open_out_bin filename) ~clean:close_out (fun chan ->
+      let fmt = Format.formatter_of_out_channel chan in
+      let v = f fmt in
+      Format.pp_print_flush fmt ();
+      v)
+
+let failwithf ~loc fmt = Format.ksprintf (fun s -> failwith (loc ^ s)) fmt
+
+let invalid_argf fmt = Format.ksprintf invalid_arg fmt
+
+end
+module Ext_sys : sig 
+#1 "ext_sys.mli"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
  * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -5669,30 +5421,14 @@ module Ext_json_types
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type loc = Lexing.position
-
-type json_str = { str : string; loc : loc }
-
-type json_flo = { flo : string; loc : loc }
-
-type json_array = { content : t array; loc_start : loc; loc_end : loc }
-
-and json_map = { map : t Map_string.t; loc : loc }
+val is_directory_no_exn : string -> bool
 
-and t =
-  | True of loc
-  | False of loc
-  | Null of loc
-  | Flo of json_flo
-  | Str of json_str
-  | Arr of json_array
-  | Obj of json_map
+val is_windows_or_cygwin : bool
 
-end
-module Ext_position : sig 
-#1 "ext_position.mli"
+end = struct
+#1 "ext_sys.pp.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- *
+ * 
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
  * the Free Software Foundation, either version 3 of the License, or
@@ -5710,33 +5446,25 @@ module Ext_position : sig
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type t = Lexing.position = {
-  pos_fname : string;
-  pos_lnum : int;
-  pos_bol : int;
-  pos_cnum : int;
-}
+(** TODO: not exported yet, wait for Windows Fix*)
 
-val offset : t -> t -> t
-(** [offset pos newpos]
-    return a new position
-    here [newpos] is zero based, the use case is that
-    at position [pos], we get a string and Lexing from that string,
-    therefore, we get a [newpos] and we need rebase it on top of 
-    [pos]
-*)
+external is_directory_no_exn : string -> bool = "caml_sys_is_directory_no_exn"
 
-val lexbuf_from_channel_with_fname : in_channel -> string -> Lexing.lexbuf
 
-val print : Format.formatter -> t -> unit
 
-end = struct
-#1 "ext_position.ml"
+let is_windows_or_cygwin = Sys.win32 || Sys.cygwin
+
+
+
+end
+module Literals
+= struct
+#1 "literals.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
  *
  * This program is free software: you can redistribute it and/or modify
@@ -5761,100 +5489,176 @@ end = struct
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type t = Lexing.position = {
-  pos_fname : string;
-  pos_lnum : int;
-  pos_bol : int;
-  pos_cnum : int;
-}
+let js_array_ctor = "Array"
 
-let offset (x : t) (y : t) =
-  {
-    x with
-    pos_lnum = x.pos_lnum + y.pos_lnum - 1;
-    pos_cnum = x.pos_cnum + y.pos_cnum;
-    pos_bol = (if y.pos_lnum = 1 then x.pos_bol else x.pos_cnum + y.pos_bol);
-  }
+let js_type_number = "number"
 
-let print fmt (pos : t) =
-  Format.fprintf fmt "(line %d, column %d)" pos.pos_lnum
-    (pos.pos_cnum - pos.pos_bol)
+let js_type_string = "string"
 
-let lexbuf_from_channel_with_fname ic fname =
-  let x = Lexing.from_function (fun buf n -> input ic buf 0 n) in
-  let pos : t =
-    {
-      pos_fname = fname;
-      pos_lnum = 1;
-      pos_bol = 0;
-      pos_cnum = 0 (* copied from zero_pos*);
-    }
-  in
-  x.lex_start_p <- pos;
-  x.lex_curr_p <- pos;
-  x
+let js_type_object = "object"
 
-end
-module Ext_json : sig 
-#1 "ext_json.mli"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- * 
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * In addition to the permissions granted to you by the LGPL, you may combine
- * or link a "work that uses the Library" with a publicly distributed version
- * of this file to produce a combined library or application, then distribute
- * that combined work under the terms of your choosing, with no requirement
- * to comply with the obligations normally placed on you by section 4 of the
- * LGPL version 3 (or the corresponding section of a later version of the LGPL
- * should you choose to use a later version).
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- * 
- * You should have received a copy of the GNU Lesser General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
+let js_type_boolean = "boolean"
 
-type path = string list
+let js_undefined = "undefined"
 
-type status = No_path | Found of Ext_json_types.t | Wrong_type of path
+let js_prop_length = "length"
 
-type callback =
-  [ `Str of string -> unit
-  | `Str_loc of string -> Lexing.position -> unit
-  | `Flo of string -> unit
-  | `Flo_loc of string -> Lexing.position -> unit
-  | `Bool of bool -> unit
-  | `Obj of Ext_json_types.t Map_string.t -> unit
-  | `Arr of Ext_json_types.t array -> unit
-  | `Arr_loc of
-    Ext_json_types.t array -> Lexing.position -> Lexing.position -> unit
-  | `Null of unit -> unit
-  | `Not_found of unit -> unit
-  | `Id of Ext_json_types.t -> unit ]
+let prim = "prim"
 
-val test :
-  ?fail:(unit -> unit) ->
-  string ->
-  callback ->
-  Ext_json_types.t Map_string.t ->
-  Ext_json_types.t Map_string.t
+let param = "param"
 
-val loc_of : Ext_json_types.t -> Ext_position.t
+let partial_arg = "partial_arg"
 
-end = struct
-#1 "ext_json.ml"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
+let tmp = "tmp"
+
+let create = "create" (* {!Caml_exceptions.create}*)
+
+let runtime = "runtime" (* runtime directory *)
+
+let stdlib = "stdlib"
+
+let imul = "imul" (* signed int32 mul *)
+
+let setter_suffix = "#="
+
+let setter_suffix_len = String.length setter_suffix
+
+let debugger = "debugger"
+
+let fn_run = "fn_run"
+
+let method_run = "method_run"
+
+let fn_method = "fn_method"
+
+let fn_mk = "fn_mk"
+(*let js_fn_runmethod = "js_fn_runmethod"*)
+
+(** nodejs *)
+let node_modules = "node_modules"
+
+let node_modules_length = String.length "node_modules"
+
+let package_json = "package.json"
+
+let bsconfig_json = "bsconfig.json"
+
+let build_ninja = "build.ninja"
+
+(* Name of the library file created for each external dependency. *)
+let library_file = "lib"
+
+let suffix_a = ".a"
+
+let suffix_cmj = ".cmj"
+
+let suffix_cmo = ".cmo"
+
+let suffix_cma = ".cma"
+
+let suffix_cmi = ".cmi"
+
+let suffix_cmx = ".cmx"
+
+let suffix_cmxa = ".cmxa"
+
+let suffix_mll = ".mll"
+
+let suffix_ml = ".ml"
+
+let suffix_mli = ".mli"
+
+let suffix_re = ".re"
+
+let suffix_rei = ".rei"
+
+let suffix_res = ".res"
+
+let suffix_resi = ".resi"
+
+let suffix_mlmap = ".mlmap"
+
+let suffix_cmt = ".cmt"
+
+let suffix_cmti = ".cmti"
+
+let suffix_ast = ".ast"
+
+let suffix_iast = ".iast"
+
+let suffix_d = ".d"
+
+let suffix_js = ".js"
+
+let suffix_bs_js = ".bs.js"
+
+let suffix_mjs = ".mjs"
+
+let suffix_bs_mjs = ".bs.mjs"
+
+let suffix_cjs = ".cjs"
+
+let suffix_bs_cjs = ".bs.cjs"
+
+let suffix_gen_js = ".gen.js"
+
+let suffix_gen_tsx = ".gen.tsx"
+
+let commonjs = "commonjs"
+
+let es6 = "es6"
+
+let es6_global = "es6-global"
+
+let unused_attribute = "Unused attribute "
+
+(** Used when produce node compatible paths *)
+let node_sep = "/"
+
+let node_parent = ".."
+
+let node_current = "."
+
+let gentype_import1 = "genType.import"
+let gentype_import2 = "gentype.import"
+
+let bsbuild_cache = ".bsbuild"
+
+let sourcedirs_meta = ".sourcedirs.json"
+
+(* Note the build system should check the validity of filenames
+   espeically, it should not contain '-'
+*)
+let ns_sep_char = '-'
+
+let ns_sep = "-"
+
+let exception_id = "RE_EXN_ID"
+
+let polyvar_hash = "NAME"
+
+let polyvar_value = "VAL"
+
+let cons = "::"
+
+let hd = "hd"
+
+let tl = "tl"
+
+let lazy_done = "LAZY_DONE"
+
+let lazy_val = "VAL"
+
+let pure = "@__PURE__"
+
+end
+module Ext_path : sig 
+#1 "ext_path.mli"
+(* Copyright (C) 2017 Authors of ReScript
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
  * (at your option) any later version.
  *
  * In addition to the permissions granted to you by the LGPL, you may combine
@@ -5869,61 +5673,348 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type callback =
-  [ `Str of string -> unit
-  | `Str_loc of string -> Lexing.position -> unit
-  | `Flo of string -> unit
-  | `Flo_loc of string -> Lexing.position -> unit
-  | `Bool of bool -> unit
-  | `Obj of Ext_json_types.t Map_string.t -> unit
-  | `Arr of Ext_json_types.t array -> unit
-  | `Arr_loc of
-    Ext_json_types.t array -> Lexing.position -> Lexing.position -> unit
-  | `Null of unit -> unit
-  | `Not_found of unit -> unit
-  | `Id of Ext_json_types.t -> unit ]
+type t
 
-type path = string list
+val simple_convert_node_path_to_os_path : string -> string
+(** Js_output is node style, which means 
+    separator is only '/'
 
-type status = No_path | Found of Ext_json_types.t | Wrong_type of path
+    if the path contains 'node_modules', 
+    [node_relative_path] will discard its prefix and 
+    just treat it as a library instead
+*)
 
-let test ?(fail = fun () -> ()) key (cb : callback)
-    (m : Ext_json_types.t Map_string.t) =
-  (match (Map_string.find_exn m key, cb) with
-  | exception Not_found -> (
-      match cb with `Not_found f -> f () | _ -> fail ())
-  | True _, `Bool cb -> cb true
-  | False _, `Bool cb -> cb false
-  | Flo { flo = s }, `Flo cb -> cb s
-  | Flo { flo = s; loc }, `Flo_loc cb -> cb s loc
-  | Obj { map = b }, `Obj cb -> cb b
-  | Arr { content }, `Arr cb -> cb content
-  | Arr { content; loc_start; loc_end }, `Arr_loc cb ->
-      cb content loc_start loc_end
-  | Null _, `Null cb -> cb ()
-  | Str { str = s }, `Str cb -> cb s
-  | Str { str = s; loc }, `Str_loc cb -> cb s loc
-  | any, `Id cb -> cb any
-  | _, _ -> fail ());
-  m
+val combine : string -> string -> string
+(**
+   [combine path1 path2]
+   1. add some simplifications when concatenating
+   2. when [path2] is absolute, return [path2]
+*)
 
-let loc_of (x : Ext_json_types.t) =
-  match x with
-  | True p | False p | Null p -> p
-  | Str p -> p.loc
-  | Arr p -> p.loc_start
-  | Obj p -> p.loc
-  | Flo p -> p.loc
+(**
+   {[
+     get_extension "a.txt" = ".txt"
+       get_extension "a" = ""
+   ]}
+*)
 
-end
-module Bsb_exception : sig 
-#1 "bsb_exception.mli"
-(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+val node_rebase_file : from:string -> to_:string -> string -> string
+
+val rel_normalized_absolute_path : from:string -> string -> string
+(** 
+   TODO: could be highly optimized
+   if [from] and [to] resolve to the same path, a zero-length string is returned 
+   Given that two paths are directory
+
+   A typical use case is 
+   {[
+     Filename.concat 
+       (rel_normalized_absolute_path cwd (Filename.dirname a))
+       (Filename.basename a)
+   ]}
+*)
+
+val normalize_absolute_path : string -> string
+
+val absolute_cwd_path : string -> string
+
+val concat : string -> string -> string
+(** [concat dirname filename]
+    The same as {!Filename.concat} except a tiny optimization 
+    for current directory simplification
+*)
+
+val check_suffix_case : string -> string -> bool
+
+(* It is lazy so that it will not hit errors when in script mode *)
+val package_dir : string Lazy.t
+
+end = struct
+#1 "ext_path.ml"
+(* Copyright (C) 2017 Hongbo Zhang, Authors of ReScript
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * In addition to the permissions granted to you by the LGPL, you may combine
+ * or link a "work that uses the Library" with a publicly distributed version
+ * of this file to produce a combined library or application, then distribute
+ * that combined work under the terms of your choosing, with no requirement
+ * to comply with the obligations normally placed on you by section 4 of the
+ * LGPL version 3 (or the corresponding section of a later version of the LGPL
+ * should you choose to use a later version).
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
+
+(* [@@@warning "-37"] *)
+type t = (* | File of string  *)
+  | Dir of string [@@unboxed]
+
+let simple_convert_node_path_to_os_path =
+  if Sys.unix then fun x -> x
+  else if Sys.win32 || Sys.cygwin then Ext_string.replace_slash_backward
+  else failwith ("Unknown OS : " ^ Sys.os_type)
+
+let cwd = lazy (Sys.getcwd ())
+
+let split_by_sep_per_os : string -> string list =
+  if Ext_sys.is_windows_or_cygwin then fun x ->
+    (* on Windows, we can still accept -bs-package-output lib/js *)
+    Ext_string.split_by
+      (fun x -> match x with '/' | '\\' -> true | _ -> false)
+      x
+  else fun x -> Ext_string.split x '/'
+
+(** example
+    {[
+      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/external/pervasives.cmj"
+        "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/ocaml_array.ml"
+    ]}
+
+    The other way
+    {[
+
+      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/ocaml_array.ml"
+        "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib/external/pervasives.cmj"
+    ]}
+    {[
+      "/bb/mbigc/mbig2899/bgit/bucklescript/jscomp/stdlib//ocaml_array.ml"
+    ]}
+    {[
+      /a/b
+      /c/d
+    ]}
+*)
+let node_relative_path ~from:(file_or_dir_2 : t) (file_or_dir_1 : t) =
+  let relevant_dir1 =
+    match file_or_dir_1 with Dir x -> x
+    (* | File file1 ->  Filename.dirname file1 *)
+  in
+  let relevant_dir2 =
+    match file_or_dir_2 with Dir x -> x
+    (* | File file2 -> Filename.dirname file2  *)
+  in
+  let dir1 = split_by_sep_per_os relevant_dir1 in
+  let dir2 = split_by_sep_per_os relevant_dir2 in
+  let rec go (dir1 : string list) (dir2 : string list) =
+    match (dir1, dir2) with
+    | "." :: xs, ys -> go xs ys
+    | xs, "." :: ys -> go xs ys
+    | x :: xs, y :: ys when x = y -> go xs ys
+    | _, _ -> Ext_list.map_append dir2 dir1 (fun _ -> Literals.node_parent)
+  in
+  match go dir1 dir2 with
+  | x :: _ as ys when x = Literals.node_parent ->
+      String.concat Literals.node_sep ys
+  | ys -> String.concat Literals.node_sep @@ (Literals.node_current :: ys)
+
+let node_concat ~dir base = dir ^ Literals.node_sep ^ base
+
+let node_rebase_file ~from ~to_ file =
+  node_concat
+    ~dir:
+      (if from = to_ then Literals.node_current
+      else node_relative_path ~from:(Dir from) (Dir to_))
+    file
+
+(***
+   {[
+     Filename.concat "." "";;
+     "./"
+   ]}
+*)
+let combine path1 path2 =
+  if Filename.is_relative path2 then
+    if Ext_string.is_empty path2 then path1
+    else if path1 = Filename.current_dir_name then path2
+    else if path2 = Filename.current_dir_name then path1
+    else Filename.concat path1 path2
+  else path2
+
+let ( // ) x y =
+  if x = Filename.current_dir_name then y
+  else if y = Filename.current_dir_name then x
+  else Filename.concat x y
+
+(**
+   {[
+     split_aux "//ghosg//ghsogh/";;
+     - : string * string list = ("/", ["ghosg"; "ghsogh"])
+   ]}
+   Note that 
+   {[
+     Filename.dirname "/a/" = "/"
+       Filename.dirname "/a/b/" = Filename.dirname "/a/b" = "/a"
+   ]}
+   Special case:
+   {[
+     basename "//" = "/"
+       basename "///"  = "/"
+   ]}
+   {[
+     basename "" =  "."
+       basename "" = "."
+       dirname "" = "."
+       dirname "" =  "."
+   ]}  
+*)
+let split_aux p =
+  let rec go p acc =
+    let dir = Filename.dirname p in
+    if dir = p then (dir, acc)
+    else
+      let new_path = Filename.basename p in
+      if Ext_string.equal new_path Filename.dir_sep then go dir acc
+        (* We could do more path simplification here
+           leave to [rel_normalized_absolute_path]
+        *)
+      else go dir (new_path :: acc)
+  in
+
+  go p []
+
+(** 
+   TODO: optimization
+   if [from] and [to] resolve to the same path, a zero-length string is returned 
+
+   This function is useed in [es6-global] and 
+   [amdjs-global] format and tailored for `rollup`
+*)
+let rel_normalized_absolute_path ~from to_ =
+  let root1, paths1 = split_aux from in
+  let root2, paths2 = split_aux to_ in
+  if root1 <> root2 then root2
+  else
+    let rec go xss yss =
+      match (xss, yss) with
+      | x :: xs, y :: ys ->
+          if Ext_string.equal x y then go xs ys
+          else if x = Filename.current_dir_name then go xs yss
+          else if y = Filename.current_dir_name then go xss ys
+          else
+            let start =
+              Ext_list.fold_left xs Ext_string.parent_dir_lit (fun acc _ ->
+                  acc // Ext_string.parent_dir_lit)
+            in
+            Ext_list.fold_left yss start (fun acc v -> acc // v)
+      | [], [] -> Ext_string.empty
+      | [], y :: ys -> Ext_list.fold_left ys y (fun acc x -> acc // x)
+      | _ :: xs, [] ->
+          Ext_list.fold_left xs Ext_string.parent_dir_lit (fun acc _ ->
+              acc // Ext_string.parent_dir_lit)
+    in
+    let v = go paths1 paths2 in
+
+    if Ext_string.is_empty v then Literals.node_current
+    else if
+      v = "." || v = ".."
+      || Ext_string.starts_with v "./"
+      || Ext_string.starts_with v "../"
+    then v
+    else "./" ^ v
+
+(*TODO: could be hgighly optimized later
+  {[
+    normalize_absolute_path "/gsho/./..";;
+
+    normalize_absolute_path "/a/b/../c../d/e/f";;
+
+    normalize_absolute_path "/gsho/./..";;
+
+    normalize_absolute_path "/gsho/./../..";;
+
+    normalize_absolute_path "/a/b/c/d";;
+
+    normalize_absolute_path "/a/b/c/d/";;
+
+    normalize_absolute_path "/a/";;
+
+    normalize_absolute_path "/a";;
+  ]}
+*)
+
+(** See tests in {!Ounit_path_tests} *)
+let normalize_absolute_path x =
+  let drop_if_exist xs = match xs with [] -> [] | _ :: xs -> xs in
+  let rec normalize_list acc paths =
+    match paths with
+    | [] -> acc
+    | x :: xs ->
+        if Ext_string.equal x Ext_string.current_dir_lit then
+          normalize_list acc xs
+        else if Ext_string.equal x Ext_string.parent_dir_lit then
+          normalize_list (drop_if_exist acc) xs
+        else normalize_list (x :: acc) xs
+  in
+  let root, paths = split_aux x in
+  let rev_paths = normalize_list [] paths in
+  let rec go acc rev_paths =
+    match rev_paths with
+    | [] -> Filename.concat root acc
+    | last :: rest -> go (Filename.concat last acc) rest
+  in
+  match rev_paths with [] -> root | last :: rest -> go last rest
+
+let absolute_path cwd s =
+  let process s =
+    let s = if Filename.is_relative s then Lazy.force cwd // s else s in
+    (* Now simplify . and .. components *)
+    let rec aux s =
+      let base, dir = (Filename.basename s, Filename.dirname s) in
+      if dir = s then dir
+      else if base = Filename.current_dir_name then aux dir
+      else if base = Filename.parent_dir_name then Filename.dirname (aux dir)
+      else aux dir // base
+    in
+    aux s
+  in
+  process s
+
+let absolute_cwd_path s = absolute_path cwd s
+
+(* let absolute cwd s =
+   match s with
+   | File x -> File (absolute_path cwd x )
+   | Dir x -> Dir (absolute_path cwd x) *)
+
+let concat dirname filename =
+  if filename = Filename.current_dir_name then dirname
+  else if dirname = Filename.current_dir_name then filename
+  else Filename.concat dirname filename
+
+let check_suffix_case = Ext_string.ends_with
+
+(* Input must be absolute directory *)
+let rec find_root_filename ~cwd filename =
+  if Sys.file_exists (Filename.concat cwd filename) then cwd
+  else
+    let cwd' = Filename.dirname cwd in
+    if String.length cwd' < String.length cwd then
+      find_root_filename ~cwd:cwd' filename
+    else Ext_fmt.failwithf ~loc:__LOC__ "%s not found from %s" filename cwd
+
+let find_package_json_dir cwd = find_root_filename ~cwd Literals.bsconfig_json
+
+let package_dir = lazy (find_package_json_dir (Lazy.force cwd))
+
+end
+module Bsb_config : sig 
+#1 "bsb_config.mli"
+(* Copyright (C) 2015 - 2016 Bloomberg Finance L.P.
  * Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -5942,38 +6033,39 @@ module Bsb_exception : sig
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-type error
-(**
-    This module is used for fatal errros
-*)
+val ocaml_bin_install_prefix : string -> string
 
-exception Error of error
+val proj_rel : string -> string
 
-val print : Format.formatter -> error -> unit
+val lib_lit : string
 
-val package_not_found : pkg:Bsb_pkg_types.t -> json:string option -> 'a
+val lib_js : string
 
-val conflict_module : string -> string -> string -> exn
+val lib_bs : string
 
-val errorf : loc:Ext_position.t -> ('a, unit, string, 'b) format4 -> 'a
+val lib_es6 : string
 
-val config_error : Ext_json_types.t -> string -> 'a
+val lib_es6_global : string
 
-val invalid_spec : string -> 'a
+val lib_ocaml : string
 
-val invalid_json : string -> 'a
+val all_lib_artifacts : string list
 
-val no_implementation : string -> 'a
+(* we need generate path relative to [lib/bs] directory in the opposite direction *)
+val rev_lib_bs_prefix : string -> string
 
-val not_consistent : string -> 'a
+val lib_bs_prefix_of_format : Ext_module_system.t -> string
+
+val top_prefix_of_format : Ext_module_system.t -> string
+(** default not install, only when -make-world, its dependencies will be installed  *)
 
 end = struct
-#1 "bsb_exception.ml"
+#1 "bsb_config.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
  * Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
  * This program is free software: you can redistribute it and/or modify
@@ -5993,92 +6085,53 @@ end = struct
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU Lesser General Public License for more details.
- *
+ * 
  * You should have received a copy of the GNU Lesser General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
+let ( // ) = Ext_path.combine
 
-type error =
-  | Package_not_found of Bsb_pkg_types.t * string option (* json file *)
-  | Json_config of Ext_position.t * string
-  | Invalid_json of string
-  | Invalid_spec of string
-  | Conflict_module of string * string * string
-  | No_implementation of string
-  | Not_consistent of string
+let lib_lit = "lib"
 
-exception Error of error
+let lib_js = lib_lit // "js"
 
-let error err = raise (Error err)
+let lib_ocaml = lib_lit // "ocaml"
 
-let package_not_found ~pkg ~json = error (Package_not_found (pkg, json))
+let lib_bs = lib_lit // "bs"
 
-let print (fmt : Format.formatter) (x : error) =
-  match x with
-  | Conflict_module (modname, dir1, dir2) ->
-      Format.fprintf fmt
-        "@{<error>Error:@} %s found in two directories: (%s, %s)\n\
-         File names must be unique per project" modname dir1 dir2
-  | Not_consistent modname ->
-      Format.fprintf fmt
-        "@{<error>Error:@} %s has implementation/interface in non-consistent \
-         syntax(reason/ocaml)"
-        modname
-  | No_implementation modname ->
-      Format.fprintf fmt
-        "@{<error>Error:@} %s does not have implementation file" modname
-  | Package_not_found (name, json_opt) ->
-      let in_json =
-        match json_opt with None -> Ext_string.empty | Some x -> " in " ^ x
-      in
-      let name = Bsb_pkg_types.to_string name in
-      if Ext_string.equal name !Bs_version.package_name then
-        Format.fprintf fmt
-          "File \"bsconfig.json\", line 1\n\
-           @{<error>Error:@} package @{<error>%s@} is not found %s\n\
-           It's the basic, required package. If you have it installed globally,\n\
-           Please run `npm link rescript` to make it available" name in_json
-      else
-        Format.fprintf fmt
-          "File \"bsconfig.json\", line 1\n\
-           @{<error>Error:@} package @{<error>%s@} not found or built %s\n\
-           - Did you install it?\n\
-           - If you did, did you run `rescript build -with-deps`?" name in_json
-  | Json_config (pos, s) ->
-      Format.fprintf fmt
-        "File %S, line %d:\n\
-         @{<error>Error:@} %s \n\
-         For more details, please checkout the schema \
-         https://rescript-lang.org/docs/manual/latest/build-configuration-schema"
-        pos.pos_fname pos.pos_lnum s
-  | Invalid_spec s ->
-      Format.fprintf fmt "@{<error>Error: Invalid bsconfig.json %s@}" s
-  | Invalid_json s ->
-      Format.fprintf fmt
-        "File %S, line 1\n@{<error>Error: Invalid json format@}" s
+let lib_es6 = lib_lit // "es6"
 
-let conflict_module modname dir1 dir2 =
-  Error (Conflict_module (modname, dir1, dir2))
+let lib_es6_global = lib_lit // "es6_global"
 
-let no_implementation modname = error (No_implementation modname)
+let all_lib_artifacts = [ lib_js; lib_ocaml; lib_bs; lib_es6; lib_es6_global ]
 
-let not_consistent modname = error (Not_consistent modname)
+let rev_lib_bs = ".." // ".."
 
-let errorf ~loc fmt =
-  Format.ksprintf (fun s -> error (Json_config (loc, s))) fmt
+(* access the js directory from "lib/bs",
+   it would be '../js'
+*)
+let lib_bs_prefix_of_format (x : Ext_module_system.t) =
+  ".."
+  // match x with NodeJS -> "js" | Es6 -> "es6" | Es6_global -> "es6_global"
 
-let config_error config fmt =
-  let loc = Ext_json.loc_of config in
+(* lib/js, lib/es6, lib/es6_global *)
+let top_prefix_of_format (x : Ext_module_system.t) =
+  match x with
+  | NodeJS -> lib_js
+  | Es6 -> lib_es6
+  | Es6_global -> lib_es6_global
 
-  error (Json_config (loc, fmt))
+let rev_lib_bs_prefix p = rev_lib_bs // p
 
-let invalid_spec s = error (Invalid_spec s)
+let ocaml_bin_install_prefix p = lib_ocaml // p
 
-let invalid_json s = error (Invalid_json s)
+let proj_rel path = rev_lib_bs // path
 
-let () =
-  Printexc.register_printer (fun x ->
-      match x with Error x -> Some (Format.asprintf "%a" print x) | _ -> None)
+(** it may not be a bad idea to hard code the binary path 
+    of bsb in configuration time
+*)
+
+(* let cmd_package_specs = ref None  *)
 
 end
 module Ext_color : sig 
@@ -6421,6 +6474,184 @@ let real_path p =
 
 let is_same_paths_via_io a b = if a = b then true else real_path a = real_path b
 
+end
+module Ext_utf8 : sig 
+#1 "ext_utf8.mli"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * In addition to the permissions granted to you by the LGPL, you may combine
+ * or link a "work that uses the Library" with a publicly distributed version
+ * of this file to produce a combined library or application, then distribute
+ * that combined work under the terms of your choosing, with no requirement
+ * to comply with the obligations normally placed on you by section 4 of the
+ * LGPL version 3 (or the corresponding section of a later version of the LGPL
+ * should you choose to use a later version).
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
+
+type byte = Single of int | Cont of int | Leading of int * int | Invalid
+
+val classify : char -> byte
+
+val follow : string -> int -> int -> int -> int * int
+
+val next : string -> remaining:int -> int -> int
+(** 
+   return [-1] if failed 
+*)
+
+exception Invalid_utf8 of string
+
+val decode_utf8_string : string -> int list
+
+val encode_codepoint : int -> string
+
+end = struct
+#1 "ext_utf8.ml"
+(* Copyright (C) 2015-2016 Bloomberg Finance L.P.
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * In addition to the permissions granted to you by the LGPL, you may combine
+ * or link a "work that uses the Library" with a publicly distributed version
+ * of this file to produce a combined library or application, then distribute
+ * that combined work under the terms of your choosing, with no requirement
+ * to comply with the obligations normally placed on you by section 4 of the
+ * LGPL version 3 (or the corresponding section of a later version of the LGPL
+ * should you choose to use a later version).
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
+
+type byte = Single of int | Cont of int | Leading of int * int | Invalid
+
+(** [classify chr] returns the {!byte} corresponding to [chr] *)
+let classify chr =
+  let c = int_of_char chr in
+  (* Classify byte according to leftmost 0 bit *)
+  if c land 0b1000_0000 = 0 then Single c
+  else if (* c 0b0____*)
+          c land 0b0100_0000 = 0 then Cont (c land 0b0011_1111)
+  else if (* c 0b10___*)
+          c land 0b0010_0000 = 0 then Leading (1, c land 0b0001_1111)
+  else if (* c 0b110__*)
+          c land 0b0001_0000 = 0 then Leading (2, c land 0b0000_1111)
+  else if (* c 0b1110_ *)
+          c land 0b0000_1000 = 0 then Leading (3, c land 0b0000_0111)
+  else if (* c 0b1111_0___*)
+          c land 0b0000_0100 = 0 then Leading (4, c land 0b0000_0011)
+  else if (* c 0b1111_10__*)
+          c land 0b0000_0010 = 0 then Leading (5, c land 0b0000_0001)
+    (* c 0b1111_110__ *)
+  else Invalid
+
+exception Invalid_utf8 of string
+
+(* when the first char is [Leading],
+   TODO: need more error checking
+   when out of bond
+*)
+let rec follow s n (c : int) offset =
+  if n = 0 then (c, offset)
+  else
+    match classify s.[offset + 1] with
+    | Cont cc -> follow s (n - 1) ((c lsl 6) lor (cc land 0x3f)) (offset + 1)
+    | _ -> raise (Invalid_utf8 "Continuation byte expected")
+
+let rec next s ~remaining offset =
+  if remaining = 0 then offset
+  else
+    match classify s.[offset + 1] with
+    | Cont _cc -> next s ~remaining:(remaining - 1) (offset + 1)
+    | _ -> -1
+    | exception _ -> -1
+(* it can happen when out of bound *)
+
+let decode_utf8_string s =
+  let lst = ref [] in
+  let add elem = lst := elem :: !lst in
+  let rec decode_utf8_cont s i s_len =
+    if i = s_len then ()
+    else
+      match classify s.[i] with
+      | Single c ->
+          add c;
+          decode_utf8_cont s (i + 1) s_len
+      | Cont _ -> raise (Invalid_utf8 "Unexpected continuation byte")
+      | Leading (n, c) ->
+          let c', i' = follow s n c i in
+          add c';
+          decode_utf8_cont s (i' + 1) s_len
+      | Invalid -> raise (Invalid_utf8 "Invalid byte")
+  in
+  decode_utf8_cont s 0 (String.length s);
+  List.rev !lst
+
+(** To decode {j||j} we need verify in the ast so that we have better error 
+    location, then we do the decode later
+*)
+
+(* let verify s loc =
+   assert false *)
+
+let encode_codepoint c =
+  (* reused from syntax/src/res_utf8.ml *)
+  let h2 = 0b1100_0000 in
+  let h3 = 0b1110_0000 in
+  let h4 = 0b1111_0000 in
+  let cont_mask = 0b0011_1111 in
+  if c <= 127 then (
+    let bytes = (Bytes.create [@doesNotRaise]) 1 in
+    Bytes.unsafe_set bytes 0 (Char.unsafe_chr c);
+    Bytes.unsafe_to_string bytes)
+  else if c <= 2047 then (
+    let bytes = (Bytes.create [@doesNotRaise]) 2 in
+    Bytes.unsafe_set bytes 0 (Char.unsafe_chr (h2 lor (c lsr 6)));
+    Bytes.unsafe_set bytes 1
+      (Char.unsafe_chr (0b1000_0000 lor (c land cont_mask)));
+    Bytes.unsafe_to_string bytes)
+  else if c <= 65535 then (
+    let bytes = (Bytes.create [@doesNotRaise]) 3 in
+    Bytes.unsafe_set bytes 0 (Char.unsafe_chr (h3 lor (c lsr 12)));
+    Bytes.unsafe_set bytes 1
+      (Char.unsafe_chr (0b1000_0000 lor ((c lsr 6) land cont_mask)));
+    Bytes.unsafe_set bytes 2
+      (Char.unsafe_chr (0b1000_0000 lor (c land cont_mask)));
+    Bytes.unsafe_to_string bytes)
+  else
+    (* if c <= max then *)
+    let bytes = (Bytes.create [@doesNotRaise]) 4 in
+    Bytes.unsafe_set bytes 0 (Char.unsafe_chr (h4 lor (c lsr 18)));
+    Bytes.unsafe_set bytes 1
+      (Char.unsafe_chr (0b1000_0000 lor ((c lsr 12) land cont_mask)));
+    Bytes.unsafe_set bytes 2
+      (Char.unsafe_chr (0b1000_0000 lor ((c lsr 6) land cont_mask)));
+    Bytes.unsafe_set bytes 3
+      (Char.unsafe_chr (0b1000_0000 lor (c land cont_mask)));
+    Bytes.unsafe_to_string bytes
+
+
 end
 module Ext_util : sig 
 #1 "ext_util.mli"
@@ -6452,6 +6683,9 @@ val power_2_above : int -> int -> int
 
 val stats_to_string : Hashtbl.statistics -> string
 
+val string_of_int_as_char : int -> string
+
+
 end = struct
 #1 "ext_util.ml"
 (* Copyright (C) 2015-2016 Bloomberg Finance L.P.
@@ -6497,6 +6731,25 @@ let stats_to_string
     (String.concat ","
        (Array.to_list (Array.map string_of_int bucket_histogram)))
 
+let string_of_int_as_char (i : int) : string =
+  if i <= 255 && i >= 0 then Format.asprintf "%C" (Char.unsafe_chr i)
+  else
+    let str =
+      match Char.unsafe_chr i with
+      | '\'' -> "\\'"
+      | '\\' -> "\\\\"
+      | '\n' -> "\\n"
+      | '\t' -> "\\t"
+      | '\r' -> "\\r"
+      | '\b' -> "\\b"
+      | ' ' .. '~' as c ->
+          let s = (Bytes.create [@doesNotRaise]) 1 in
+          Bytes.unsafe_set s 0 c;
+          Bytes.unsafe_to_string s
+      | _ -> Ext_utf8.encode_codepoint i
+    in
+    Printf.sprintf "\'%s\'" str
+
 end
 module Hash_gen
 = struct
@@ -7051,22 +7304,33 @@ end
 module Ext_js_suffix
 = struct
 #1 "ext_js_suffix.ml"
-type t = Js | Bs_js | Mjs | Cjs | Unknown_extension
+type t =
+  | Js
+  | Mjs
+  | Cjs
+  | Bs_js
+  | Bs_mjs
+  | Bs_cjs
+  | Unknown_extension
 
 let to_string (x : t) =
   match x with
   | Js -> Literals.suffix_js
-  | Bs_js -> Literals.suffix_bs_js
   | Mjs -> Literals.suffix_mjs
   | Cjs -> Literals.suffix_cjs
+  | Bs_js -> Literals.suffix_bs_js
+  | Bs_mjs -> Literals.suffix_bs_mjs
+  | Bs_cjs -> Literals.suffix_bs_cjs
   | Unknown_extension -> assert false
 
 let of_string (x : string) : t =
   match () with
   | () when x = Literals.suffix_js -> Js
-  | () when x = Literals.suffix_bs_js -> Bs_js
   | () when x = Literals.suffix_mjs -> Mjs
   | () when x = Literals.suffix_cjs -> Cjs
+  | () when x = Literals.suffix_bs_js -> Bs_js
+  | () when x = Literals.suffix_bs_mjs -> Bs_mjs
+  | () when x = Literals.suffix_bs_cjs -> Bs_cjs
   | _ -> Unknown_extension
 
 end
@@ -7806,7 +8070,8 @@ let extract_bs_suffix_exn (map : json_map) : Ext_js_suffix.t =
   | Some (Str { str; loc }) ->
       let s = Ext_js_suffix.of_string str in
       if s = Unknown_extension then
-        Bsb_exception.errorf ~loc "expect .bs.js, .js, .cjs, .mjs here"
+        Bsb_exception.errorf ~loc
+          "expect .js, .mjs, .cjs or .bs.js, .bs.mjs, .bs.cjs here"
       else s
   | Some config ->
       Bsb_exception.config_error config
@@ -7858,10 +8123,12 @@ module Bsb_package_kind
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
+type dep_payload = { package_specs : Bsb_package_specs.t; jsx : Bsb_jsx.t }
+
 type t =
   | Toplevel
-  | Dependency of Bsb_package_specs.t
-  | Pinned_dependency of Bsb_package_specs.t
+  | Dependency of dep_payload
+  | Pinned_dependency of dep_payload
 (* This package specs comes from the toplevel to
    override the current settings
 *)
@@ -7870,9 +8137,15 @@ let encode_no_nl (x : t) =
   match x with
   | Toplevel -> "0"
   | Dependency x ->
-      "1" ^ Bsb_package_specs.package_flag_of_package_specs x ~dirname:"."
+      "1"
+      ^ Bsb_package_specs.package_flag_of_package_specs x.package_specs
+          ~dirname:"."
+      ^ Bsb_jsx.encode_no_nl x.jsx
   | Pinned_dependency x ->
-      "2" ^ Bsb_package_specs.package_flag_of_package_specs x ~dirname:"."
+      "2"
+      ^ Bsb_package_specs.package_flag_of_package_specs x.package_specs
+          ~dirname:"."
+      ^ Bsb_jsx.encode_no_nl x.jsx
 
 end
 module Bsc_warnings
@@ -8132,9 +8405,6 @@ type dependencies = dependency list
 type reason_react_jsx = Jsx_v3
 (* string option  *)
 
-type jsx_version = Jsx_v3 | Jsx_v4
-type jsx_module = React
-type jsx_mode = Classic | Automatic
 type refmt = string option
 type gentype_config = bool
 type command = string
@@ -8165,9 +8435,7 @@ type t = {
   files_to_install : Bsb_db.module_info Queue.t;
   generate_merlin : bool;
   reason_react_jsx : reason_react_jsx option;
-  jsx_version : jsx_version option;
-  jsx_module : jsx_module option;
-  jsx_mode : jsx_mode option;
+  jsx: Bsb_jsx.t;
   (* whether apply PPX transform or not*)
   generators : command Map_string.t;
   cut_generators : bool;
@@ -10068,6 +10336,9 @@ and parsing_single_source ({ package_kind; is_dev; cwd } as cxt)
           let dir =
             match map.?(Bsb_build_schemas.dir) with
             | Some (Str { str }) ->
+                if str = Literals.library_file then
+                    Bsb_exception.config_error x (Printf.sprintf "dir field should be different from `%s`" Literals.library_file)
+                else
                 Ext_path.simple_convert_node_path_to_os_path str
             | Some x ->
                 Bsb_exception.config_error x "dir expected to be a string"
@@ -10238,7 +10509,7 @@ module Bsb_config_parse : sig
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-val package_specs_from_bsconfig : unit -> Bsb_package_specs.t * Set_string.t
+val deps_from_bsconfig : unit -> Bsb_package_specs.t * Bsb_jsx.t * Set_string.t
 
 val interpret_json :
   package_kind:Bsb_package_kind.t -> per_proj_dir:string -> Bsb_config_types.t
@@ -10335,8 +10606,7 @@ let check_stdlib (map : json_map) : bool =
   | Some (False _) -> false
   | None | Some _ -> true
 
-let extract_gentype_config (map : json_map) :
-    Bsb_config_types.gentype_config =
+let extract_gentype_config (map : json_map) : Bsb_config_types.gentype_config =
   match map.?(Bsb_build_schemas.gentypeconfig) with
   | None -> false
   | Some (Obj _) -> true
@@ -10391,53 +10661,6 @@ let extract_reason_react_jsx (map : json_map) =
   |> ignore;
   !default
 
-let extract_jsx (map : json_map) =
-  let version : Bsb_config_types.jsx_version option ref = ref None in
-  let module_ : Bsb_config_types.jsx_module option ref = ref None in
-  let mode : Bsb_config_types.jsx_mode option ref = ref None in
-  map
-  |? ( Bsb_build_schemas.jsx,
-       `Obj
-         (fun m ->
-           match m.?(Bsb_build_schemas.jsx_version) with
-           | Some (Flo { loc; flo }) -> (
-               match flo with
-               | "3" -> version := Some Jsx_v3
-               | "4" -> version := Some Jsx_v4
-               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx-version %s" flo
-               )
-           | Some x ->
-               Bsb_exception.config_error x
-                 "Unexpected input (expect a version number) for jsx-version"
-           | None -> ()) )
-  |? ( Bsb_build_schemas.jsx,
-       `Obj
-         (fun m ->
-           match m.?(Bsb_build_schemas.jsx_module) with
-           | Some (Str { loc; str }) -> (
-               match str with
-               | "react" -> module_ := Some React
-               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx-module %s" str)
-           | Some x ->
-               Bsb_exception.config_error x
-                 "Unexpected input (jsx module name) for jsx-mode"
-           | None -> ()) )
-  |? ( Bsb_build_schemas.jsx,
-       `Obj
-         (fun m ->
-           match m.?(Bsb_build_schemas.jsx_mode) with
-           | Some (Str { loc; str }) -> (
-               match str with
-               | "classic" -> mode := Some Classic
-               | "automatic" -> mode := Some Automatic
-               | _ -> Bsb_exception.errorf ~loc "Unsupported jsx-mode %s" str)
-           | Some x ->
-               Bsb_exception.config_error x
-                 "Unexpected input (expect classic or automatic) for jsx-mode"
-           | None -> ()) )
-  |> ignore;
-  (!version, !module_, !mode)
-
 let extract_warning (map : json_map) =
   match map.?(Bsb_build_schemas.warnings) with
   | None -> Bsb_warning.use_default
@@ -10586,7 +10809,6 @@ let interpret_json ~(package_kind : Bsb_package_kind.t) ~(per_proj_dir : string)
                   .path)
       in
       let reason_react_jsx = extract_reason_react_jsx map in
-      let jsx_version, jsx_module, jsx_mode = extract_jsx map in
       let bs_dependencies =
         extract_dependencies map per_proj_dir Bsb_build_schemas.bs_dependencies
       in
@@ -10609,6 +10831,17 @@ let interpret_json ~(package_kind : Bsb_package_kind.t) ~(per_proj_dir : string)
               (* ~namespace *)
               sources
           in
+          let bsc_flags = extract_string_list map Bsb_build_schemas.bsc_flags in
+          let jsx = Bsb_jsx.from_map map in
+          let jsx, bsc_flags =
+            match package_kind with
+            | Pinned_dependency x | Dependency x ->
+                if List.mem package_name x.jsx.v3_dependencies then
+                  ( { jsx with version = Some Jsx_v3 },
+                    "-open ReactV3" :: bsc_flags )
+                else (x.jsx, bsc_flags)
+            | _ -> (jsx, bsc_flags)
+          in
           {
             pinned_dependencies;
             gentype_config;
@@ -10617,7 +10850,7 @@ let interpret_json ~(package_kind : Bsb_package_kind.t) ~(per_proj_dir : string)
             warning = extract_warning map;
             external_includes =
               extract_string_list map Bsb_build_schemas.bs_external_includes;
-            bsc_flags = extract_string_list map Bsb_build_schemas.bsc_flags;
+            bsc_flags;
             ppx_files =
               extract_ppx map ~cwd:per_proj_dir Bsb_build_schemas.ppx_flags;
             pp_file = pp_flags;
@@ -10637,16 +10870,14 @@ let interpret_json ~(package_kind : Bsb_package_kind.t) ~(per_proj_dir : string)
             package_specs =
               (match package_kind with
               | Toplevel -> Bsb_package_specs.from_map ~cwd:per_proj_dir map
-              | Pinned_dependency x | Dependency x -> x);
+              | Pinned_dependency x | Dependency x -> x.package_specs);
             file_groups = groups;
             files_to_install = Queue.create ();
             built_in_dependency = built_in_package;
             generate_merlin =
               extract_boolean map Bsb_build_schemas.generate_merlin false;
             reason_react_jsx;
-            jsx_version;
-            jsx_module;
-            jsx_mode;
+            jsx;
             generators = extract_generators map;
             cut_generators;
           }
@@ -10654,11 +10885,12 @@ let interpret_json ~(package_kind : Bsb_package_kind.t) ~(per_proj_dir : string)
           Bsb_exception.invalid_spec "no sources specified in bsconfig.json")
   | _ -> Bsb_exception.invalid_spec "bsconfig.json expect a json object {}"
 
-let package_specs_from_bsconfig () =
+let deps_from_bsconfig () =
   let json = Ext_json_parse.parse_json_from_file Literals.bsconfig_json in
   match json with
   | Obj { map } ->
       ( Bsb_package_specs.from_map ~cwd:Bsb_global_paths.cwd map,
+        Bsb_jsx.from_map map,
         extract_pinned_dependencies map )
   | _ -> assert false
 
@@ -10874,9 +11106,7 @@ let clean_bs_garbage proj_dir =
     Bsb_log.warn "@{<warning>Failed@} to clean due to %s" (Printexc.to_string e)
 
 let clean_bs_deps proj_dir =
-  let _, pinned_dependencies =
-    Bsb_config_parse.package_specs_from_bsconfig ()
-  in
+  let _, _, pinned_dependencies = Bsb_config_parse.deps_from_bsconfig () in
   let queue = Bsb_build_util.walk_all_deps proj_dir ~pinned_dependencies in
   Queue.iter
     (fun (pkg_cxt : Bsb_build_util.package_context) ->
@@ -11573,7 +11803,7 @@ type builtin = {
 (***********************************************************)
 
 (** rules are generally composed of built-in rules and customized rules, there are two design choices:
-    1. respect custom rules with the same name, then we need adjust our built-in 
+    1. respect custom rules with the same name, then we need adjust our built-in
     rules dynamically in case the conflict.
     2. respect our built-in rules, then we only need re-load custom rules for each bsconfig.json
 *)
@@ -11589,12 +11819,10 @@ val make_custom_rules :
   pp_file:string option ->
   has_builtin:bool ->
   reason_react_jsx:Bsb_config_types.reason_react_jsx option ->
-  jsx_version:Bsb_config_types.jsx_version option ->
-  jsx_module:Bsb_config_types.jsx_module option ->
-  jsx_mode:Bsb_config_types.jsx_mode option ->
+  jsx:Bsb_jsx.t ->
   digest:string ->
-  refmt:string option ->
   package_specs:Bsb_package_specs.t ->
+  refmt:string option ->
   namespace:string option ->
   package_name:string ->
   warnings:string ->
@@ -11703,10 +11931,8 @@ let make_custom_rules ~(gentype_config : Bsb_config_types.gentype_config)
     ~(has_postbuild : string option) ~(pp_file : string option)
     ~(has_builtin : bool)
     ~(reason_react_jsx : Bsb_config_types.reason_react_jsx option)
-    ~(jsx_version : Bsb_config_types.jsx_version option)
-    ~(jsx_module : Bsb_config_types.jsx_module option)
-    ~(jsx_mode : Bsb_config_types.jsx_mode option) ~(digest : string)
-    ~(refmt : string option) ~(package_specs : Bsb_package_specs.t)
+    ~(jsx : Bsb_jsx.t) ~(digest : string) ~(package_specs : Bsb_package_specs.t)
+    ~(refmt : string option)
     ~(namespace : string option) ~package_name ~warnings
     ~(ppx_files : Bsb_config_types.ppx list) ~bsc_flags ~(dpkg_incls : string)
     ~(lib_incls : string) ~(dev_incls : string) ~bs_dependencies
@@ -11779,15 +12005,15 @@ let make_custom_rules ~(gentype_config : Bsb_config_types.gentype_config)
     | None -> ()
     | Some flag ->
         Ext_buffer.add_char_string buf ' ' (Bsb_build_util.pp_flag flag));
-    (match (reason_react_jsx, jsx_version) with
+    (match (reason_react_jsx, jsx.version) with
     | _, Some Jsx_v3 -> Ext_buffer.add_string buf " -bs-jsx 3"
     | _, Some Jsx_v4 -> Ext_buffer.add_string buf " -bs-jsx 4"
     | Some Jsx_v3, None -> Ext_buffer.add_string buf " -bs-jsx 3"
     | None, None -> ());
-    (match jsx_module with
+    (match jsx.module_ with
     | None -> ()
     | Some React -> Ext_buffer.add_string buf " -bs-jsx-module react");
-    (match jsx_mode with
+    (match jsx.mode with
     | None -> ()
     | Some Classic -> Ext_buffer.add_string buf " -bs-jsx-mode classic"
     | Some Automatic -> Ext_buffer.add_string buf " -bs-jsx-mode automatic");
@@ -12398,9 +12624,7 @@ let output_ninja_and_namespace_map ~per_proj_dir ~package_kind
        files_to_install;
        built_in_dependency;
        reason_react_jsx;
-       jsx_version;
-       jsx_module;
-       jsx_mode;
+       jsx;
        generators;
        namespace;
        warning;
@@ -12447,9 +12671,8 @@ let output_ninja_and_namespace_map ~per_proj_dir ~package_kind
   let rules : Bsb_ninja_rule.builtin =
     Bsb_ninja_rule.make_custom_rules ~refmt ~gentype_config
       ~has_postbuild:js_post_build_cmd ~pp_file ~has_builtin:built_in_dependency
-      ~reason_react_jsx ~jsx_version ~jsx_module ~jsx_mode ~package_specs
-      ~namespace ~digest ~package_name ~warnings ~ppx_files ~bsc_flags
-      ~dpkg_incls (* dev dependencies *)
+      ~reason_react_jsx ~jsx ~package_specs ~namespace ~digest ~package_name
+      ~warnings ~ppx_files ~bsc_flags ~dpkg_incls (* dev dependencies *)
       ~lib_incls (* its own libs *)
       ~dev_incls (* its own devs *)
       ~bs_dependencies ~bs_dev_dependencies generators
@@ -15112,20 +15335,20 @@ end = struct
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
 let ( // ) = Ext_path.combine
-
 let vendor_ninja = Bsb_global_paths.vendor_ninja
 
 let make_world_deps cwd (config : Bsb_config_types.t option)
     (ninja_args : string array) =
-  let deps, pinned_dependencies =
+  let package_specs, jsx, pinned_dependencies =
     match config with
     | None ->
         (* When this running bsb does not read bsconfig.json,
            we will read such json file to know which [package-specs]
            it wants
         *)
-        Bsb_config_parse.package_specs_from_bsconfig ()
-    | Some config -> (config.package_specs, config.pinned_dependencies)
+        Bsb_config_parse.deps_from_bsconfig ()
+    | Some config ->
+        (config.package_specs, config.jsx, config.pinned_dependencies)
   in
   let args =
     if Ext_array.is_empty ninja_args then [| vendor_ninja |]
@@ -15157,8 +15380,8 @@ let make_world_deps cwd (config : Bsb_config_types.t option)
              let _config : _ option =
                Bsb_ninja_regen.regenerate_ninja
                  ~package_kind:
-                   (if is_pinned then Pinned_dependency deps
-                   else Dependency deps)
+                   (if is_pinned then Pinned_dependency { package_specs; jsx }
+                   else Dependency { package_specs; jsx })
                  ~per_proj_dir:proj_dir ~forced:false
              in
              let command =