aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog4
-rw-r--r--src/algebra/void.spad.pamphlet14
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
@