From 8266743dc86cbfb39cdad47b3d40f4d3bda9d34b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 28 May 2013 02:58:55 +0000
Subject: Have compDefine take a DB parameter

---
 src/interp/compiler.boot | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/interp/compiler.boot')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 43ac6566..1bb651c2 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -168,6 +168,9 @@ comp2(x,m,e) ==
 
 comp3(x,m,$e) ==
   --returns a Triple or %else nil to signalcan't do'
+  db :=
+    ctor := currentConstructor $e => constructorDB ctor
+    nil
   $e:= addDomain(m,$e)
   e:= $e --for debugging purposes
   m is ["Mapping",:.] => compWithMappingMode(x,m,e)
@@ -183,6 +186,7 @@ comp3(x,m,$e) ==
     and (T := applyMapping(x,m,e,ml)) => T
   op is ":" => compColon(x,m,e)
   op is "::" => compCoerce(x,m,e)
+  op is 'DEF => compDefine(db,x,m,e)
   t:= compExpression(x,m,e)
   t is [x',m',e'] and not listMember?(m',getDomainsInScope e') =>
     [x',m',addDomain(m',e')]
@@ -2832,7 +2836,6 @@ for x in [["|", :"compSuchthat"],_
 	  ["COLLECT", :"compRepeatOrCollect"],_
 	  ["CONS", :"compCons"],_
 	  ["construct", :"compConstruct"],_
-	  ["DEF", :"compDefine"],_
 	  ["elt", :"compElt"],_
 	  ["Enumeration", :"compBuiltinDomain"],_
           ["EnumerationCategory", :"compEnumCat"],_
-- 
cgit v1.2.3