From 94756b27ee8d56cd01e8591f19feffc3fa2898fa Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 5 Oct 2008 14:15:17 +0000
Subject: 	* interp/c-util.boot (getFunctionReplacement): Tidy. 	*
 algebra/data.spad.pamphlet (Byte): Likewise.

---
 src/algebra/data.spad.pamphlet | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index e290fcd6..9a62ec4a 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -19,7 +19,9 @@ import OutputForm
 )abbrev domain BYTE Byte
 ++ Author: Gabriel Dos Reis
 ++ Date Created: April 19, 2008
-++ Related Constructor:
+++ Date Last Updated: October 5, 2008
+++ Basic Operations: byte, bitand, bitor, bitxor
+++ Related Constructor: NonNegativeInteger
 ++ Description:
 ++   Byte is the datatype of 8-bit sized unsigned integer values.
 Byte(): Public == Private where
@@ -40,12 +42,11 @@ Byte(): Public == Private where
     sample: () -> %
       ++ sample() returns a sample datum of type Byte.
   Private == add
-    import Character
     byte(x: NonNegativeInteger): % ==
       not (x < 256$Lisp) => 
         userError "integer value cannot be represented by a byte"
       x : %
-    sample() = byte(0@NonNegativeInteger)
+    sample() = 0$Lisp
     hash x == SXHASH(x)$Lisp
 
     coerce(x: NonNegativeInteger): % == byte x
-- 
cgit v1.2.3