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 | |
parent | b9b6081bee80b1eb8d4118983b03e29733f188e0 (diff) | |
download | open-axiom-ab835d8eb3155905a07fe5ad92c9f41951f6dd36.tar.gz |
* algebra/void.spad.pamphlet (Void): Remove Rep definition.
Diffstat (limited to 'src')
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/algebra/void.spad.pamphlet | 14 |
2 files changed, 11 insertions, 7 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e52b5851..d100410a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/void.spad.pamphlet (Void): Remove Rep definition. + 2009-10-09 Gabriel Dos Reis <gdr@cs.tamu.edu> Fix SF/2875134 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 @ |