From d6d1ec80ffcc0b13234b170a91b920371078a027 Mon Sep 17 00:00:00 2001 From: Joel Kronqvist Date: Sun, 10 Aug 2025 19:16:51 +0300 Subject: Added tests for functions --- src/sexp/step.rs | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/sexp/step.rs') diff --git a/src/sexp/step.rs b/src/sexp/step.rs index c26dce9..8cc1e64 100644 --- a/src/sexp/step.rs +++ b/src/sexp/step.rs @@ -270,6 +270,22 @@ impl SExp { /// ); /// ``` /// + /// **Functions** + /// ```rust + /// use myslip::{sexp::{SExp::*, SLeaf::*, util::*}, r#type::{Type::*, util::*}}; + /// + /// let varlist = scons(var("a"), scons(var("b"), Nil)); + /// let typelist = scons(Ty(List(vec![Integer])), Nil); + /// let ret = Atom(Ty(Boolean)); + /// let body = scons(Gt, varlist.clone()); + /// let fun = scons(Fun, scons(varlist, scons(typelist, scons(ret, scons(body, Nil))))); + /// let args = scons(2, scons(1, Nil)); + /// assert_eq!( + /// scons(fun, scons(args, Nil)).multistep(), + /// Ok(Atom(True)) + /// ); + /// ``` + /// /// Shadowing: /// ```rust /// use myslip::sexp::{SExp::*, SLeaf::*, util::*}; -- cgit v1.2.3