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/check.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/type/check.rs b/src/type/check.rs
index 81a43a4..c3bdcb4 100644
--- a/src/type/check.rs
+++ b/src/type/check.rs
@@ -28,7 +28,7 @@ impl SExp {
     ///
     /// assert_eq!(
     ///     scons(Quote, scons(1, scons(False, Nil))).type_check(),
-    ///     Ok(List(vec![Integer, Boolean]))
+    ///     Ok(List(vec![QuoteTy, List(vec![Integer, Boolean])]))
     /// );
     /// ```
     /// Though so is Nil given too:
@@ -150,8 +150,8 @@ impl SExp {
             Atom(Not)   => Ok(arr(List(vec!(Boolean)), Boolean)),
             Atom(Nil)   => Ok(List(vec![])),
             Atom(Quote) => Ok(arr(
-                               VarType("T".to_string()),
-                               VarType("T".to_string())
+                               vt("T"),
+                               List(vec![QuoteTy, vt("T")])
                            )),
 
             SCons(op, l) => {
-- 
cgit v1.2.3