From 33259a6291be67fdc2545024f8fd5ff9603fd8dd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 16 Sep 2014 18:58:40 +0000
Subject: Add more functionalities to the VM.

---
 src/syntax/sexpr.cc | 34 ++++++++++++++++++++++++++++------
 1 file changed, 28 insertions(+), 6 deletions(-)

(limited to 'src/syntax/sexpr.cc')

diff --git a/src/syntax/sexpr.cc b/src/syntax/sexpr.cc
index 6b73d5a0..97413935 100644
--- a/src/syntax/sexpr.cc
+++ b/src/syntax/sexpr.cc
@@ -223,10 +223,14 @@ namespace OpenAxiom {
       Function::Function(const Syntax* s) : unary_form<Function>(s) { }
 
       // -- Include --
-      Include::Include(const Syntax* s) : unary_form<Include>(s) { }
+      Include::Include(const Syntax* c, const Syntax* s)
+            : binary_form<Include>(c, s)
+      { }
 
       // -- Exclude --
-      Exclude::Exclude(const Syntax* s) : unary_form<Exclude>(s) { }
+      Exclude::Exclude(const Syntax* c, const Syntax* s)
+            : binary_form<Exclude>(c, s)
+      { }
 
       // -- ListSyntax --
       ListSyntax::ListSyntax() : dot(false) { }
@@ -325,13 +329,13 @@ namespace OpenAxiom {
       }
 
       const Include*
-      Allocator::make_include(const Syntax* s) {
-         return incs.make(s);
+      Allocator::make_include(const Syntax* c, const Syntax* s) {
+         return incs.make(c, s);
       }
 
       const Exclude*
-      Allocator::make_exclude(const Syntax* s) {
-         return excs.make(s);
+      Allocator::make_exclude(const Syntax* c, const Syntax* s) {
+         return excs.make(c, s);
       }
 
       const ListSyntax*
@@ -552,6 +556,22 @@ namespace OpenAxiom {
          return s.alloc.make_character(t);
       }
 
+      static const Syntax*
+      finish_include(Reader::State& s) {
+         ++s.cur;
+         auto cond = read_sexpr(s);
+         auto form = read_sexpr(s);
+         return s.alloc.make_include(cond, form);
+      }
+
+      static const Syntax*
+      finish_exclude(Reader::State& s) {
+         ++s.cur;
+         auto cond = read_sexpr(s);
+         auto form = read_sexpr(s);
+         return s.alloc.make_exclude(cond, form);
+      }
+
       static const Syntax*
       read_sharp_et_al(Reader::State& s) {
          if (++s.cur >= s.end)
@@ -562,6 +582,8 @@ namespace OpenAxiom {
          case ':': return finish_uninterned_symbol(s);
          case '.': return finish_readtime_eval(s);
          case '\\': return finish_character(s);
+         case '+': return finish_include(s);
+         case '-': return finish_exclude(s);
 
          default:
             if (isdigit(*s.cur))
-- 
cgit v1.2.3