Handle quoted Pexp_ident.

Author: cristianoc

analysis/src/SemanticTokens.ml

@@ -211,6 +211,17 @@ let parser ~debug ~emitter ~path =
   in
   let expr (mapper : Ast_mapper.mapper) (e : Parsetree.expression) =
     match e.pexp_desc with
+    | Pexp_ident {txt = Lident id}
+      when snd (Utils.tupleOfLexing e.pexp_loc.loc_end)
+           - snd (Utils.tupleOfLexing e.pexp_loc.loc_start)
+           > String.length id (* /"stuff" *) ->
+      let type_ = Token.Variable in
+      if debug then
+        Printf.printf "QuotedIdent: %s %s %s\n" id
+          (posToString (Utils.tupleOfLexing e.pexp_loc.loc_start))
+          (Token.tokenTypeDebug type_);
+      emitter |> emitFromLoc ~loc:e.pexp_loc ~type_;
+      Ast_mapper.default_mapper.expr mapper e
     | Pexp_ident {txt = lid; loc} ->
       emitter
       |> emitLongident ~pos:(Utils.tupleOfLexing loc.loc_start) ~lid ~debug;

analysis/tests/src/Parser.res

@@ -103,3 +103,7 @@ module ToAsProp = {
   }
 }
 let _ = <ToAsProp to=3 />
+
+// quoted identifiers
+let \"true" = 4
+let _ = \"true"

analysis/tests/src/expected/Parser.res.txt

@@ -1,5 +1,5 @@
 Parse tests/src/Parser.res
-structure items:29 diagnostics:0 
+structure items:31 diagnostics:0 
 Lident: M (0,7) Namespace
 Lident: C (1,9) Namespace
 Lident: Component (1,13) Namespace
@@ -121,4 +121,6 @@ Variable: to (100,14)->(100,17)
 Variable: make (100,6)->(100,10)
 JsxTag <: (104,8)
 Lident: ToAsProp (104,9) Namespace
+Variable: true (107,4)->(107,11)
+QuotedIdent: true (108,8) Variable