Begin preparing for source syntax.

See rescript-lang/syntax#600

Author: cristianoc

jscomp/frontend/ast_attributes.ml

@@ -164,10 +164,10 @@ let is_inline : attr -> bool =
 let has_inline_payload (attrs : t) = Ext_list.find_first attrs is_inline
 
 let is_await : attr -> bool =
-  fun ({ txt }, _) -> txt = "await"
+  fun ({ txt }, _) -> txt = "await" || txt = "res.await"
 
 let is_async : attr -> bool =
-  fun ({ txt }, _) -> txt = "async"
+  fun ({ txt }, _) -> txt = "async" || txt = "res.async"
 
 let has_await_payload (attrs : t) = Ext_list.find_first attrs is_await
 let has_async_payload (attrs : t) = Ext_list.find_first attrs is_async

jscomp/ml/translcore.ml

@@ -696,7 +696,7 @@ and transl_exp0 (e : Typedtree.expression) : Lambda.lambda =
   | Texp_let (rec_flag, pat_expr_list, body) ->
       transl_let rec_flag pat_expr_list (transl_exp body)
   | Texp_function { arg_label = _; param; cases; partial } ->
-      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async") in
+      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async" || txt = "res.async") in
       let params, body, return_unit =
         let pl = push_defaults e.exp_loc [] cases partial in
         transl_function e.exp_loc partial param pl

lib/4.06.1/unstable/js_compiler.ml

@@ -254556,10 +254556,10 @@ let is_inline : attr -> bool =
 let has_inline_payload (attrs : t) = Ext_list.find_first attrs is_inline
 
 let is_await : attr -> bool =
-  fun ({ txt }, _) -> txt = "await"
+  fun ({ txt }, _) -> txt = "await" || txt = "res.await"
 
 let is_async : attr -> bool =
-  fun ({ txt }, _) -> txt = "async"
+  fun ({ txt }, _) -> txt = "async" || txt = "res.async"
 
 let has_await_payload (attrs : t) = Ext_list.find_first attrs is_await
 let has_async_payload (attrs : t) = Ext_list.find_first attrs is_async
@@ -270218,7 +270218,7 @@ and transl_exp0 (e : Typedtree.expression) : Lambda.lambda =
   | Texp_let (rec_flag, pat_expr_list, body) ->
       transl_let rec_flag pat_expr_list (transl_exp body)
   | Texp_function { arg_label = _; param; cases; partial } ->
-      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async") in
+      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async" || txt = "res.async") in
       let params, body, return_unit =
         let pl = push_defaults e.exp_loc [] cases partial in
         transl_function e.exp_loc partial param pl

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -256019,10 +256019,10 @@ let is_inline : attr -> bool =
 let has_inline_payload (attrs : t) = Ext_list.find_first attrs is_inline
 
 let is_await : attr -> bool =
-  fun ({ txt }, _) -> txt = "await"
+  fun ({ txt }, _) -> txt = "await" || txt = "res.await"
 
 let is_async : attr -> bool =
-  fun ({ txt }, _) -> txt = "async"
+  fun ({ txt }, _) -> txt = "async" || txt = "res.async"
 
 let has_await_payload (attrs : t) = Ext_list.find_first attrs is_await
 let has_async_payload (attrs : t) = Ext_list.find_first attrs is_async
@@ -290827,7 +290827,7 @@ and transl_exp0 (e : Typedtree.expression) : Lambda.lambda =
   | Texp_let (rec_flag, pat_expr_list, body) ->
       transl_let rec_flag pat_expr_list (transl_exp body)
   | Texp_function { arg_label = _; param; cases; partial } ->
-      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async") in
+      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async" || txt = "res.async") in
       let params, body, return_unit =
         let pl = push_defaults e.exp_loc [] cases partial in
         transl_function e.exp_loc partial param pl

lib/4.06.1/whole_compiler.ml

@@ -258607,10 +258607,10 @@ let is_inline : attr -> bool =
 let has_inline_payload (attrs : t) = Ext_list.find_first attrs is_inline
 
 let is_await : attr -> bool =
-  fun ({ txt }, _) -> txt = "await"
+  fun ({ txt }, _) -> txt = "await" || txt = "res.await"
 
 let is_async : attr -> bool =
-  fun ({ txt }, _) -> txt = "async"
+  fun ({ txt }, _) -> txt = "async" || txt = "res.async"
 
 let has_await_payload (attrs : t) = Ext_list.find_first attrs is_await
 let has_async_payload (attrs : t) = Ext_list.find_first attrs is_async
@@ -273347,7 +273347,7 @@ and transl_exp0 (e : Typedtree.expression) : Lambda.lambda =
   | Texp_let (rec_flag, pat_expr_list, body) ->
       transl_let rec_flag pat_expr_list (transl_exp body)
   | Texp_function { arg_label = _; param; cases; partial } ->
-      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async") in
+      let async = e.exp_attributes |> List.exists (fun ({txt}, _payload) -> txt = "async" || txt = "res.async") in
       let params, body, return_unit =
         let pl = push_defaults e.exp_loc [] cases partial in
         transl_function e.exp_loc partial param pl