From a70dcaa949f41c585f9aea5e79f2550053d8e857 Mon Sep 17 00:00:00 2001
From: Joel Kronqvist <joel.kronqvist@iki.fi>
Date: Tue, 19 Aug 2025 13:55:05 +0300
Subject: test: added boilerplate and tests for coproduct parsing, type
 checking and evaluation

---
 src/sexp/display.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/sexp/display.rs')

diff --git a/src/sexp/display.rs b/src/sexp/display.rs
index ec1b421..703bda3 100644
--- a/src/sexp/display.rs
+++ b/src/sexp/display.rs
@@ -28,6 +28,9 @@ impl fmt::Display for SLeaf {
 	    RestPat(s) => format!("..{s}"),
             Quote  => "quote".to_string(),
             Vector => "vector".to_string(),
+            Coprod => "coprod".to_string(),
+            Inl    => "inl".to_string(),
+            Inr    => "inr".to_string(),
             Concat => "<>".to_string(),
 	    Print  => "print".to_string(),
             Let    => "let".to_string(),
-- 
cgit v1.2.3