outdexing

Author: ktye

exec.go

@@ -114,7 +114,7 @@ func Amd(x, i, v, y K) K {
 	xt := tp(x)
 	if xt == st {
 		a := lup(x)
-		if rc := I32(int32(a)-4); rc == 2 { //enable reuse for @[`x;i;+;y]
+		if rc := I32(int32(a) - 4); rc == 2 { //enable reuse for @[`x;i;+;y]
 			dx(a)
 			p := int32(a)
 			a = rx(Amd(a, i, v, y))

index.go

@@ -198,7 +198,8 @@ func stv(x, i, y K) K {
 	for j := int32(0); j < n; j++ {
 		xi := uint32(I32(ip + 4*j))
 		if xi >= uint32(xn) {
-			trap() //index
+			j := rx(Wer(Min(Mor(rx(i), Ki(-1)), Les(rx(i), Ki(xn)))))
+			return stv(x, atv(i, j), atv(y, j))
 		}
 	}
 	switch s >> 2 {
@@ -246,7 +247,8 @@ func stv(x, i, y K) K {
 func sti(x K, i int32, y K) K {
 	xt := tp(x)
 	if uint32(i) >= uint32(nn(x)) {
-		trap() //index
+		dx(y)
+		return x
 	}
 	s := sz(xt)
 	xp := int32(x)

k.e

@@ -70,8 +70,6 @@ log[2a45;3] /Type
 +/`a`b`c /Type
 */`a`b`c /Type
 @[!10;!3;!4] /Length
-@[!10;10;4] /Index
-@[!10;8+!3;1 2 3] /Index
 @[1 2 3;0 1.;4 5] /Type
 2000000000#"a" /Grow
 2000000000#1a /Grow

k.t

@@ -554,6 +554,7 @@ v:{$[1<#x;j@*x;x]};j:{v x};j(1;2 3) /1
 @[("abc";"def");!0;,"ghi"] /("abc";"def")
 @[!10;(1 2;3 4 5);-1] /0 -1 -1 -1 -1 -1 6 7 8 9
 @[!10;(1 2;3 4 5);-1 -2] /0 -1 -1 -2 -2 -2 6 7 8 9
+@[!10;8+!3;1 2 3] /0 1 2 3 4 5 6 7 1 2
 x:!5;@[`x;0 1 2;*;2];x /0 2 4 3 4
 .[2^!6;1 2;9] /(0 1 2;3 4 9)
 .[2^!6;1 2;9 9] /(0 1 2;(3;4;9 9))
@@ -574,6 +575,7 @@ x:(!5;2*!5);.[`x;(1;2 3);*;2];x /(0 1 2 3 4;0 2 8 12 8)
 x:2^!6;x[1;2]:0;x /(0 1 2;3 4 0)
 x:!5;x[2]:2. 3.;x /(0;1;2. 3.;3;4)
 x:!5;x[2 3]:2. 3.;x /(0;1;2.;3.;4)
+x:!3;x[5]:6;x /0 1 2
 d:`a`b!1 2;d[`a]:3;d /`a`b!3 2
 @[2 3!4 5;3;+;1] /2 3!4 6
 d:`a`b!(1 2!3 4;5);d[`a;2 1]:3 4;d /`a`b!(1 2!4 3;5)