From 1e712e91edea0735c5eb440af26ac6d4454e70a9 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist 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/subst.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/type/subst.rs') diff --git a/src/type/subst.rs b/src/type/subst.rs index 79c5fe1..d63f71b 100644 --- a/src/type/subst.rs +++ b/src/type/subst.rs @@ -38,8 +38,8 @@ impl Type { VarType(s) => VarType(s), Integer => Integer, - Boolean => Boolean, + QuoteTy => QuoteTy, } } -- cgit v1.2.3