From 2ae4f8552b7101e118dc0a46797bc6ba6945a7b1 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Wed, 9 Oct 2024 07:45:10 +0200
Subject: Generate simple lambda forms

---
 rust/src/web.rs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'rust/src/web.rs')

diff --git a/rust/src/web.rs b/rust/src/web.rs
index 3d9fcda..420d72c 100644
--- a/rust/src/web.rs
+++ b/rust/src/web.rs
@@ -447,6 +447,20 @@ mod app_tests {
         }
     }
 
+    #[test]
+    async fn client_generates_lambda_terms_at_level_6() {
+        let mut client = client();
+        client.grade = 6;
+
+        let (input, _) = client.generate_expr();
+
+        let parsed = parse(&input);
+        match &parsed[..] {
+            [Value::Lam(_, _)] => (),
+            _ => panic!("Expected symbol, got {:?}", parsed),
+        }
+    }
+
     #[test]
     async fn client_increases_grade_on_successful_test() {
         let mut client = client();
-- 
cgit v1.2.3