aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-27 02:31:37 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-27 02:31:37 +0000
commit761c8889e9cc0d4e73f32f06290fe7d07d75d551 (patch)
tree301776cedd2d498cc4cea2306a2c555918869d50 /src/algebra
parent8906ae4ab9656413fb58db32f2abee8fbf99365e (diff)
downloadopen-axiom-761c8889e9cc0d4e73f32f06290fe7d07d75d551.tar.gz
* configure.ac.pamphlet: Look for path to `awk'.
Instantiate src/hyper/presea.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in4
-rw-r--r--src/algebra/Makefile.pamphlet4
-rw-r--r--src/algebra/color.spad.pamphlet2
-rw-r--r--src/algebra/net.spad.pamphlet2
-rw-r--r--src/algebra/syntax.spad.pamphlet1
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