diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-11 01:50:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-11 01:50:29 +0000 |
| commit | 46e765be689a737fa233ca242459520db3797f03 (patch) | |
| tree | 6c04f7b33f3caeea9c7bbca67e443677a358a7d4 /src/interp | |
| parent | c95606b43200927a9b54c5bba9670020aee6712d (diff) | |
| download | open-axiom-46e765be689a737fa233ca242459520db3797f03.tar.gz | |
Clean up
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/format.boot | 6 | ||||
| -rw-r--r-- | src/interp/i-output.boot | 6 | ||||
| -rw-r--r-- | src/interp/sys-constants.boot | 2 |
3 files changed, 7 insertions, 7 deletions
diff --git a/src/interp/format.boot b/src/interp/format.boot index 9f58ceb6..f322e9a0 100644 --- a/src/interp/format.boot +++ b/src/interp/format.boot @@ -392,7 +392,7 @@ form2String1 u == formWrapId u SUBRP u => formWrapId BPINAME u string? u => formWrapId u - formWrapId WRITE_-TO_-STRING u + formWrapId toString u u1 := u [op,:argl] := u op='Join or op= 'mkCategory => formJoin1(op,argl) @@ -735,12 +735,12 @@ object2String x == IDENTP x => PNAME x null x => '"" cons? x => strconc(object2String first x, object2String rest x) - WRITE_-TO_-STRING x + toString x object2Identifier x == IDENTP x => x string? x => INTERN x - INTERN WRITE_-TO_-STRING x + INTERN toString x blankList x == "append"/[[BLANK,y] for y in x] diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot index 5602b11e..40ad756c 100644 --- a/src/interp/i-output.boot +++ b/src/interp/i-output.boot @@ -2619,7 +2619,7 @@ primaryForm2String x == x = "$" => '"%" x = "$$" => '"%%" SYMBOL_-NAME x - atom x => WRITE_-TO_-STRING x + atom x => toString x strconc('"(",inputForm2String x, '")") callForm2String x == @@ -2636,8 +2636,8 @@ callForm2String x == op = "$elt" => typedForm2String("$", second args, first args) op is ["$elt",t,op'] => typedForm2String("$",[op',:args], t) "strconc"/[inputForm2String op, '"(",:args','")"] where - args' := [toString(a,i) for a in args for i in 0..] - toString(a,i) == + args' := [stringify(a,i) for a in args for i in 0..] + stringify(a,i) == i = 0 => inputForm2String a strconc('",",inputForm2String a) diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index eebbc95d..c8e454d3 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -295,7 +295,7 @@ $TriangleVariableList == $AtVariables == - [INTERN strconc('"@",WRITE_-TO_-STRING i) for i in 1..50] + [INTERN strconc('"@",toString i) for i in 1..50] ++ List of basic predicates the system has a built-in optimization ++ support for. |