From 16636d2429fafcd58c40df7cd994a7e6d6298c41 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 29 Aug 2008 09:25:35 +0000
Subject: 	* interp/lisplib.boot (augModemapsFromDomain1): Move to
 modemap.boot 	(mkEvalableCategoryForm): Move to define.boot

---
 src/interp/lisplib.boot | 37 -------------------------------------
 1 file changed, 37 deletions(-)

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

diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot
index c7d6a44c..a4b90f8a 100644
--- a/src/interp/lisplib.boot
+++ b/src/interp/lisplib.boot
@@ -644,20 +644,6 @@ getConstructorSignature ctor ==
     sig
   nil
  
---% from MODEMAP BOOT
- 
-augModemapsFromDomain1(name,functorForm,e) ==
-  GETL(KAR functorForm,"makeFunctionList") =>
-    addConstructorModemaps(name,functorForm,e)
-  atom functorForm and (catform:= getmode(functorForm,e)) =>
-    augModemapsFromCategory(name,name,functorForm,catform,e)
-  mappingForm:= getmodeOrMapping(KAR functorForm,e) =>
-    ["Mapping",categoryForm,:functArgTypes]:= mappingForm
-    catform:= substituteCategoryArguments(rest functorForm,categoryForm)
-    augModemapsFromCategory(name,name,functorForm,catform,e)
-  stackMessage('"%1pb is an unknown mode",[functorForm])
-  e
- 
 getSlotFromCategoryForm ([op,:argl],index) ==
   u:= eval [op,:MAPCAR('MKQ,TAKE(#argl,$FormalMapVariableList))]
   null VECP u =>
@@ -665,29 +651,6 @@ getSlotFromCategoryForm ([op,:argl],index) ==
   u . index
  
  
---% constructor evaluation
---  The following functions are used by the compiler but are modified
---  here for use with new LISPLIB scheme
- 
-mkEvalableCategoryForm c ==       --from DEFINE
-  c is [op,:argl] =>
-    op="Join" => ["Join",:[mkEvalableCategoryForm x for x in argl]]
-    op is "DomainSubstitutionMacro" =>
-        --$extraParms :local
-        --catobj := EVAL c -- DomainSubstitutionFunction makes $extraParms
-        --mkEvalableCategoryForm sublisV($extraParms, catobj)
-        mkEvalableCategoryForm CADR argl
-    op is "mkCategory" => c
-    MEMQ(op,$CategoryNames) =>
-      ([x,m,$e]:= compOrCroak(c,$EmptyMode,$e); m=$Category => x)
-    --loadIfNecessary op
-    getConstructorKindFromDB op = 'category or
-      get(op,"isCategory",$CategoryFrame) =>
-        [op,:[quotifyCategoryArgument x for x in argl]]
-    [x,m,$e]:= compOrCroak(c,$EmptyMode,$e)
-    m=$Category => x
-  MKQ c
- 
 isDomainForm(D,e) ==
   --added for MPOLY 3/83 by RDJ
   MEMQ(KAR D,$SpecialDomainNames) or isFunctor D or
-- 
cgit v1.2.3