aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog6
-rw-r--r--src/algebra/data.spad.pamphlet5
-rw-r--r--src/interp/c-util.boot2
3 files changed, 9 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index b6e432d8..283064d1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,9 @@
2008-10-04 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * algebra/data.spad.pamphlet (sample$Byte): New.
+
+2008-10-04 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* interp/c-util.boot (eqSubstAndCopy): New.
(eqSubst): Likewise.
(replaceSimpleFunctions): Handle XLAM-replaceable functions.
@@ -14,7 +18,7 @@
2008-10-03 Gabriel Dos Reis <gdr@cs.tamu.edu>
- * algebra/Makefile.pamphlet: Turn non optimization for algbera build.
+ * algebra/Makefile.pamphlet: Turn on optimization for algbera build.
2008-10-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index b491d001..e290fcd6 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -37,14 +37,15 @@ Byte(): Public == Private where
++ bitand(x,y) returns the bitwise `and' of `x' and `y'.
bitior: (%,%) -> %
++ bitor(x,y) returns the bitwise `inclusive or' of `x' and `y'.
-
+ 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)
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 567c1e47..5ffaf9c3 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -875,7 +875,7 @@ replaceSimpleFunctions form ==
NBUTLAST form
-- 2.2. the substitution case.
fun' is ["XLAM",parms,body] =>
- -- conversatively approximate eager semantics
+ -- conservatively approximate eager semantics
and/[atom first as for as in tails args] =>
-- alpha rename before substitution.
newparms := [GENSYM() for p in parms]