summaryrefslogtreecommitdiff
path: root/rust/src/web.rs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2024-10-08 22:32:44 +0200
committerArnaud Bailly <arnaud.bailly@iohk.io>2024-10-08 22:32:44 +0200
commite8ab131a2b54aa4252ccda3261a0a6a2ade6a273 (patch)
treee3910c5da9fb91b707f4860ed829918c0d062b0f /rust/src/web.rs
parent5d24ab1e8765dbd5001aba21fe59d754224720f5 (diff)
downloadlambda-nantes-e8ab131a2b54aa4252ccda3261a0a6a2ade6a273.tar.gz
Generate nested binary applications
Also factor out common strategies into functions
Diffstat (limited to 'rust/src/web.rs')
-rw-r--r--rust/src/web.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/rust/src/web.rs b/rust/src/web.rs
index af27eda..3d9fcda 100644
--- a/rust/src/web.rs
+++ b/rust/src/web.rs
@@ -432,6 +432,22 @@ mod app_tests {
}
#[test]
+ async fn client_generates_nested_applications_and_constants_at_level_5() {
+ let mut client = client();
+ client.grade = 5;
+
+ let (input, _) = client.generate_expr();
+
+ let parsed = parse(&input);
+ match &parsed[..] {
+ [Value::App(_, _)] => (),
+ [Value::Sym(_)] => (),
+ [Value::Num(_)] => (),
+ _ => panic!("Expected symbol, got {:?}", parsed),
+ }
+ }
+
+ #[test]
async fn client_increases_grade_on_successful_test() {
let mut client = client();
let expected = "1".to_string();