From 1e712e91edea0735c5eb440af26ac6d4454e70a9 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Tue, 5 Aug 2025 15:12:27 +0300
Subject: Fix: quote is not a typewise identity function. Added vt(&str) as
 util for VarType(String).

---
 src/type/util.rs | 4 ++++
 1 file changed, 4 insertions(+)

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

diff --git a/src/type/util.rs b/src/type/util.rs
index 27fc661..9be8c6e 100644
--- a/src/type/util.rs
+++ b/src/type/util.rs
@@ -5,3 +5,7 @@ pub fn arr(a: impl Into<Box<Type>>, b: impl Into<Box<Type>>) -> Type {
     Arrow(a.into(), b.into())
 }
 
+pub fn vt(name: &str) -> Type {
+    VarType(name.to_string())
+}
+
-- 
cgit v1.2.3