From c8d286239ef0d14a985cdcc26e0eda57098a5db1 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 9 Oct 2024 15:55:14 +0200
Subject: Generate multiple expressions

---
 rust/src/web.rs | 42 ++++++++++++++++++++++++++++++++++++++----
 1 file changed, 38 insertions(+), 4 deletions(-)

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

diff --git a/rust/src/web.rs b/rust/src/web.rs
index 6bba34e..3b9fc9e 100644
--- a/rust/src/web.rs
+++ b/rust/src/web.rs
@@ -10,7 +10,7 @@ use std::{collections::HashMap, sync::Arc};
 use tokio::task;
 use uuid::Uuid;
 
-use lambda::lambda::{eval_all, eval_whnf, generate_expr, Environment};
+use lambda::lambda::{eval_all, eval_whnf, generate_expr, generate_exprs, Environment};
 use lambda::parser::parse;
 
 #[derive(Debug, PartialEq, Serialize, Deserialize, Clone)]
@@ -67,9 +67,31 @@ impl Client {
     }
 
     fn generate_expr(&mut self) -> (String, String) {
-        let input = generate_expr(self.grade.into(), &mut self.runner);
-        let expected = eval_whnf(&input, &mut Environment::new());
-        (input.to_string(), expected.to_string())
+        if self.grade >= 10 {
+            self.generate_exprs()
+        } else {
+            let input = generate_expr(self.grade.into(), &mut self.runner);
+            let expected = eval_whnf(&input, &mut Environment::new());
+            (input.to_string(), expected.to_string())
+        }
+    }
+
+    fn generate_exprs(&mut self) -> (String, String) {
+        let exprs = generate_exprs(self.grade.into(), &mut self.runner);
+        let input = exprs
+            .iter()
+            .map(|v| format!("{}", v))
+            .collect::<Vec<_>>()
+            .join("\n");
+        let expected = eval_all(&exprs);
+        (
+            input,
+            expected
+                .iter()
+                .map(|v| format!("{}", v))
+                .collect::<Vec<_>>()
+                .join("\n"),
+        )
     }
 
     fn check_result(
@@ -504,6 +526,18 @@ mod app_tests {
         assert!(!parsed.is_empty());
     }
 
+    #[test]
+    async fn client_generates_multiple_terms_at_level_10() {
+        let mut client = client();
+        client.grade = 10;
+
+        let (input, _) = client.generate_expr();
+
+        let parsed = parse(&input);
+
+        assert!(parsed.len() > 1);
+    }
+
     #[test]
     async fn client_increases_grade_on_successful_test() {
         let mut client = client();
-- 
cgit v1.2.3