From 9121a0b782d2cd6551a393f1d3a79c7b092e4873 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Sat, 2 Aug 2025 17:53:09 +0300
Subject: Added tests for type_check. Implemented std::fmt::Display for many
 enums. Added type variants List(Type), and UndefinedType for use in error
 messages. Implemented type utility arr(a, b).

---
 src/type/util.rs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/type/util.rs

(limited to 'src/type/util.rs')

diff --git a/src/type/util.rs b/src/type/util.rs
new file mode 100644
index 0000000..27fc661
--- /dev/null
+++ b/src/type/util.rs
@@ -0,0 +1,7 @@
+
+use crate::r#type::{*, Type::*};
+
+pub fn arr(a: impl Into<Box<Type>>, b: impl Into<Box<Type>>) -> Type {
+    Arrow(a.into(), b.into())
+}
+
-- 
cgit v1.2.3