fix: allow ticks' in type and polyvar identifiers

Author: nkrkv

grammar.js

@@ -1325,7 +1325,7 @@ module.exports = grammar({
     polyvar_identifier: $ => seq(
       '#',
       choice(
-        /[a-zA-Z0-9_]+/,
+        /[a-zA-Z0-9_']+/,
         seq(
           optional('\\'),
           alias($.string, $.polyvar_string),
@@ -1334,7 +1334,7 @@ module.exports = grammar({
     ),
 
     type_identifier: $ => choice(
-      /[a-z_'][a-zA-Z0-9_]*/,
+      /[a-z_'][a-zA-Z0-9_']*/,
       $._escape_identifier,
     ),
 

test/corpus/type_declarations.txt

@@ -3,11 +3,13 @@ Opaque
 ===========================================
 
 type t
+type t'
 type \"type"
 
 ---
 
 (source_file
+ (type_declaration (type_identifier))
  (type_declaration (type_identifier))
  (type_declaration (type_identifier)))
 
@@ -212,6 +214,7 @@ Polyvar
 
 type t = [>
   | #AAA
+  | #AAA'
   | #bbb(anotherType)
   | #"cc-cc"
   | #\"cc-cc"
@@ -230,6 +233,7 @@ type t<'w> = [M.t<'w>]
   (type_declaration
     (type_identifier)
     (polyvar_type
+      (polyvar_declaration (polyvar_identifier))
       (polyvar_declaration (polyvar_identifier))
       (polyvar_declaration
         (polyvar_identifier) (polyvar_parameters (type_identifier)))