From 56f47bb2e5816de7630569a8825914d0620983cc Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 12 Apr 2023 18:30:35 -0700
Subject: subtyping wip

---
 tests/test_checking.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests')

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(()));
-- 
cgit v1.2.3-70-g09d2