diff options
Diffstat (limited to '064list.mu')
-rw-r--r-- | 064list.mu | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/064list.mu b/064list.mu index bc8fa9ce..1e10243a 100644 --- a/064list.mu +++ b/064list.mu @@ -8,12 +8,11 @@ container list:_elem [ next:&:list:_elem ] -def push x:_elem, l:&:list:_elem -> l:&:list:_elem [ +def push x:_elem, l:&:list:_elem -> result:&:list:_elem/contained-in:l [ local-scope load-ingredients - result:&:list:_elem <- new {(list _elem): type} + result <- new {(list _elem): type} *result <- merge x, l - return result ] def first in:&:list:_elem -> result:_elem [ |