fix: allow Ticks' in module and variant identifiers

Author: nkrkv

grammar.js

@@ -1320,7 +1320,7 @@ module.exports = grammar({
       $.block,
     ),
 
-    variant_identifier: $ => /[A-Z][a-zA-Z0-9_]*/,
+    variant_identifier: $ => /[A-Z][a-zA-Z0-9_']*/,
 
     polyvar_identifier: $ => seq(
       '#',
@@ -1346,7 +1346,7 @@ module.exports = grammar({
 
     _escape_identifier: $ => token(seq('\\"', /[^"]+/ , '"')),
 
-    module_identifier: $ => /[A-Z][a-zA-Z0-9_]*/,
+    module_identifier: $ => /[A-Z][a-zA-Z0-9_']*/,
 
     decorator_identifier: $ => /[a-zA-Z0-9_\.]+/,
 

test/corpus/modules.txt

@@ -268,6 +268,7 @@ Alias
 ===========================================
 
 module Q = Foo.Bar.Qux
+module Foo' = Foo
 
 ---
 
@@ -278,7 +279,10 @@ module Q = Foo.Bar.Qux
       (module_identifier_path
         (module_identifier)
         (module_identifier))
-      (module_identifier))))
+      (module_identifier)))
+  (module_declaration
+    (module_identifier)
+    (module_identifier)))
 
 ===========================================
 Recursive

test/corpus/type_declarations.txt

@@ -151,6 +151,7 @@ Variant
 
 type t =
   | A
+  | A'
   | @live("t.D") D
   | B(anotherType)
   | C({foo: int, bar: string})
@@ -163,6 +164,7 @@ type t =
   (type_declaration
     (type_identifier)
     (variant_type
+      (variant_declaration (variant_identifier))
       (variant_declaration (variant_identifier))
       (variant_declaration
         (decorator (decorator_identifier) (decorator_arguments (string (string_fragment))))