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/g-util.boot | |
| parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
| download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/g-util.boot')
| -rw-r--r-- | src/interp/g-util.boot | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index 486a7b34..115aa242 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -93,7 +93,7 @@ homogeneousListToVector(t,l) == ++ tests if x is an identifier beginning with # isSharpVar x == - IDENTP x and stringChar(symbolName x,0) = char "#" + ident? x and stringChar(symbolName x,0) = char "#" isSharpVarWithNum x == not isSharpVar x => nil @@ -231,7 +231,7 @@ get1(x,prop,e) == LASSOC(prop,getProplist(x,e)) or get2(x,prop) get2(x,prop) == - prop="modemap" and IDENTP x and constructor? x => + prop="modemap" and ident? x and constructor? x => (u := getConstructorModemapFromDB x) => [u] nil nil @@ -303,13 +303,13 @@ isQuasiquote m == ++ returns the inferred domain for the syntactic object t. getTypeOfSyntax t == atom t => - IDENTP t => '(Identifier) + ident? t => '(Identifier) (m := getBasicMode t) and not member(m,[$EmptyMode,$NoValueMode]) => ["Literal",m] $Syntax [op,:.] := t op = "Mapping" => '(MappingAst) - op = "QUOTE" and #t = 2 and IDENTP second t => ["Literal",$Symbol] + op = "QUOTE" and #t = 2 and ident? second t => ["Literal",$Symbol] op = "IF" => '(IfAst) op = "REPEAT" => '(RepeatAst) op = "WHILE" => '(WhileAst) @@ -483,7 +483,7 @@ stringPrefix?(pref,str) == stringChar2Integer(str,pos) == -- returns small integer represented by character in position pos -- in string str. Returns nil if not a digit or other error. - if IDENTP str then str := symbolName str + if ident? str then str := symbolName str not (string?(str) and integer?(pos) and (pos >= 0) and (pos < #str)) => nil not digit?(d := stringChar(str,pos)) => nil @@ -543,7 +543,7 @@ listOfPatternIds x == isPatternVar v == -- a pattern variable consists of a star followed by a star or digit(s) - IDENTP(v) and v in '(_*_* _*1 _*2 _*3 _*4 _*5 _*6 _*7 _*8 _*9 _*10 + ident?(v) and v in '(_*_* _*1 _*2 _*3 _*4 _*5 _*6 _*7 _*8 _*9 _*10 _*11 _*12 _*13 _*14 _*15 _*16 _*17 _*18 _*19 _*20) and true removeZeroOne x == @@ -872,7 +872,7 @@ isDefaultPackageName x == stringChar(s,maxIndex s) = char "&" isDefaultPackageForm? x == - x is [op,:.] and IDENTP op and isDefaultPackageName op + x is [op,:.] and ident? op and isDefaultPackageName op makeDefaultPackageName x == makeSymbol strconc(x,'"&") |