aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/void.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-11-21 02:51:45 +0000
committerdos-reis <gdr@axiomatics.org>2008-11-21 02:51:45 +0000
commit0b97ae7365e5ba3d3e078147124e096f7cccde4b (patch)
tree7c592d28e943a0ad51f6b7f77e8435fe01a03f00 /src/algebra/void.spad.pamphlet
parent84baa1f88fc80b1e05412dcf5a25234962317691 (diff)
downloadopen-axiom-0b97ae7365e5ba3d3e078147124e096f7cccde4b.tar.gz
* algebra/annacat.spad.pamphlet (NumericalIntegrationProblem):
Remove redundant signature. (NumericalODEProblem): Likewise. (NumericalPDEProblem): Likewise. (NumericalOptimizationProblem): Likewise. * algebra/forttyp.spad.pamphlet (FortranType): Likewise. * algebra/void.spad.pamphlet (Void): Now CoercibleTo OutputForm.
Diffstat (limited to 'src/algebra/void.spad.pamphlet')
-rw-r--r--src/algebra/void.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet
index 890b854b..fd27c702 100644
--- a/src/algebra/void.spad.pamphlet
+++ b/src/algebra/void.spad.pamphlet
@@ -32,9 +32,8 @@
++ All values can be coerced to type Void. Once a value has been coerced
++ to Void, it cannot be recovered.
-Void: with
+Void: CoercibleTo OutputForm with
void: () -> % ++ void() produces a void object.
- coerce: % -> OutputForm ++ coerce(v) coerces void object to outputForm.
== add
Rep := String
void() == voidValue()$Lisp