From 7f53a21f209725577311afcea2b47bb13a8532d1 Mon Sep 17 00:00:00 2001
From: ProgramSnail <PurpureBacterium@yandex.ru>
Date: Tue, 18 Jul 2023 11:40:59 +0300
Subject: [PATCH] lamda syntax minor change

---
 corpus/test.langexp | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/corpus/test.langexp b/corpus/test.langexp
index 185dc02..9e3d7cc 100644
--- a/corpus/test.langexp
+++ b/corpus/test.langexp
@@ -57,7 +57,9 @@ func_2 = {
 
   %val | %err := f x;
 
-  %lambda := \'x 'y -> 'x + 'y;
+  %lambda1 := \'x 'y -> 'x + 'y;
+
+  %lambda2 := \ -> 3;
 
   variant =: 1 | 2 -> "a"
           =: 3..10 -> "b"
@@ -420,6 +422,12 @@ arg_deduction_example 'name 'duration : <- String <- Float -> Task = Task 'name
               (operator)
               (name_expression
                 (argument_name_identifier))))))
+      (match
+        (name_definition
+          (simple_name_identifier))
+        (case
+          (lambda
+            (number_literal))))
       (match
         (name_expression
           (simple_name_identifier))