Compiler: fix 'as' keyword as ident

Author: hhugo

CHANGES.md

@@ -1,4 +1,4 @@
-# 5.5.2 (2023-12-01) - Lille
+# dev (2023-??-??) - Lille
 
 ## Features/Changes
 * Compiler: try to preserve clorures ordering between ml and js
@@ -7,6 +7,7 @@
 * Compiler: js-parser now accept all the line terminators defined in the spec
 * Compiler: js-parser: fix support for LHS assignment target
 * Compiler: js-parser: fix parser of default export
+* Compiler: js-parser: allow 'as' as ident
 
 # 5.5.2 (2023-12-01) - Lille
 

compiler/lib/js_parser.mly

@@ -1184,7 +1184,7 @@ ident:
 (* add here keywords which are not considered reserved by ECMA *)
 ident_semi_keyword:
  (* TODO: would like to add T_IMPORT here, but cause conflicts *)
- (* can have AS and ASYNC here but need to restrict arrow_function then *)
+ | T_AS { T_AS }
  | T_ASYNC { T_ASYNC }
  | T_FROM { T_FROM }
  | T_GET { T_GET }

compiler/tests-compiler/js_parser_printer.ml

@@ -676,6 +676,17 @@ let%expect_test "assignment targets" =
     [[[x = 5]], {a, b}, ...rest] = [];
     ({a: [a, b] = f(), b = 3, ...rest} = {}); |}]
 
+let%expect_test "as keyword" =
+  print
+    ~debuginfo:false
+    ~compact:false
+    ~report:true
+    {|
+const as = () => () => ts(void 0, void 0, void 0, function* () {})
+|};
+  [%expect {|
+    const as = ()=>()=>ts(void 0, void 0, void 0, function*(){}); |}]
+
 let%expect_test "error reporting" =
   (try
      print ~invalid:true ~compact:false {|