aboutsummaryrefslogtreecommitdiff
path: root/src/type/subst.rs
diff options
context:
space:
mode:
authorJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-05 15:12:27 +0300
committerJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-05 15:12:27 +0300
commit1e712e91edea0735c5eb440af26ac6d4454e70a9 (patch)
treef03b4afb90bb4e36e825814a4fddec253994b7b3 /src/type/subst.rs
parent7be78efb6c56c04b8a96b3f4f7f6cf810da04dbf (diff)
downloadmyslip-1e712e91edea0735c5eb440af26ac6d4454e70a9.tar.gz
myslip-1e712e91edea0735c5eb440af26ac6d4454e70a9.zip
Fix: quote is not a typewise identity function. Added vt(&str) as util for VarType(String).
Diffstat (limited to 'src/type/subst.rs')
-rw-r--r--src/type/subst.rs2
1 files changed, 1 insertions, 1 deletions
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,
}
}