From b1ddb414006352b2d3af3652263a536acbd2702e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 27 Apr 2016 18:35:47 -0700 Subject: 2879 - allow extending shape-shifting containers --- 072channel.mu | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to '072channel.mu') diff --git a/072channel.mu b/072channel.mu index 8565cd34..993581ab 100644 --- a/072channel.mu +++ b/072channel.mu @@ -256,8 +256,7 @@ scenario channel-read-not-full [ # every channel comes with a boolean signifying if it's been closed # initially this boolean is false -# todo: can't yet include type ingredients when extending containers -container channel [ +container channel:_elem [ closed?:boolean ] -- cgit 1.4.1-2-gfad0