aboutsummaryrefslogtreecommitdiff
path: root/src/type/display.rs
diff options
context:
space:
mode:
authorJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-10 14:36:02 +0300
committerJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-10 14:36:02 +0300
commitc121f20620499e9b7c497c82c7321474cbf59e1d (patch)
tree617c20d31cb577b459a423074d97a6e1b91e2a0c /src/type/display.rs
parent09f39aebe68213799fdd7a33665a162c40baf299 (diff)
downloadmyslip-c121f20620499e9b7c497c82c7321474cbf59e1d.tar.gz
myslip-c121f20620499e9b7c497c82c7321474cbf59e1d.zip
Implemented aka. Changed Nil:st type to NilType from an empty list.
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 4a9b54a..72e3693 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -22,6 +22,7 @@ impl fmt::Display for Type {
QuoteTy => write!(f, "{}", "Quote"),
VecType => write!(f, "{}", "Vector"),
LetType => write!(f, "{}", "Let"),
+ NilType => write!(f, "()"),
VecOf(ty) => write!(f, "({} ... {})", *ty, *ty),
Arrow(a, b) => write!(f, "({} -> {})", a, b),
List(types) => write!(