diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-17 17:11:41 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-17 17:11:41 -0700 |
| commit | 1b34ddfe1930ea828edbe6dc17219065f2ff9212 (patch) | |
| tree | 34fddd6893e0e99ecac1e53e24551511374b32bc /072channel.mu | |
| parent | a7c3f156d735f30eb0de29f7dbc610eba946abeb (diff) | |
| download | mu-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.
Diffstat (limited to '072channel.mu')
| -rw-r--r-- | 072channel.mu | 4 |
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 [ |