From 188631f3bb263700c34d578af5968ab80e699485 Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 12 Apr 2023 20:06:40 -0700
Subject: minor cleanups

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

(limited to 'tests')

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