From 9121a0b782d2cd6551a393f1d3a79c7b092e4873 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sat, 2 Aug 2025 17:53:09 +0300 Subject: Added tests for type_check. Implemented std::fmt::Display for many enums. Added type variants List(Type), and UndefinedType for use in error messages. Implemented type utility arr(a, b). --- src/sexp/mod.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/sexp/mod.rs') diff --git a/src/sexp/mod.rs b/src/sexp/mod.rs index 71e62e9..0fb5e25 100644 --- a/src/sexp/mod.rs +++ b/src/sexp/mod.rs @@ -2,6 +2,7 @@ pub mod step; pub mod util; pub mod subst; +pub mod display; /// A leaf node for S-Expressions. /// @@ -36,6 +37,7 @@ pub enum SExp { use SExp::*; use SLeaf::*; + impl SExp { pub fn is_value(&self) -> bool { match self { -- cgit v1.2.3