diff options
| author | JJ | 2023-04-13 03:06:40 +0000 |
|---|---|---|
| committer | JJ | 2023-04-13 03:37:06 +0000 |
| commit | 188631f3bb263700c34d578af5968ab80e699485 (patch) | |
| tree | fc4591684f4b9700d03516595e8b3d66d3a58579 /tests/test_checking.rs | |
| parent | 56f47bb2e5816de7630569a8825914d0620983cc (diff) | |
minor cleanupscpsc539
Diffstat (limited to 'tests/test_checking.rs')
| -rw-r--r-- | tests/test_checking.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/test_checking.rs b/tests/test_checking.rs index 60bb6da..a4b5fd3 100644 --- a/tests/test_checking.rs +++ b/tests/test_checking.rs @@ -55,7 +55,7 @@ fn test_checking() { assert!(check(Context::new(), parse_lambda(incorrect_cond_abs).unwrap(), Error).is_err()); // more fun - assert_eq!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Int, Func(Int, Int)))), Ok(())); - assert_eq!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Nat, Func(Nat, Nat)))), Ok(())); - assert_eq!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Unit, Func(Unit, Unit)))), Ok(())); + assert!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Int, Func(Int, Int)))).is_ok()); + assert!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Nat, Func(Nat, Nat)))).is_ok()); + assert!(check(Context::new(), parse_lambda(not_inferrable).unwrap(), Func(Bool, Func(Unit, Func(Unit, Unit)))).is_ok()); } |