From 94756b27ee8d56cd01e8591f19feffc3fa2898fa Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 5 Oct 2008 14:15:17 +0000 Subject: * interp/c-util.boot (getFunctionReplacement): Tidy. * algebra/data.spad.pamphlet (Byte): Likewise. --- src/ChangeLog | 5 +++++ src/algebra/data.spad.pamphlet | 7 ++++--- src/interp/c-util.boot | 2 +- 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 + + * interp/c-util.boot (getFunctionReplacement): Tidy. + * algebra/data.spad.pamphlet (Byte): Likewise. + 2008-10-04 Gabriel Dos Reis * 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 == -- cgit v1.2.3