diff options
| -rw-r--r-- | prelude.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/prelude.cpp b/prelude.cpp index 8fc9d8a..7d9b4c3 100644 --- a/prelude.cpp +++ b/prelude.cpp @@ -19,7 +19,8 @@ const AST afterBootstrap=AST(R"RAW( (def 'print (. putstr repr)) (def '$ \f \x (f x)) (def 'if \c \t \f (__if c (() t) (() f))) - (def 'last \l (if (nil (tail l)) (head l) (last (tail l))))) + (def 'last \l (if (nil (tail l)) (head l) (last (tail l)))) + (def 'init \l (if (nil (tail l)) '() (cons (head l) (init (tail l)))))) )RAW"); static AST dofunction(const AST&); @@ -81,6 +82,13 @@ public: return res; })); + intoEnv.define("cons",checkedHook("cons",{},{AST::Type::tuple}, + [](Environment&,const AST &arg1,const AST &arg2) -> AST { + AST res(arg2); + res.terms.insert(res.terms.begin(),arg1); + return res; + })); + intoEnv.define("nil",checkedHook("nil",{AST::Type::tuple}, [](Environment&,const AST &arg) -> AST { return AST::makeNumber(arg.terms.size()==0); |