diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-22 23:30:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 23:30:09 +0000 |
commit | 95d7a3a8c107a8b722f97afdc0266449aad3a5bc (patch) | |
tree | b14f1bb96a61322950da273f750b14ef41467b68 /src/algebra/syntax.spad.pamphlet | |
parent | 024f4b2055594e528ec98e733bd50684b2366db0 (diff) | |
download | open-axiom-95d7a3a8c107a8b722f97afdc0266449aad3a5bc.tar.gz |
more cleanup
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index a8d6c7a3..9856a21d 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -625,6 +625,8 @@ ParameterAst(): Public == Private where ++ object \spad{x} to \spadtype{String}. This function ++ is left at the discretion of the compiler. Private == add + import %string?: % -> Boolean from Foreign Builtin + x case Identifier == SYMBOLP(x)$Foreign(Builtin) @@ -632,7 +634,7 @@ ParameterAst(): Public == Private where x : Identifier x case String == - STRINGP(x)$Foreign(Builtin) + %string? x autoCoerce(x: %): String == x : String |