aboutsummaryrefslogtreecommitdiff
path: root/src/type/display.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/display.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/display.rs')
-rw-r--r--src/type/display.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type/display.rs b/src/type/display.rs
index 3e4f49c..8eb0647 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -19,6 +19,7 @@ impl fmt::Display for Type {
match self {
Integer => write!(f, "{}", "Int"),
Boolean => write!(f, "{}", "Bool"),
+ QuoteTy => write!(f, "{}", "Quote"),
Arrow(a, b) => write!(f, "({} -> {})", a, b),
List(types) => write!(
f,