diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 4 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 4 | ||||
| -rw-r--r-- | src/algebra/color.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/net.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 1 |
5 files changed, 5 insertions, 8 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 130b228f..7d7846c0 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -919,13 +919,13 @@ check: +.PRECIOUS: $(OUT)/%.$(FASLEXT) ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) cp $< $@ .PRECIOUS: %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad - @ rm -rf $*.NRLIB ${INTERPSYS} --strap=strap --system-algebra --optimize=2 --compile $< # Compile bootstrap file to machine object code, and the result # immediately available for AXIOMsys consumption. @@ -966,11 +966,9 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex @cp -p $< $@ SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad - @ rm -rf SPADPRSR.NRLIB ${INTERPSYS} --system-algebra --compile $< PARSER.NRLIB/code.$(FASLEXT): script-parser.spad - @ rm -rf PARSER.NRLIB ${INTERPSYS} --system-algebra --compile $< diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 1a960216..25269dd2 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1851,6 +1851,7 @@ deriving the dependencies by scanning the ``Loading ...'' messages. <<genericDotOfiles>>= +.PRECIOUS: $(OUT)/%.$(FASLEXT) ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) cp $< $@ @@ -1860,7 +1861,6 @@ ${OUT}/%.$(FASLEXT): %.NRLIB/code.$(FASLEXT) .PRECIOUS: %.NRLIB/code.$(FASLEXT) %.NRLIB/code.$(FASLEXT): %.spad - @ rm -rf $*.NRLIB ${INTERPSYS} --strap=strap --system-algebra --optimize=2 --compile $< @ @@ -1917,11 +1917,9 @@ $(axiom_build_texdir)/diagrams.tex: $(axiom_src_docdir)/diagrams.tex <<genericDOCfiles>> SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad - @ rm -rf SPADPRSR.NRLIB ${INTERPSYS} --system-algebra --compile $< PARSER.NRLIB/code.$(FASLEXT): script-parser.spad - @ rm -rf PARSER.NRLIB ${INTERPSYS} --system-algebra --compile $< @ diff --git a/src/algebra/color.spad.pamphlet b/src/algebra/color.spad.pamphlet index a8a0e329..74025c2d 100644 --- a/src/algebra/color.spad.pamphlet +++ b/src/algebra/color.spad.pamphlet @@ -44,7 +44,7 @@ RGBColorModel(T: AbelianMonoid): Category == AbelianMonoid with ++ This category defines the common interface for RGB color spaces. RGBColorSpace(T: AbelianMonoid): Category == RGBColorModel T with whitePoint: % - ++ whitepoint is the contant indicating the white point + ++ whitePoint is the contant indicating the white point ++ of this color space. @ diff --git a/src/algebra/net.spad.pamphlet b/src/algebra/net.spad.pamphlet index f73b278c..efde9e0d 100644 --- a/src/algebra/net.spad.pamphlet +++ b/src/algebra/net.spad.pamphlet @@ -129,7 +129,7 @@ InputBinaryFile(): Public == Private where eof?: % -> Boolean ++ eof?(ifile) holds when the last read reached end of file. isOpen?: % -> Boolean - ++ open?(ifile) holds if `ifile' is in open state. + ++ isOpen?(ifile) holds if `ifile' is in open state. position: % -> SingleInteger ++ position(f) returns the current byte-position in the file `f'. position!: (%,SingleInteger) -> SingleInteger diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index be0fc84b..a649c1f5 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -373,6 +373,7 @@ import CoercibleTo Syntax AbstractSyntaxCategory(): Category == Join(SetCategory, CoercibleTo Syntax) with coerce: Syntax -> % + ++ coerce(s) parses syntax object `s' as a Spad construct. add coerce(x: %): Syntax == x pretend Syntax |