diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:01:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:01:39 +0000 |
commit | 90fc77c04c5f93595231f0da603d3f48e7ebbddb (patch) | |
tree | 1e5cc8ec4be21995d5d857bdc2ac7ae8c37007a6 /src/interp | |
parent | 59676ddc602b874061a8acc941f7bb19cd6041f5 (diff) | |
download | open-axiom-90fc77c04c5f93595231f0da603d3f48e7ebbddb.tar.gz |
* interp/compiler.boot (compString): Remove as unused.
* interp/mark.boot (compString): Likewise.
* algebra/string.spad.pamphlet (StringCategory): Remove obsolete
comments. Remove redundant SetCategory extension.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/compiler.boot | 3 | ||||
-rw-r--r-- | src/interp/mark.boot | 1 |
2 files changed, 0 insertions, 4 deletions
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"],_ |