From 6a251945e63587b97fb718b8a090b2da018cb32a Mon Sep 17 00:00:00 2001
From: ProgramSnail <PurpureBacterium@yandex.ru>
Date: Fri, 23 Feb 2024 15:51:10 +0300
Subject: [PATCH] simple type annotations (fix), test fix

---
 corpus/test.lang | 4 ++--
 grammar.js       | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/corpus/test.lang b/corpus/test.lang
index 484067f..7c5e691 100644
--- a/corpus/test.lang
+++ b/corpus/test.lang
@@ -133,7 +133,7 @@ Fruit = @apple Unit
 
 : function that takes array reference argument
 bubble_sort 'arr : <> Array['A] {
-  swap_occured := true;
+  $ swap_occured := true;
   @ swap_occured => {
     swap_occured = false;
     @ %i : 0 .. 'arr.size => (?? 'arr[i] > 'arr[i + 1] => swap 'arr[i] 'arr[i + 1], swap_occured = true);
@@ -799,7 +799,7 @@ array_function_test 'x : Int [[ 'x (do_something 'x) (T 'x)]]
     (block
       (empty_lines)
       (match
-        (name_expression
+        (name_definition
           (simple_name_identifier))
         (case
           (bool_literal)))
diff --git a/grammar.js b/grammar.js
index 94a386b..7bdd0ae 100644
--- a/grammar.js
+++ b/grammar.js
@@ -236,7 +236,7 @@ module.exports = grammar({
 
     simple_type: $ => seq(
       field('name', $._type_identifier),
-      optional(seq('[', repeat1($._scoped_type), ']'))
+      optional(seq('[', repeat1($._annotated_type), ']'))
     ),
 
     _type: $ => choice(