[JARGON][COMMITTED] New terms MODE-unit and Expression
Jose E. Marchesi
jemarch@gnu.org
Thu Mar 13 11:30:16 GMT 2025
New terms MODE-unit and Expression
---
src/Makefile.am | 4 ++++
src/a68-jargon.texi | 11 ++++++++---
src/expression.texi | 34 ++++++++++++++++++++++++++++++++++
src/mode-unit.texi | 34 ++++++++++++++++++++++++++++++++++
src/statement.texi | 2 +-
src/void-unit.texi | 6 +++---
6 files changed, 84 insertions(+), 7 deletions(-)
create mode 100644 src/expression.texi
create mode 100644 src/mode-unit.texi
diff --git a/src/Makefile.am b/src/Makefile.am
index f965449..466e883 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -27,6 +27,7 @@ a68_jargon_TEXINFOS = actual-parameter.texi \
development.texi \
enquiry-clause.texi \
environment-enquiry.texi \
+ expression.texi \
field-selector.texi \
flip-and-flop.texi \
formal-declarer.texi \
@@ -37,6 +38,7 @@ a68_jargon_TEXINFOS = actual-parameter.texi \
longsety.texi \
monads-nomads.texi \
mode-indication.texi \
+ mode-unit.texi \
orthogonal.texi \
pseudo-comment.texi \
ravelling.texi \
@@ -78,6 +80,7 @@ man_MANS = a68-jargon.7algol \
development.7algol \
enquiry-clause.7algol \
environment-enquiry.7algol \
+ expression.7algol \
field-selector.7algol \
flip-and-flop.7algol \
formal-declarer.7algol \
@@ -88,6 +91,7 @@ man_MANS = a68-jargon.7algol \
longsety.7algol \
monads-nomads.7algol \
mode-indication.7algol \
+ mode-unit.7algol \
orthogonal.7algol \
pseudo-comment.7algol \
ravelling.7algol \
diff --git a/src/a68-jargon.texi b/src/a68-jargon.texi
index 06ead01..f4b18c8 100644
--- a/src/a68-jargon.texi
+++ b/src/a68-jargon.texi
@@ -122,7 +122,7 @@ Language
@c * Enclosed Clause::
* Enquiry Clause::
* Environment Enquiry::
-@c * Expression::
+* Expression::
@c * External Object::
@c * Firmly Coercible::
@c * Firmly Related::
@@ -148,6 +148,7 @@ Language
@c * Mode::
* Monads and Nomads::
* Mode Indication::
+* Mode-Unit::
@c * Pack::
@c * Particular Program::
@c * Pragma::
@@ -181,7 +182,7 @@ Language
@c * Voiding::
@c * Weak Dereferencing::
* Vacuum::
-* Void Unit::
+* Void-Unit::
* Well-Formedness::
* Widening::
* Worthy Character::
@@ -366,6 +367,7 @@ Jose E. Marchesi <jemarch@gnu.org>
* Development::
* Enquiry Clause::
* Environment Enquiry::
+* Expression::
* Field Selector::
* Flip and Flop::
* Formal Declarer::
@@ -376,6 +378,7 @@ Jose E. Marchesi <jemarch@gnu.org>
* Longsety::
* Monads and Nomads::
* Mode Indication::
+* Mode-Unit::
* Ravelling::
* Shortsety::
* Sizety::
@@ -387,7 +390,7 @@ Jose E. Marchesi <jemarch@gnu.org>
* Subscript::
* Trimmer::
* Vacuum::
-* Void Unit::
+* Void-Unit::
* Well-Formedness::
* Widening::
* Worthy Character::
@@ -401,6 +404,7 @@ Jose E. Marchesi <jemarch@gnu.org>
@include development.texi
@include enquiry-clause.texi
@include environment-enquiry.texi
+@include expression.texi
@include field-selector.texi
@include flip-and-flop.texi
@include formal-declarer.texi
@@ -411,6 +415,7 @@ Jose E. Marchesi <jemarch@gnu.org>
@include longsety.texi
@include monads-nomads.texi
@include mode-indication.texi
+@include mode-unit.texi
@include ravelling.texi
@include shortsety.texi
@include sizety.texi
diff --git a/src/expression.texi b/src/expression.texi
new file mode 100644
index 0000000..1c979d0
--- /dev/null
+++ b/src/expression.texi
@@ -0,0 +1,34 @@
+@c This file is part of the Algol 68 Jargon File.
+@c
+@c Copyright (C) 2025 Jose E. Marchesi
+@c
+@c You can redistribute and/or modify this document under the terms of
+@c the GNU General Public License as published by the Free Software
+@c Foundation, either version 3 of the License, or (at your option) any
+@c later version.
+@c
+@c Alternatively, permission is granted to copy, distribute and/or modify
+@c this document under the terms of the GNU Free Documentation License,
+@c Version 1.3 or any later version published by the Free Software
+@c Foundation; with no Invariant Sections, no Front-Cover Texts, and no
+@c Back-Cover Texts.
+
+@node Expression
+@section Expression
+
+@c man title expression MODE-units
+
+@subheading See Also
+
+@itemize @bullet
+@item @ref{Mode-Unit}
+@end itemize
+
+@ignore
+@c man begin AUTHOR
+Jose E. Marchesi <jemarch@gnu.org>
+@c man end
+@c man begin SEEALSO
+mode-unit(7algol)
+@c man end
+@end ignore
diff --git a/src/mode-unit.texi b/src/mode-unit.texi
new file mode 100644
index 0000000..233598c
--- /dev/null
+++ b/src/mode-unit.texi
@@ -0,0 +1,34 @@
+@c This file is part of the Algol 68 Jargon File.
+@c
+@c Copyright (C) 2025 Jose E. Marchesi
+@c
+@c You can redistribute and/or modify this document under the terms of
+@c the GNU General Public License as published by the Free Software
+@c Foundation, either version 3 of the License, or (at your option) any
+@c later version.
+@c
+@c Alternatively, permission is granted to copy, distribute and/or modify
+@c this document under the terms of the GNU Free Documentation License,
+@c Version 1.3 or any later version published by the Free Software
+@c Foundation; with no Invariant Sections, no Front-Cover Texts, and no
+@c Back-Cover Texts.
+
+@node Mode-Unit
+@section Mode-Unit
+
+@c man title mode-unit expressions in Algol 68
+
+@subheading See Also
+
+@itemize @bullet
+@item @ref{Void-Unit}
+@end itemize
+
+@ignore
+@c man begin AUTHOR
+Jose E. Marchesi <jemarch@gnu.org>
+@c man end
+@c man begin SEEALSO
+statement(7algol), expression(7algol), void-unit(7algol)
+@c man end
+@end ignore
diff --git a/src/statement.texi b/src/statement.texi
index a319962..f185d25 100644
--- a/src/statement.texi
+++ b/src/statement.texi
@@ -21,7 +21,7 @@
@subheading See Also
@itemize @bullet
-@item @ref{Void Unit}
+@item @ref{Void-Unit}
@end itemize
@ignore
diff --git a/src/void-unit.texi b/src/void-unit.texi
index 11dc9d2..d67634c 100644
--- a/src/void-unit.texi
+++ b/src/void-unit.texi
@@ -13,8 +13,8 @@
@c Foundation; with no Invariant Sections, no Front-Cover Texts, and no
@c Back-Cover Texts.
-@node Void Unit
-@section Void Unit
+@node Void-Unit
+@section Void-Unit
@c man title void-unit statements in Algol 68
@@ -46,7 +46,7 @@ The units @code{a / tmp}, which appears right before a completer, and
and @code{0}, which is the unit appearing last in the serial clause,
yield an integral value which is the result of the serial clause.
These are called @code{@B{int}-units} or, more generally,
-@code{@B{mode}-units}.
+@code{@B{mode}-units}. These are also known as @dfn{expressions}.
On the other hand the units @code{a := b} and @code{@B{if} tmp = 0
@B{then} divbyzero @B{fi}} also yield values. For example, the
--
2.30.2
More information about the Algol68
mailing list