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.

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 [