diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-20 16:51:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-20 16:51:59 +0000 |
commit | dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf (patch) | |
tree | 00280488110d6fa698021d36a823a4a3c710d28b /src/interp/define.boot | |
parent | 4e6f3697bd50df9225c8635a2a9c28290d06f27e (diff) | |
download | open-axiom-dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf.tar.gz |
* interp/category.boot (SigOpsubsume): Remove as unused.
(SourceLevelSubsume): Remove.
(SourceLevelSubset): Likewise.
* interp/sys-globals.boot: Likewise.
* interp/define.boot: Tidy.
* interp/functor.boot: Likewise.
* interp/info.boot: Likewise.
* algebra/si.spad.pamphlet: Don't set $noSubsets.
* algebra/fortpak.spad.pamphlet: Don't set $noSubsumption.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gdirprod.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 8a188026..f0d9cb16 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1127,13 +1127,6 @@ getSignature(op,argModeList,$e) == else for [[dc,:sig],:.] in mmList repeat printSignature(" ",op,sig) printSignature("NEED ",op,["?",:argModeList]) nil - for u in sigl repeat - for v in sigl | not (u=v) repeat - if SourceLevelSubsume(u,v) then sigl:= delete(v,sigl) - --before we complain about duplicate signatures, we should - --check that we do not have for example, a partial - as - --well as a total one. SourceLevelSubsume (from CATEGORY BOOT) - --should do this 1=#sigl => first sigl stackSemanticError(["duplicate signatures for ",op,": ",argModeList],nil) |