summaryrefslogtreecommitdiff
path: root/rust/src/web.rs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2024-10-09 07:45:10 +0200
committerArnaud Bailly <arnaud.bailly@iohk.io>2024-10-09 07:45:10 +0200
commit2ae4f8552b7101e118dc0a46797bc6ba6945a7b1 (patch)
treec8eabe0a3673aa67668af24c903635e6a68a5687 /rust/src/web.rs
parente8ab131a2b54aa4252ccda3261a0a6a2ade6a273 (diff)
downloadlambda-nantes-2ae4f8552b7101e118dc0a46797bc6ba6945a7b1.tar.gz
Generate simple lambda forms
Diffstat (limited to 'rust/src/web.rs')
-rw-r--r--rust/src/web.rs14
1 files changed, 14 insertions, 0 deletions
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
@@ -448,6 +448,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();
let expected = "1".to_string();