2985 - allow multiple pointers within lists

Earlier, this wasn't legal:

  y:address:list:number <- push 34, x:address:list:number

(So that x and y would point to different places in the list.)

However, functional code relies on this ability a lot.

1 files changed, 2 insertions, 3 deletions

diff --git a/074list.mu b/074list.mu
index 833a52cb..5244deec 100644
--- a/074list.mu
+++ b/074list.mu
@@ -8,12 +8,11 @@ container list:_elem [
   next:address:list:_elem
 ]
 
-def push x:_elem, in:address:list:_elem -> in:address:list:_elem [
+def push x:_elem, in:address:list:_elem -> result:address:list:_elem [
   local-scope
   load-ingredients
-  result:address:list:_elem <- new {(list _elem): type}
+  result <- new {(list _elem): type}
   *result <- merge x, in
-  return result  # needed explicitly because we need to replace 'in' with 'result'
 ]
 
 def first in:address:list:_elem -> result:_elem [