diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-09 00:34:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-09 00:34:50 +0000 |
| commit | 6965d4b62fbde613777ac1756361aaba5822efea (patch) | |
| tree | 7b6abe04869438d17ac3e3f8d03d31b1165c036e /src/algebra | |
| parent | dc558ba2d56b057f3a81b69ae2238d1cb1a6b7b8 (diff) | |
| download | open-axiom-6965d4b62fbde613777ac1756361aaba5822efea.tar.gz | |
* algebra/string.spad.pamphlet (String) [string]: New overload to
convert from Identifier.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 1 | ||||
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 10 |
2 files changed, 9 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 2db3d429..dab60382 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1641,6 +1641,7 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad $(COMPILE_SPAD) +.PRECIOUS: $(OUTSRC)/%.spad ${OUTSRC}/%.spad: $(srcdir)/%.spad.pamphlet $(oa_hammer) --tangle --output=$@ $< diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 6ad08dc3..f977ac10 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -500,10 +500,16 @@ String(): Public == Private where string: DoubleFloat -> % ++ \spad{string f} returns the decimal representation of ++ \spad{f} in a string + string: Identifier -> % + ++ \spad{string id} is the string representation of the + ++ identifier \spad{id} Private == IndexedString(MINSTRINGINDEX) add - import %i2s: Integer -> % from Foreign Builtin + import %i2s: Integer -> % from Foreign Builtin + import %f2s: DoubleFloat -> % from Foreign Builtin + import %sname: Identifier -> % from Foreign Builtin string(n: Integer) == %i2s n - string(f: DoubleFloat) == %f2s(f)$Foreign(Builtin) + string(f: DoubleFloat) == %f2s f + string(id: Identifier) == %sname id @ |