about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-03-17 17:11:41 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-03-17 17:11:41 -0700
commit1b34ddfe1930ea828edbe6dc17219065f2ff9212 (patch)
tree34fddd6893e0e99ecac1e53e24551511374b32bc
parenta7c3f156d735f30eb0de29f7dbc610eba946abeb (diff)
downloadmu-1b34ddfe1930ea828edbe6dc17219065f2ff9212.tar.gz
2787
*Really* make channels generic. I'd fixed all the call sites in 2785,
but forgotten to actually switch the declaration. It works though;
generics working smoothly.
-rw-r--r--072channel.mu4
1 files changed, 2 insertions, 2 deletions
diff --git a/072channel.mu b/072channel.mu
index 557079c8..8e9b9d95 100644
--- a/072channel.mu
+++ b/072channel.mu
@@ -19,7 +19,7 @@ scenario channel [
   ]
 ]
 
-container channel [
+container channel:_elem [
   # To avoid locking, writer and reader will never write to the same location.
   # So channels will include fields in pairs, one for the writer and one for the
   # reader.
@@ -28,7 +28,7 @@ container channel [
   # A circular buffer contains values from index first-full up to (but not
   # including) index first-empty. The reader always modifies it at first-full,
   # while the writer always modifies it at first-empty.
-  data:address:shared:array:character
+  data:address:shared:array:_elem
 ]
 
 def new-channel capacity:number -> result:address:shared:channel:_elem [