diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
| commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
| tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/interp/clammed.boot | |
| parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
| download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/clammed.boot')
| -rw-r--r-- | src/interp/clammed.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index 50618179..479d8ba5 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -78,12 +78,12 @@ isValidType form == -- cause problems with the interpreter. Thus things like P P I -- are not valid. string? form => true - IDENTP form => false + ident? form => false member(form,$LangSupportTypes) => true form is ['Record,:selectors] => and/[isValidType type for [:.,type] in selectors] form is ['Enumeration,:args] => - null (and/[IDENTP x for x in args]) => false + null (and/[ident? x for x in args]) => false ((# args) = (# removeDuplicates args)) => true false form is ['Mapping,:mapargs] => @@ -125,7 +125,7 @@ isValidType form == -- Arguments to constructors are general expressions. Below -- domain constructors are not considered valid arguments (yet). x' := opOf x - cons? x' or not IDENTP x' => true -- surely not constructors + cons? x' or not ident? x' => true -- surely not constructors getConstructorKindFromDB x' ~= "domain" selectMms1(op,tar,args1,args2,$Coerce) == @@ -186,7 +186,7 @@ isLegitimateMode(t,hasPolyMode,polyVarList) == poly? := (con is 'Polynomial or con is 'Expression) isLegitimateMode(underDomainOf t,poly?,polyVarList) - IDENTP(op := first t) and constructor? op => + ident?(op := first t) and constructor? op => isLegitimateMode(underDomainOf t,hasPolyMode,polyVarList) => t t is ['Mapping,:ml] => null ml => false @@ -205,7 +205,7 @@ isLegitimateMode(t,hasPolyMode,polyVarList) == false t is ['Record,:r] => isLegitimateRecordOrTaggedUnion r t is ['Enumeration,:r] => - null (and/[IDENTP x for x in r]) => false + null (and/[ident? x for x in r]) => false ((# r) = (# removeDuplicates r)) => true false false |