feat: add expr<types>

ionide · Apr 5, 2024 · 70239a9 · 70239a9
1 parent 59c8537
commit 70239a9
Show file tree

Hide file tree

Showing 5 changed files with 12,497 additions and 12,459 deletions.
diff --git a/examples/expressions.fs b/examples/expressions.fs
@@ -1,6 +1,2 @@
 do
-  try
-    ()
-  with
-  | _ -> ()
-  | _ -> ()
+  y<int>
diff --git a/grammar.js b/grammar.js
@@ -692,9 +692,9 @@ module.exports = grammar({
       prec(PREC.PAREN_EXPR,
         seq(
           $._expression,
-          token.immediate('<'),
+          token.immediate(prec(PREC.PAREN_EXPR, '<')),
           optional($.types),
-          '>',
+          prec(PREC.PAREN_EXPR, '>'),
         )),
 
     declaration_expression: $ =>
@@ -1039,7 +1039,7 @@ module.exports = grammar({
     types: $ =>
       seq(
         $.type,
-        repeat1(prec.left(PREC.COMMA, seq(',', $.type))),
+        repeat(prec.left(PREC.COMMA, seq(',', $.type))),
       ),
 
     type_attribute: $ =>

diff --git a/src/grammar.json b/src/grammar.json