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/br-op2.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/interp/br-op2.boot')
-rw-r--r-- | src/interp/br-op2.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/br-op2.boot b/src/interp/br-op2.boot index bc9e0049..e29f362f 100644 --- a/src/interp/br-op2.boot +++ b/src/interp/br-op2.boot @@ -118,7 +118,7 @@ htSayArgument t == --called only for operations not for constructors htSaySaturn '"{\em \%}" htSayStandard '"{\em $}" htSaySaturn '"{\em \%}" - not IDENTP t => bcConform(t,true) + not ident? t => bcConform(t,true) k := position(t,$conargs) if k > -1 then typeOfArg := (rest $signature).k @@ -419,7 +419,7 @@ kFormatSlotDomain x == fn formatSlotDomain x where fn x == (op := first x) is '_$ => '_$ op is 'local => second x op is ":" => [":",second x,fn third x] - IDENTP op and isConstructorName op => [fn y for y in x] + ident? op and isConstructorName op => [fn y for y in x] integer? op => op op is 'QUOTE and atom second x => second x x @@ -581,7 +581,7 @@ modemap2SigConds conds == [conds] hasPatternVar x == - IDENTP x and (x ~= "**") => isPatternVar x + ident? x and (x ~= "**") => isPatternVar x atom x => false or/[hasPatternVar y for y in x] |