diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test_checking.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test_checking.rs b/tests/test_checking.rs index 0ec6acd..60bb6da 100644 --- a/tests/test_checking.rs +++ b/tests/test_checking.rs @@ -51,8 +51,8 @@ fn test_checking() { assert!(check(Context::new(), parse_lambda(basic_application).unwrap(), Int).is_ok()); assert!(check(Context::new(), parse_lambda(correct_cond_abs).unwrap(), Func(Bool, Int)).is_ok()); assert!(check(Context::new(), parse_lambda(correct_cond).unwrap(), Nat).is_ok()); - assert!(check(Context::new(), parse_lambda(incorrect_branches).unwrap(), Empty).is_err()); - assert!(check(Context::new(), parse_lambda(incorrect_cond_abs).unwrap(), Empty).is_err()); + assert!(check(Context::new(), parse_lambda(incorrect_branches).unwrap(), Unit).is_err()); + 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(())); |