diff options
| -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 @ |