type: preliminarily forbit \; in types

grammar.js

@@ -21,7 +21,7 @@ module.exports = grammar({
     typedef: ($) => prec.right(seq("type", $.ident, "=", $.type, ";")),
     morphdef: ($) => prec.right(seq("morph", $.ident, ":", $.type, "=", $.impl, ";")),
     ident: ($) => /([a-zA-Z$][0-9a-zA-Z_\-]*)/,
-    type: ($) => /([^\`\=]*)/,
+    type: ($) => /([^\`\=\;]*)/,
     impl: ($) => seq("```", $.impl_c_code, "```"),
     impl_c_code: (_) => /([^\`]*)/,
   },

query/injections.scm

@@ -1,3 +1,3 @@
-((impl_c_code @injection.content)
+((impl_c_code) @injection.content
  (#set! injection.language "c"))
 

src/grammar.json

@@ -158,7 +158,7 @@
     },
     "type": {
       "type": "PATTERN",
-      "value": "([^\\`\\=]*)"
+      "value": "([^\\`\\=\\;]*)"
     },
     "impl": {
       "type": "SEQ",

src/parser.c

@@ -363,12 +363,14 @@ static bool ts_lex(TSLexer *lexer, TSStateId state) {
       if (('\t' <= lookahead && lookahead <= '\r') ||
           lookahead == ' ') ADVANCE(27);
       if (lookahead != 0 &&
+          lookahead != ';' &&
           lookahead != '=' &&
           lookahead != '`') ADVANCE(28);
       END_STATE();
     case 28:
       ACCEPT_TOKEN(sym_type);
       if (lookahead != 0 &&
+          lookahead != ';' &&
           lookahead != '=' &&
           lookahead != '`') ADVANCE(28);
       END_STATE();