From 1b34ddfe1930ea828edbe6dc17219065f2ff9212 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 17 Mar 2016 17:11:41 -0700 Subject: 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. --- 072channel.mu | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '072channel.mu') 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 [ -- cgit 1.4.1-2-gfad0