subtyping wip

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(()));