diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:57:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:57:33 +0000 |
commit | f42883e3da3524177b4a8c6f42c8e7b1646a6265 (patch) | |
tree | 7802320c3cab01a11aa32fd87bf8ea00f265fd80 /src/interp/clammed.boot | |
parent | 37bce222d153e4b7b0c086b9c717435f4cdd2c77 (diff) | |
download | open-axiom-f42883e3da3524177b4a8c6f42c8e7b1646a6265.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/clammed.boot')
-rw-r--r-- | src/interp/clammed.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index 5462d0ee..18632214 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -82,7 +82,7 @@ isValidType form == and/[isValidType type for [:.,type] in selectors] form is ['Enumeration,:args] => null (and/[IDENTP x for x in args]) => false - ((# args) = (# REMDUP args)) => true + ((# args) = (# removeDuplicates args)) => true false form is ['Mapping,:mapargs] => null mapargs => NIL @@ -92,7 +92,7 @@ isValidType form == args and first args is [":",:.] => and/[isValidType type for [:.,type] in args] null (and/[isValidType arg for arg in args]) => NIL - ((# args) = (# REMDUP args)) => true + ((# args) = (# removeDuplicates args)) => true sayKeyedMsg("S2IR0005",[form]) NIL @@ -199,12 +199,12 @@ isLegitimateMode(t,hasPolyMode,polyVarList) == -- check for tagged union ml and first ml is [":",:.] => isLegitimateRecordOrTaggedUnion ml null (and/[isLegitimateMode(m,nil,nil) for m in ml]) => false - ((# ml) = (# REMDUP ml)) => true + ((# ml) = (# removeDuplicates ml)) => true false t is ['Record,:r] => isLegitimateRecordOrTaggedUnion r t is ['Enumeration,:r] => null (and/[IDENTP x for x in r]) => false - ((# r) = (# REMDUP r)) => true + ((# r) = (# removeDuplicates r)) => true false false |