diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 07:45:10 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-09 07:45:10 +0200 |
| commit | 2ae4f8552b7101e118dc0a46797bc6ba6945a7b1 (patch) | |
| tree | c8eabe0a3673aa67668af24c903635e6a68a5687 /rust/src/web.rs | |
| parent | e8ab131a2b54aa4252ccda3261a0a6a2ade6a273 (diff) | |
| download | lambda-nantes-2ae4f8552b7101e118dc0a46797bc6ba6945a7b1.tar.gz | |
Generate simple lambda forms
Diffstat (limited to 'rust/src/web.rs')
| -rw-r--r-- | rust/src/web.rs | 14 |
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(); |
