aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/data.spad.pamphlet7
-rw-r--r--src/interp/c-util.boot2
3 files changed, 10 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index a6e1f476..8bcccaa2 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-05 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/c-util.boot (getFunctionReplacement): Tidy.
+ * algebra/data.spad.pamphlet (Byte): Likewise.
+
2008-10-04 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/c-util.boot (isAtomicForm): New.
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
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index 8a6f4402..a85d8bb0 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -842,7 +842,7 @@ ambiguousSignatureError(op, sigs) ==
getFunctionReplacement: %Symbol -> %Form
getFunctionReplacement name ==
- GET(compileTimeBindingOf name, "SPADreplace")
+ GET(name, "SPADreplace")
++ remove any replacement info possibly associated with `name'.
clearReplacement name ==