Remove remaining "bs." attributes (rescript-lang#6643)

* @bs.string -> @string

* @bs.this -> @this

* @bs.uncurry -> uncurry

* @bs.unwrap -> @unwrap

* @bs.val -> @Val

* @bs.debugger -> @debugger

* @bs.external -> @external

* @bs.raw -> @raw

* @bs.re -> @re

* @bs.time -> @time

* @bs.config -> @config

* Cleanup

* Changelog

* Deactivate unused argument check for @int

Author: cknitt

CHANGELOG.md

@@ -44,6 +44,12 @@
 #### :boom: Breaking Change
 
 - `lazy` syntax is no longer supported. If you're using it, use `Lazy` module or `React.lazy_` instead. https://github.com/rescript-lang/rescript-compiler/pull/6342
+- Remove handling of attributes with `bs.` prefix (`@bs.as` -> `@as` etc.). https://github.com/rescript-lang/rescript-compiler/pull/6643
+- Remove obsolete `@bs.open` feature. https://github.com/rescript-lang/rescript-compiler/pull/6629
+
+#### :house: Internal
+
+- Build with OCaml 5.1.1. https://github.com/rescript-lang/rescript-compiler/pull/6641
 
 # 11.1.0-rc.2
 

jscomp/bsc/rescript_compiler_main.ml

@@ -457,7 +457,7 @@ let buckle_script_flags : (string * Bsc_args.spec * string) array =
 
 
 
-(** parse flags in bs.config *)
+(** parse flags in config *)
 let file_level_flags_handler (e : Parsetree.expression option) = 
   match e with 
   | None -> ()

jscomp/build_tests/cmd/input.js

@@ -21,7 +21,7 @@ type bla
 
 external foo : bla = "foo.react" [@@module]
 
-external bar : unit -> bla  = "bar" [@@bs.val] [@@module "foo.react"]
+external bar : unit -> bla  = "bar" [@@val] [@@module "foo.react"]
 
 let c = foo 
 

jscomp/build_tests/react_ppx/src/recursive_component_test.res

@@ -1,7 +1,7 @@
 @@warning("-39")
 // https://github.com/rescript-lang/rescript-compiler/issues/4511
 /*
-[@bs.config {
+[@config {
   flags : [|"-dsource"|]
 }];
 */

jscomp/core/design.md

@@ -98,7 +98,7 @@ Curry.__N o
     ]}
     Another use case:
     {[ 
-      external f : ('a -> 'b [@bs.uncurry]) -> unit 
+      external f : ('a -> 'b [@uncurry]) -> unit 
 
       f g (* The compiler will do such converison internally*)
     ]}
@@ -173,12 +173,12 @@ We can simply do inlining, it may have side efffect in `b0`, `b1`, our optimizer
 
 Maybe in the future, we should lift the restriction about `variadic` (delegate to `slow` mode when we can not resolve it statically, my personal expereince is that people will complain about why it fails to compile more than why it is slow in some corner cases)
 
-Note this also interacts with `[@bs.uncurry]`
+Note this also interacts with `[@uncurry]`
 
 for example
 
 ```ocaml
-external filter : 'a array -> ('a -> bool [@bs.uncurry]) -> 'a array = "filter"
+external filter : 'a array -> ('a -> bool [@uncurry]) -> 'a array = "filter"
 [@@send]
 
 let f xs =
@@ -211,7 +211,7 @@ if (typeof x === "undefined"){
 
 ```ocaml
 external of_char : char -> string = "String.fromCharCode"
-[@@bs.val]
+[@@val]
 ```
 
 We introduced `#` so that we can do some optimizations.

jscomp/core/lam_compile.ml

@@ -1519,7 +1519,7 @@ and compile_prim (prim_info : Lam.prim_info)
       compile_sequand l r lambda_cxt
   | { primitive = Psequor; args = [ l; r ] } -> compile_sequor l r lambda_cxt
   | { primitive = Pdebugger; _ } ->
-      (* [%bs.debugger] guarantees that the expression does not matter
+      (* [%debugger] guarantees that the expression does not matter
          TODO: make it even safer *)
       Js_output.output_of_block_and_expression lambda_cxt.continuation
         S.debugger_block E.unit

jscomp/frontend/ast_attributes.ml

@@ -86,11 +86,9 @@ let process_attributes_rev (attrs : t) : attr_kind * t =
       match (txt, st) with
       | "bs", (Nothing | Uncurry _) ->
         (Uncurry attr, acc) (* TODO: warn unused/duplicated attribute *)
-      | ("bs.this" | "this"), (Nothing | Meth_callback _) ->
-        (Meth_callback attr, acc)
+      | "this", (Nothing | Meth_callback _) -> (Meth_callback attr, acc)
       | "meth", (Nothing | Method _) -> (Method attr, acc)
-      | ("bs" | "bs.this" | "this"), _ ->
-        Bs_syntaxerr.err loc Conflict_bs_bs_this_bs_meth
+      | ("bs" | "this"), _ -> Bs_syntaxerr.err loc Conflict_bs_bs_this_bs_meth
       | _, _ -> (st, attr :: acc))
 
 let process_bs (attrs : t) =
@@ -150,8 +148,7 @@ let rs_externals (attrs : t) pval_prim =
     prims_to_be_encoded pval_prim
   | _, _ ->
     Ext_list.exists_fst attrs (fun ({txt} : string Asttypes.loc) ->
-        Ext_string.starts_with txt "bs."
-        || Ext_array.exists external_attrs (fun (x : string) -> txt = x))
+        Ext_array.exists external_attrs (fun (x : string) -> txt = x))
     || prims_to_be_encoded pval_prim
 
 let is_inline : attr -> bool = fun ({txt}, _) -> txt = "inline"
@@ -221,12 +218,11 @@ let iter_process_bs_string_int_unwrap_uncurry (attrs : t) =
   in
   Ext_list.iter attrs (fun (({txt; loc = _}, (payload : _)) as attr) ->
       match txt with
-      | "bs.string" | "string" -> assign `String attr
+      | "string" -> assign `String attr
       | "int" -> assign `Int attr
       | "ignore" -> assign `Ignore attr
-      | "bs.unwrap" | "unwrap" -> assign `Unwrap attr
-      | "bs.uncurry" | "uncurry" ->
-        assign (`Uncurry (Ast_payload.is_single_int payload)) attr
+      | "unwrap" -> assign `Unwrap attr
+      | "uncurry" -> assign (`Uncurry (Ast_payload.is_single_int payload)) attr
       | _ -> ());
   !st
 

jscomp/frontend/ast_config.ml

@@ -57,11 +57,8 @@ let process_directives str =
 let rec iter_on_bs_config_str (x : Parsetree.structure) =
   match x with
   | [] -> ()
-  | {
-      pstr_desc =
-        Pstr_attribute (({txt = "bs.config" | "config"; loc}, payload) as attr);
-    }
-    :: _ ->
+  | {pstr_desc = Pstr_attribute (({txt = "config"; loc}, payload) as attr)} :: _
+    ->
     Bs_ast_invariant.mark_used_bs_attribute attr;
     Ext_list.iter
       (Ast_payload.ident_or_record_as_config loc payload)
@@ -76,11 +73,8 @@ let process_str str =
 let rec iter_on_bs_config_sig (x : Parsetree.signature) =
   match x with
   | [] -> ()
-  | {
-      psig_desc =
-        Psig_attribute (({txt = "bs.config" | "config"; loc}, payload) as attr);
-    }
-    :: _ ->
+  | {psig_desc = Psig_attribute (({txt = "config"; loc}, payload) as attr)} :: _
+    ->
     Bs_ast_invariant.mark_used_bs_attribute attr;
     Ext_list.iter
       (Ast_payload.ident_or_record_as_config loc payload)

jscomp/frontend/ast_exp_extension.ml

@@ -27,13 +27,12 @@ let handle_extension e (self : Bs_ast_mapper.mapper)
     (({txt; loc}, payload) : Parsetree.extension) =
   match txt with
   | "ffi" -> Ast_exp_handle_external.handle_ffi ~loc ~payload
-  | "bs.raw" | "raw" ->
-    Ast_exp_handle_external.handle_raw ~kind:Raw_exp loc payload
-  | "bs.re" | "re" ->
+  | "raw" -> Ast_exp_handle_external.handle_raw ~kind:Raw_exp loc payload
+  | "re" ->
     Exp.constraint_ ~loc
       (Ast_exp_handle_external.handle_raw ~kind:Raw_re loc payload)
       (Ast_comb.to_js_re_type loc)
-  | "bs.external" | "external" -> (
+  | "external" -> (
     match Ast_payload.as_ident payload with
     | Some {txt = Lident x} ->
       Ast_exp_handle_external.handle_external loc x
@@ -43,7 +42,7 @@ let handle_extension e (self : Bs_ast_mapper.mapper)
       *)
     | None | Some _ ->
       Location.raise_errorf ~loc "external expects a single identifier")
-  | "bs.time" | "time" -> (
+  | "time" -> (
     match payload with
     | PStr [{pstr_desc = Pstr_eval (e, _)}] ->
       let locString =
@@ -69,7 +68,7 @@ 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.debugger" | "debugger" ->
+  | "debugger" ->
     {e with pexp_desc = Ast_exp_handle_external.handle_debugger loc payload}
   | "obj" -> (
     match payload with

jscomp/frontend/ast_external_process.ml

@@ -258,7 +258,7 @@ let parse_external_attributes (no_arguments : bool) (prim_name_check : string)
       else
         let action () =
           match txt with
-          | "bs.val" | "val" ->
+          | "val" ->
             if no_arguments then
               {st with val_name = Some (name_from_payload_or_prim ~loc payload)}
             else
@@ -418,8 +418,7 @@ let parse_external_attributes (no_arguments : bool) (prim_name_check : string)
         with Not_handled_external_attribute -> (attr :: attrs, st))
 
 let has_bs_uncurry (attrs : Ast_attributes.t) =
-  Ext_list.exists_fst attrs (fun {txt; loc = _} ->
-      txt = "bs.uncurry" || txt = "uncurry")
+  Ext_list.exists_fst attrs (fun {txt; loc = _} -> txt = "uncurry")
 
 let check_return_wrapper loc (wrapper : External_ffi_types.return_wrapper)
     result_type =