diff options
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 @ |