From cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 30 Nov 2008 01:16:23 +0000
Subject: 	* interp/define.boot (mustInstantiate): Fix thinko introduced
 by 	earlier tweaks. 	(mkExplicitCategoryFunction): Likewise.

---
 src/interp/define.boot | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/interp/define.boot b/src/interp/define.boot
index 5da7a327..d68d3316 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -1642,8 +1642,8 @@ makeCategoryForm(c,e) ==
 
 mustInstantiate: %Form -> %Thing 
 mustInstantiate D ==
-  D is [fn,:.] and (not (fn in $DummyFunctorNames) 
-    or GET(fn,"makeFunctionList"))
+  D is [fn,:.] and 
+    not (MEMQ(fn,$DummyFunctorNames) or GET(fn,"makeFunctionList"))
 
 wrapDomainSub: (%List, %Form) -> %Form 
 wrapDomainSub(parameters,x) ==
@@ -1651,8 +1651,8 @@ wrapDomainSub(parameters,x) ==
  
 mkExplicitCategoryFunction(domainOrPackage,sigList,atList) ==
   body:=
-    ["mkCategory",MKQ domainOrPackage,['LIST,:nreverse sigList],
-      ['LIST,:nreverse atList],MKQ domList,nil] where
+    ["mkCategory",MKQ domainOrPackage,['LIST,:reverse sigList],
+      ['LIST,:reverse atList],MKQ domList,nil] where
         domList() ==
           ("union"/[fn sig for ["QUOTE",[[.,sig,:.],:.]] in sigList]) where
             fn sig == [D for D in sig | mustInstantiate D]
-- 
cgit v1.2.3