diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-10-10 14:43:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-10-10 14:43:28 +0000 |
| commit | ab835d8eb3155905a07fe5ad92c9f41951f6dd36 (patch) | |
| tree | b65bea4566626192bd3ec1a4065ae4ba9edddec5 /src/algebra | |
| parent | b9b6081bee80b1eb8d4118983b03e29733f188e0 (diff) | |
| download | open-axiom-ab835d8eb3155905a07fe5ad92c9f41951f6dd36.tar.gz | |
* algebra/void.spad.pamphlet (Void): Remove Rep definition.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/void.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet index fd27c702..fc8c8583 100644 --- a/src/algebra/void.spad.pamphlet +++ b/src/algebra/void.spad.pamphlet @@ -10,15 +10,16 @@ \tableofcontents \eject +These types act as the top and bottom of the type lattice +and are known to the compiler and interpreter for type resolution. + \section{domain VOID Void} <<domain VOID Void>>= )abbrev domain VOID Void --- These types act as the top and bottom of the type lattice --- and are known to the compiler and interpreter for type resolution. -++ Author: Stephen M. Watt +++ Author: Stephen M. Watt, Gabriel Dos Reis ++ Date Created: 1986 -++ Date Last Updated: May 30, 1991 +++ Date Last Updated: October 5, 2009 ++ Basic Operations: ++ Related Domains: ErrorFunctions, ResolveLatticeCompletion, Exit ++ Also See: @@ -35,9 +36,8 @@ Void: CoercibleTo OutputForm with void: () -> % ++ void() produces a void object. == add - Rep := String - void() == voidValue()$Lisp - coerce(v:%) == coerce(v)$Rep + void() == voidValue()$Foreign(Builtin) + coerce(v:%) == empty()$OutputForm @ |