diff --git a/grammar.js b/grammar.js index 10a0506..dc0e47a 100644 --- a/grammar.js +++ b/grammar.js @@ -68,7 +68,6 @@ module.exports = grammar({ [$.match_expression, $._scope_separator], [$.product_constructor, $._scope_separator], [$.tuple_type], - [$.type_application], [$.binder], [$.tuple_pattern], [$.product_pattern], diff --git a/src/grammar.json b/src/grammar.json index 1cb13f1..12a3db8 100644 --- a/src/grammar.json +++ b/src/grammar.json @@ -5918,9 +5918,6 @@ [ "tuple_type" ], - [ - "type_application" - ], [ "binder" ],