fix #274: provide type safe file local variables

Author: bobzhang

jscomp/others/bs_node.mli

@@ -43,3 +43,10 @@ type node_module = <
        children : node_module array ;
        paths : string array;       
 > Js.t
+
+type node_require = <
+  main : node_module Js.undefined;
+
+  resolve : string -> string [@bs]
+  (* @raise exception   *)
+> Js.t 

jscomp/syntax/ppx_entry.ml

@@ -310,7 +310,15 @@ let rec unsafe_mapper : Ast_mapper.mapper =
                    (Ast_payload.raw_string_payload loc "module"))                
                 (Typ.constr ~loc
                    { txt = Ldot (Lident "Bs_node", "node_module") ;
-                     loc} [] )              
+                     loc} [] )
+            | Some {txt = Lident "__require"}
+              ->
+              Exp.constraint_ ~loc
+                (Ast_util.handle_raw loc
+                   (Ast_payload.raw_string_payload loc "require"))                
+                (Typ.constr ~loc
+                   { txt = Ldot (Lident "Bs_node", "node_require") ;
+                     loc} [] )
             | Some _ | None -> Location.raise_errorf ~loc "Ilegal payload"              
           end             
 

jscomp/test/.depend

@@ -690,6 +690,8 @@ test_react_case.cmj :
 test_react_case.cmx :
 test_regex.cmj :
 test_regex.cmx :
+test_require.cmj : ../runtime/js.cmj
+test_require.cmx : ../runtime/js.cmx
 test_runtime_encoding.cmj : ../stdlib/array.cmi
 test_runtime_encoding.cmx : ../stdlib/array.cmx
 test_scope.cmj :
@@ -1448,6 +1450,8 @@ test_react_case.cmo :
 test_react_case.cmj :
 test_regex.cmo :
 test_regex.cmj :
+test_require.cmo : ../runtime/js.cmo
+test_require.cmj : ../runtime/js.cmj
 test_runtime_encoding.cmo : ../stdlib/array.cmi
 test_runtime_encoding.cmj : ../stdlib/array.cmj
 test_scope.cmo :

jscomp/test/Makefile

@@ -59,7 +59,8 @@ OTHERS := a test_ari test_export2 test_internalOO test_obj_simple_ffi test_scope
 	optional_ffi_test poly_variant_test \
 	bs_rest_test infer_type_test fs_test module_as_function\
 	test_case_set test_mutliple string_bound_get_test inline_string_test\
-	ppx_this_obj_test unsafe_obj_external gpr_627_test jsoo_485_test jsoo_400_test	
+	ppx_this_obj_test unsafe_obj_external gpr_627_test jsoo_485_test jsoo_400_test	\
+	test_require	
 
 
 SOURCE_LIST := js_dyn $(OTHERS) 

jscomp/test/test_require.js

@@ -0,0 +1,17 @@
+// GENERATED CODE BY BUCKLESCRIPT VERSION 0.9.3 , PLEASE EDIT WITH CARE
+'use strict';
+
+
+var u = (require);
+
+console.log(u.resolve("./test_require.js"));
+
+if ((require).main === (module)) {
+  console.log("is main");
+}
+else {
+  console.log("not main");
+}
+
+exports.u = u;
+/* u Not a pure module */

jscomp/test/test_require.ml

@@ -0,0 +1,13 @@
+
+
+let u = [%bs.node __require]
+
+let () =
+  Js.log @@ u#@resolve "./test_require.js"
+let () = 
+  if [%bs.node __require]##main ==
+     Js.Undefined.return
+       [%bs.node __module] then
+    Js.log "is main"
+  else
+    Js.log "not main"