разбираюсь с выгрузкой/загрузкой параметров процедур и методов

rt2/rules/assign.go

@@ -116,7 +116,7 @@ func assignSeq(f frame.Frame) (seq frame.Sequence, ret frame.WAIT) {
 		case node.FieldNode:
 			rt2.Push(rt2.New(l), f)
 			rt2.Assert(f, func(f frame.Frame) (bool, int) {
-				return rt2.ValueOf(f)[l.Adr()] != nil, 62
+				return rt2.ValueOf(f)[l.Adr()] != nil, 63
 			})
 			seq = func(f frame.Frame) (frame.Sequence, frame.WAIT) {
 				left = rt2.ValueOf(f)[l.Adr()]
@@ -126,7 +126,7 @@ func assignSeq(f frame.Frame) (seq frame.Sequence, ret frame.WAIT) {
 		case node.IndexNode:
 			rt2.Push(rt2.New(a.Left()), f)
 			rt2.Assert(f, func(f frame.Frame) (bool, int) {
-				return rt2.ValueOf(f)[l.Adr()] != nil, 63
+				return rt2.ValueOf(f)[l.Adr()] != nil, 64
 			})
 			seq = func(f frame.Frame) (seq frame.Sequence, ret frame.WAIT) {
 				sc := f.Domain().Discover(context.SCOPE).(scope.Manager)
@@ -141,7 +141,7 @@ func assignSeq(f frame.Frame) (seq frame.Sequence, ret frame.WAIT) {
 			rt2.Push(rt2.New(a.Left()), f)
 			rt2.Assert(f, func(f frame.Frame) (bool, int) {
 				ok := rt2.ValueOf(f)[l.Adr()] != nil
-				return ok, 64
+				return ok, 65
 			})
 			seq = func(f frame.Frame) (frame.Sequence, frame.WAIT) {
 				left = rt2.ValueOf(f)[a.Left().Adr()]

rt2/rules/call.go

@@ -187,6 +187,7 @@ func callSeq(f frame.Frame) (seq frame.Sequence, ret frame.WAIT) {
 					})
 					assert.For(fn != nil, 40)
 					proc := m.NodeByObject(fn)
+					assert.For(proc != nil, 40)
 					call(proc[0], nil)
 					panic(0)
 				default:

rt2/scope/modern/ms.go

@@ -159,11 +159,18 @@ func (a *salloc) Allocate(n node.Node, final bool) {
 			}
 		}
 	}
+	ol := mod.Objects[n]
+	switch o := n.Object().(type) {
+	case object.ProcedureObject:
+		for l := o.Link(); l != nil; l = l.Link() {
+			ol = append(ol, l)
+		}
 
+	}
 	nl := newlvl()
 	nl.ready = final
 	a.area.data = append(a.area.data, nl)
-	nl.alloc(mod, n, mod.Objects[n], skip)
+	nl.alloc(mod, n, ol, skip)
 }
 
 func (a *salloc) Dispose(n node.Node) {