From 90fc77c04c5f93595231f0da603d3f48e7ebbddb Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 26 Jun 2010 00:01:39 +0000
Subject: 	* interp/compiler.boot (compString): Remove as unused. 	*
 interp/mark.boot (compString): Likewise. 	* algebra/string.spad.pamphlet
 (StringCategory): Remove obsolete 	comments.  Remove redundant
 SetCategory extension.

---
 src/interp/compiler.boot | 3 ---
 src/interp/mark.boot     | 1 -
 2 files changed, 4 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 0603ba9a..6fa7b699 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -57,7 +57,6 @@ comp3: (%Form,%Mode,%Env) -> %Maybe %Triple
 compExpression: (%Form,%Mode,%Env) -> %Maybe %Triple
 compAtom: (%Form,%Mode,%Env) -> %Maybe %Triple
 compSymbol: (%Form,%Mode,%Env) -> %Maybe %Triple
-compString: (%Form,%Mode,%Env) -> %Maybe %Triple
 compTypeOf: (%Form,%Mode,%Env) -> %Maybe %Triple
 compForm: (%Form,%Mode,%Env) -> %Maybe %Triple
 compForm1: (%Form,%Mode,%Env) -> %Maybe %Triple
@@ -745,8 +744,6 @@ substituteIntoFunctorModemap(argl,modemap is [[dc,:sig],:.],e) ==
 
 compConstructorCategory(x,m,e) == [x,resolve($Category,m),e]
 
-compString(x,m,e) == [x,resolve($StringCategory,m),e]
-
 --% SUBSET CATEGORY
 
 compSubsetCategory: (%Form,%Mode,%Env) -> %Maybe %Triple
diff --git a/src/interp/mark.boot b/src/interp/mark.boot
index 07a670c0..75caa58e 100644
--- a/src/interp/mark.boot
+++ b/src/interp/mark.boot
@@ -1525,7 +1525,6 @@ for x in [["%LET", :"compSetq"],_
           ["SubsetCategory", :"compSubsetCategory"],_
           ["SubDomain", :"compSubDomain"],_
           ["case", :"compCase"],_
-          ["String", :"compString"],_
           ["RecordCategory", :"compConstructorCategory"],_
           ["ListCategory", :"compConstructorCategory"],_
           ["VectorCategory", :"compConstructorCategory"],_
-- 
cgit v1.2.3