Remove rudimentary node bindings and undocumented %node extension (#6285)

Author: cknitt

CHANGELOG.md

@@ -17,6 +17,10 @@
 - Introduced a new `%ffi` extension that provides a more robust mechanism for JavaScript function interoperation by considering function arity in type constraints. This enhancement improves safety when dealing with JavaScript functions by enforcing type constraints based on the arity of the function. [PR #6251](https://github.com/rescript-lang/rescript-compiler/pull/6251)
 - Extended untagged variants with function types https://github.com/rescript-lang/rescript-compiler/pull/6279
 
+#### :boom: Breaking Change
+
+- Remove rudimentary node bindings and undocumented `%node` extension. https://github.com/rescript-lang/rescript-compiler/pull/6285
+
 #### :bug: Bug Fix
 
 - Fix issue where uncurried type internals leak in type error. https://github.com/rescript-lang/rescript-compiler/pull/6264

jscomp/frontend/ast_exp_extension.ml

@@ -69,41 +69,6 @@ let handle_extension e (self : Bs_ast_mapper.mapper)
               (Exp.ident ~loc {loc; txt = Lident "timed"})))
     | _ ->
       Location.raise_errorf ~loc "expect a boolean expression in the payload")
-  | "bs.node" | "node" -> (
-    let strip s =
-      match s with
-      | "_module" -> "module"
-      | x -> x
-    in
-    match Ast_payload.as_ident payload with
-    | Some
-        {
-          txt =
-            Lident
-              (("__filename" | "__dirname" | "_module" | "require") as name);
-          loc;
-        } ->
-      let exp = Ast_exp_handle_external.handle_external loc (strip name) in
-      let typ =
-        Ast_core_type.lift_option_type
-          (if name = "_module" then
-           Typ.constr ~loc {txt = Ldot (Lident "Node", "node_module"); loc} []
-          else if name = "require" then
-            Typ.constr ~loc {txt = Ldot (Lident "Node", "node_require"); loc} []
-          else Ast_literal.type_string ~loc ())
-      in
-      Exp.constraint_ ~loc exp typ
-    | Some _ | None -> (
-      match payload with
-      | PTyp _ ->
-        Location.raise_errorf ~loc
-          "Illegal payload, expect an expression payload instead of type \
-           payload"
-      | PPat _ ->
-        Location.raise_errorf ~loc
-          "Illegal payload, expect an expression payload instead of pattern  \
-           payload"
-      | _ -> Location.raise_errorf ~loc "Illegal payload"))
   | "bs.debugger" | "debugger" ->
     {e with pexp_desc = Ast_exp_handle_external.handle_debugger loc payload}
   | "bs.obj" | "obj" -> (