Merge pull request #69 from algorand-devrel/dev

0.24.0 - fix VariableDeclaration callExpression initializer

examples/arc75/artifacts/ARC75.approval.teal

@@ -389,7 +389,8 @@ abi_route_deleteAppFromWhitelist:
 	!=
 	&&
 	assert
-	byte 0x; dup
+	byte 0x
+	dupn 2
 	txna ApplicationArgs 4
 	btoi
 	txna ApplicationArgs 3
@@ -402,7 +403,7 @@ abi_route_deleteAppFromWhitelist:
 	return
 
 deleteAppFromWhitelist:
-	proto 6 0
+	proto 7 0
 
 	// examples/arc75/arc75.algo.ts:97
 	// preMBR = this.app.address.minBalance
@@ -434,8 +435,8 @@ deleteAppFromWhitelist:
 	concat // concat head and tail
 	frame_bury -6 // whitelist: Whitelist
 
-	// examples/arc75/arc75.algo.ts:102
-	// assert(spliced[0] === appID)
+	// examples/arc75/arc75.algo.ts:100
+	// spliced = this.whitelist.get(whitelist).splice(index, 1)
 	frame_dig -6 // whitelist: Whitelist
 	box_get
 	assert
@@ -496,6 +497,11 @@ deleteAppFromWhitelist:
 	pop
 	swap
 	box_put
+	frame_bury -7 // spliced: uint64[]
+
+	// examples/arc75/arc75.algo.ts:102
+	// assert(spliced[0] === appID)
+	frame_dig -7 // spliced: uint64[]
 	store 0 // full array
 	int 0 // initial offset
 	int 0

examples/arc75/artifacts/ARC75.src_map.json

@@ -5,7 +5,7 @@
       "arc75.algo.ts"
     ],
     "names": [],
-    "mappings": ";;;;;;;;;;;;;;;AAOE;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;;;;AAAA;AAAA;;;AAGA;AAHA;;;AAIiB;;AAA4B;;AAAjB;;;AAAS;;AAAmB;AAAhC;;AAAtB;AAA0B;;AAAnB;AACA;AAAQ;AAAa;;;;AAF9B;;;AAKA;;AAAA;AAJqC;AACE;AAIrC;AAAA;;;AATF;;AAK0B;;AAAxB;;;AAOE;;AAAQ;AAAS;;AAAA;;AAAF;;AAAf;;;;;AAHF;;AADF;AAkBA;;AAAA;AAAA;AAAA;;AAAA;;;AAAA;AAAkE;AAAA;;AAAf;AAApB;AAAb;;AAAA;AAAlB;AAAA;AAAA;AAAA;AAAA;;AACiB;;AAdb;AATwB;AAuBX;;;AAAA;AAAS;;;AAAT;;;AAAS;;;AAClB;;;AAhBsB;AAT9B;;;;;;;;;;;;;;;;;AA2BE;AAJF;;;;;AAAA;;AAIM;;;AAAA;;AAAA;AAAJ;AAAA;AAJiD;;;AAhB9B;AAAjB;AAqBA;;;AAAA;AAAA;AAAmC;;AAAA;;;AAAnC;AAAA;AAAA;;;AAAA;;;AAAA;AADF;;;AAAA;;AAGQ;AALF;AAFR;AAOoC;AAA1B;AACN;AAHA;AAlBK;;;AAqBL;AAAA;AAAA;;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;;;AAH9B;;AAAA;;;AAiBJ;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;AAAiD;AAAA;AAApB;;;;AAA7B;;;AACiB;AAvBjB;;AAuBiB;AAAS;AAAT;;AAAS;AAClB;AAnBJ;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqBF;;;;AAAA;;AAEA;;AAAA;AAA8B;;AAAA;;;AAAA;;AAAA;;;AAAA;;AAAA;AAAA;AAAA;AAAA;;;AAA9B;AAEA;AAnBsB;;;AAAtB;;AAmBa;;AAAA;;AAAF;AAAX;;AACE;AAHF;AAGE;AADF;;AAAA;AAGE;AAzB8B;;AAJhC;AA6B+C;;;AAAa;AAAF;AAAxD;AAHF;;;;;AAcF;;AAAA;AAAA;;AAAA;AAAA;AAAA;;;AAA6B;;;;;AAA7B;;;AACiB;;AAAS;;AAAA;AAClB;AAxBR;;;AAAA;;;;;;;;;;;;;;;;;;;;;;AAwBQ;;;AAEN;AAJF;AAAA;;;AAhBE;;;;;AAiCF;AAAA;;AAAA;AAAA;;AAAA;;AAAA;AAAuE;;AAAA;;;AAAf;;AAAA;;;AAApB;;AAAb;AAAA;AAAvB;AAAA;;;AAAA;AAAA;AAAA;;;AACiB;AA9EL;AAqBR;;AAyDa;;AAAT;AACA;;;;;;;;;;;;;;;;;;;;;AAAA;AAEU;;;AArBlB;;;;AAqBkB;;;AAAA;;;AAAA;;;AAA4C;AAAP;AAArC;;;AAA4C;;;AAA5C;;AAAA;AAAmB;;AAAnB;AAAA;;AAAA;AAAA;AAAA;AAAA;;AAAA;;;AAAA;;AAAA;;;AAAA;;AAAA;AAAA;AAAA;AAAA;;;AAAA;AAAA;AAAA;;;AAAmB;AAAnB;AAAA;;AAAA;;AAAA;AAAA;AAAA;;;AAAA;AAAA;;AAAA;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAmB;AAAnB;AAAA;;AAAA;;AAAA;AAAA;AAAA;;;AAAA;AAED;;AAAA;AAAA;;AAAA;AAAR;AAAA;;;AAAA;AAAA;AAAA;;AAAe;;AAAJ;AAAlB;AAEA;AAxBe;AAvBD;AAXd;AA0DA;;AARF;AAAA;AAAA;;;AAAA;;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIkB;AAAA;;;AAAA;;;;;;AArBlB;;;;;;AAAA;;;;;;;;;;;;AApBQ;;;AADS;;;;;;;;;;AAOF;AAmCG;;;AAnCM;;AAmCN;;AAAA;AAAA;;AArBF;;AAAhB;AAkB0B;;;AAAA;;AAlB1B;;AAqBkB;AAAA;;AAAmB;;;;;;AAfnC;AANF;;;;;AACiB;;AAAS;;;;;;;;AAgB1B;;AAAA;;AAAA",
+    "mappings": ";;;;;;;;;;;;;;;AAOE;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;;;;AAAA;AAAA;;;AAGA;AAHA;;;AAIiB;;AAA4B;;AAAjB;;;AAAS;;AAAmB;AAAhC;;AAAtB;AAA0B;;AAAnB;AACA;AAAQ;AAAa;;;;AAF9B;;;AAKA;;AAAA;AAJqC;AACE;AAIrC;AAAA;;;AATF;;AAK0B;;AAAxB;;;AAOE;;AAAQ;AAAS;;AAAA;;AAAF;;AAAf;;;;;AAHF;;AADF;AAkBA;;AAAA;AAAA;AAAA;;AAAA;;;AAAA;AAAkE;AAAA;;AAAf;AAApB;AAAb;;AAAA;AAAlB;AAAA;AAAA;AAAA;AAAA;;AACiB;;AAdb;AATwB;AAuBX;;;AAAA;AAAS;;;AAAT;;;AAAS;;;AAClB;;;AAhBsB;AAT9B;;;;;;;;;;;;;;;;;AA2BE;AAJF;;;;;AAAA;;AAIM;;;AAAA;;AAAA;AAAJ;AAAA;AAJiD;;;AAhB9B;AAAjB;AAqBA;;;AAAA;AAAA;AAAmC;;AAAA;;;AAAnC;AAAA;AAAA;;;AAAA;;;AAAA;AADF;;;AAAA;;AAGQ;AALF;AAFR;AAOoC;AAA1B;AACN;AAHA;AAlBK;;;AAqBL;AAAA;AAAA;;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;;;AAH9B;;AAAA;;;AAiBJ;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;AAAiD;AAAA;AAApB;;;;AAA7B;;;AACiB;AAvBjB;;AAuBiB;AAAS;AAAT;;AAAS;AAClB;AAnBJ;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqBF;;;;AAAA;;AAEA;;AAAA;AAA8B;;AAAA;;;AAAA;;AAAA;;;AAAA;;AAAA;AAAA;AAAA;AAAA;;;AAA9B;AAEA;AAnBsB;;;AAAtB;;AAmBa;;AAAA;;AAAF;AAAX;;AACE;AAHF;AAGE;AADF;;AAAA;AAGE;AAzB8B;;AAJhC;AA6B+C;;;AAAa;AAAF;AAAxD;AAHF;;;;;AAcF;;AAAA;AAAA;;AAAA;AAAA;AAAA;;;AAA6B;;;;;AAA7B;;;AACiB;;AAAS;;AAAA;AAClB;AAxBR;;;AAAA;;;;;;;;;;;;;;;;;;;;;;AAwBQ;;;AAEN;AAJF;AAAA;;;AAhBE;;;;;AAiCF;AAAA;;AAAA;AAAA;;AAAA;;AAAA;AAAuE;;AAAA;;;AAAf;;AAAA;;;AAApB;;AAAb;AAAA;AAAvB;AAAA;;;AAAA;AAAA;AAAA;;;AACiB;AAAA;AAzDb;;AAuCY;;AAkBR;AACA;;;;;;;;;;;;;;;;;;;AAAA;;;AAEU;AAAA;;;;AArBlB;;;AAqBkB;;;AAAA;;;AAA4C;;;AAAP;AAArC;AAAA;;;AAAA;;;AAAA;;AAAmB;AAAnB;;AAAA;AAAA;;AAAA;AAAA;AAAA;AAAA;;AAAA;;;AAAA;;AAAA;;;AAAA;;AAAA;AAAA;AAAA;AAAA;;;AAAA;AAAA;AAAmB;;;AAAnB;AAAA;AAAA;;AAAA;;AAAA;AAAA;AAAA;;;AAAA;AAAA;;AAAA;AAAA;AAAA;;AAAA;AAAA;AAAmB;AAAnB;AAAA;AAAA;;AAAA;;AAAA;AAAV;AAEN;;;AAAA;AAjBA;;AAegB;AAET;;AAAQ;AAAA;AAAA;;;AAAA;AAAR;AAAA;;AAAA;;AAAA;AAAA;AAAe;AAAJ;AAAlB;AAEA;AAAA;;AARF;AAvCA;;;;AAuCA;;AAAA;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;AAAA;AAAA;AAAA;;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIkB;;;AAAA;;AArBlB;AAAA;;;;AApBQ;;;;;;AAMO;;;;;;AAAA;;;;;;AAmC+C;;;;;;AAnCtC;;;AA9CZ;;;;;;;;;;AAiFM;AAAA;;;AArBlB;;AAkB0B;;AAAT;AAAS;;AAlB1B;;;;;;AAqBqC;;AAAnB;;;;;AAfhB;;AANF;;;;AACiB;AAAS;AAAT;AAvBD;;;AAXd;;AAkDF;;AAAA;;;;;;;;;;AAjBA;AAqBkB",
     "file": "ARC75.approval.teal",
     "sourceRoot": ""
   },
@@ -15,7 +15,7 @@
       "arc75.algo.ts"
     ],
     "names": [],
-    "mappings": ";;;AAOE;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;AAAA;AAAA;;;AAGA;AAHA;;;AAIiB;;;;AAA4B;AAAjB;AAAS;AAAmB;AAAhC;AAAtB;AAA0B;AAAnB;AACA;AAAQ;AAAa;;;;;AAF9B;AAKA;AAAA;AAJqC;AACE;AAIrC;AAAA;;;AATF;;;;;AAK0B;AAAxB;;;;AAOE;AAAQ;AAAS;AAAA;;;;AAAF;AAAf;;;;;AAHF;AADF;AAkBA;AAAA;AAAA;AAAA;AAAA;;;;;AAAA;AAAkE;AAAA;;;AAAf;AAApB;AAAb;AAAA;AAAlB;AAAA;AAAA;AAAA;AAAA;AACiB;AAdb;AATwB;AAuBX;AAAA;AAAS;AAAT;AAAS;AAClB;AAhBsB;AAT9B;;;;;;;;;;;;;;;;;;AA2BE;AAJF;;AAAA;AAIM;AAAA;AAAA;AAAJ;AAAA;AAJiD;AAhB9B;AAAjB;AAqBA;AAAA;AAAA;AAAmC;AAAA;;;;;;AAAnC;AAAA;AAAA;AAAA;;;;;;AAAA;AADF;AAAA;AAGQ;AALF;AAFR;AAOoC;AAA1B;AACN;AAHA;AAlBK;AAqBL;AAAA;AAAA;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;;;AAH9B;AAAA;;;;;AAiBJ;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAiD;AAAA;AAApB;;;;;;;AAA7B;AACiB;AAvBjB;;;AAuBiB;AAAS;AAAT;AAAS;AAClB;AAnBJ;AAAA;;;;;;;;;;;;;;;;;;AAqBF;;;AAAA;AAEA;;;;;AAAA;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAA9B;AAEA;AAnBsB;AAAtB;;AAmBa;AAAA;;;;AAAF;AAAX;;;;AACE;AAHF;AAGE;AADF;AAAA;AAGE;AAzB8B;;AAJhC;AA6B+C;AAAa;AAAF;AAAxD;AAHF;;;;;;AAcF;AAAA;AAAA;AAAA;AAAA;AAAA;AAA6B;;;;;;;AAA7B;AACiB;;;;;;AAAS;AAAA;AAClB;AAxBR;AAAA;;;;;;;;;;;;;;;;;AAwBQ;AAEN;AAJF;AAAA;;;AAhBE;;;;;AAiCF;AAAA;AAAA;AAAA;AAAA;;;;;AAAA;AAAuE;AAAA;AAAf;AAAA;AAApB;AAAb;AAAA;AAAvB;AAAA;AAAA;AAAA;AAAA;AACiB;AA9EL;AAqBR;AAyDa;;;;AAAT;AACA;;;;;;;;;;;;;;;;;;;AAAA;AAEU;AArBlB;;AAqBkB;AAAA;AAAA;AAA4C;AAAP;AAArC;;;AAA4C;;;;AAA5C;AAAA;AAAmB;AAAnB;AAAA;AAAA;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAmB;AAAnB;AAAA;AAAA;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAmB;AAAnB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAED;AAAA;AAAA;AAAA;AAAR;AAAA;AAAA;AAAA;AAAA;AAAe;AAAJ;AAAlB;AAEA;AAxBe;AAvBD;AAXd;AA0DA;AARF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIkB;AAAA;AAAA;;;AArBlB;AAAA;;AApBQ;AADS;AAOF;AAmCG;;;AAnCM;AAmCN;AAAA;AAAA;AArBF;AAAhB;AAkB0B;;;AAAA;AAlB1B;AAqBkB;AAAA;AAAmB;;;;AAfnC;AANF;;;AACiB;AAAS;;;;;AAgB1B;AAAA;AAAA",
+    "mappings": ";;;AAOE;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;AAAA;AAAA;;;AAGA;AAHA;;;AAIiB;;;;AAA4B;AAAjB;AAAS;AAAmB;AAAhC;AAAtB;AAA0B;AAAnB;AACA;AAAQ;AAAa;;;;;AAF9B;AAKA;AAAA;AAJqC;AACE;AAIrC;AAAA;;;AATF;;;;;AAK0B;AAAxB;;;;AAOE;AAAQ;AAAS;AAAA;;;;AAAF;AAAf;;;;;AAHF;AADF;AAkBA;AAAA;AAAA;AAAA;AAAA;;;;;AAAA;AAAkE;AAAA;;;AAAf;AAApB;AAAb;AAAA;AAAlB;AAAA;AAAA;AAAA;AAAA;AACiB;AAdb;AATwB;AAuBX;AAAA;AAAS;AAAT;AAAS;AAClB;AAhBsB;AAT9B;;;;;;;;;;;;;;;;;;AA2BE;AAJF;;AAAA;AAIM;AAAA;AAAA;AAAJ;AAAA;AAJiD;AAhB9B;AAAjB;AAqBA;AAAA;AAAA;AAAmC;AAAA;;;;;;AAAnC;AAAA;AAAA;AAAA;;;;;;AAAA;AADF;AAAA;AAGQ;AALF;AAFR;AAOoC;AAA1B;AACN;AAHA;AAlBK;AAqBL;AAAA;AAAA;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;;;AAH9B;AAAA;;;;;AAiBJ;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAiD;AAAA;AAApB;;;;;;;AAA7B;AACiB;AAvBjB;;;AAuBiB;AAAS;AAAT;AAAS;AAClB;AAnBJ;AAAA;;;;;;;;;;;;;;;;;;AAqBF;;;AAAA;AAEA;;;;;AAAA;AAA8B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAA9B;AAEA;AAnBsB;AAAtB;;AAmBa;AAAA;;;;AAAF;AAAX;;;;AACE;AAHF;AAGE;AADF;AAAA;AAGE;AAzB8B;;AAJhC;AA6B+C;AAAa;AAAF;AAAxD;AAHF;;;;;;AAcF;AAAA;AAAA;AAAA;AAAA;AAAA;AAA6B;;;;;;;AAA7B;AACiB;;;;;;AAAS;AAAA;AAClB;AAxBR;AAAA;;;;;;;;;;;;;;;;;AAwBQ;AAEN;AAJF;AAAA;;;AAhBE;;;;;AAiCF;AAAA;AAAA;AAAA;AAAA;;;;;AAAA;AAAuE;AAAA;AAAf;AAAA;AAApB;AAAb;AAAA;AAAvB;AAAA;AAAA;AAAA;AAAA;AACiB;AAAA;AAzDb;AAuCY;;;;AAkBR;AACA;;;;;;;;;;;;;;;;;;;AAAA;AAEU;AAAA;;AArBlB;AAqBkB;AAAA;AAA4C;AAAP;AAArC;AAAA;;;AAAA;;;;AAAA;AAAmB;AAAnB;AAAA;AAAA;AAAA;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAmB;AAAnB;AAAA;AAAA;AAAA;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAmB;AAAnB;AAAA;AAAA;AAAA;AAAA;AAAV;AAEN;AAAA;AAjBA;AAegB;AAET;AAAQ;AAAA;AAAA;AAAA;AAAR;AAAA;AAAA;AAAA;AAAA;AAAe;AAAJ;AAAlB;AAEA;AAAA;AARF;AAvCA;;AAuCA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIkB;AAAA;AArBlB;AAAA;;AApBQ;;;AAMO;AAAA;AAmC+C;AAnCtC;AA9CZ;AAiFM;AAAA;;;AArBlB;AAkB0B;AAAT;AAAS;AAlB1B;;;;;AAqBqC;AAAnB;;;AAfhB;AANF;;;AACiB;AAAS;AAAT;AAvBD;AAXd;AAkDF;AAAA;;;;;;AAjBA;AAqBkB",
     "file": "ARC75.approval.teal",
     "sourceRoot": ""
   }

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@algorandfoundation/tealscript",
-  "version": "0.23.0",
+  "version": "0.24.0",
   "description": "Enables Algorand smart contract development with native TypeScript syntax, tooling, and IDE support",
   "homepage": "https://github.com/algorand-devrel/TEALScript",
   "bugs": {

src/lib/compiler.ts

@@ -2506,7 +2506,14 @@ export default class Compiler {
         }
       }
 
-      if (ts.isCallExpression(node.initializer) && isArray) {
+      if (
+        ts.isCallExpression(node.initializer)
+      && isArray
+      && ts.isPropertyAccessExpression(node.initializer.expression)
+      && ts.isPropertyAccessExpression(node.initializer.expression.expression)
+      && Object.keys(this.storageProps).includes(
+        node.initializer.expression.expression?.name?.getText(),
+      )) {
         this.frame[name] = {
           storageExpression: node.initializer,
           type: initializerType,

tests/contracts/artifacts/ABITestArraySpliceValue.approval.teal

@@ -11,13 +11,13 @@ abi_route_arraySpliceValue:
 	&&
 	assert
 	byte 0x
-	dupn 2
+	dupn 3
 	callsub arraySpliceValue
 	int 1
 	return
 
 arraySpliceValue:
-	proto 3 0
+	proto 4 0
 
 	// tests/contracts/abi.algo.ts:442
 	// a: uint<16>[] = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
@@ -72,10 +72,8 @@ arraySpliceValue:
 	int 7
 	frame_bury -3 // l: uint64
 
-	// tests/contracts/abi.algo.ts:448
-	// return v;
 	// tests/contracts/abi.algo.ts:446
-	// a.splice(i, l)
+	// v = a.splice(i, l)
 	frame_dig -1 // a: uint16[]
 	frame_dig -3 // l: uint64
 	frame_dig -2 // i: uint64
@@ -111,6 +109,11 @@ arraySpliceValue:
 	extract3
 	swap
 	frame_bury -1 // a: uint16[]
+	frame_bury -4 // v: uint16[]
+
+	// tests/contracts/abi.algo.ts:448
+	// return v;
+	frame_dig -4 // v: uint16[]
 	dup
 	len
 	int 2

tests/contracts/artifacts/ABITestArraySpliceValue.json

@@ -30,7 +30,7 @@
     }
   },
   "source": {
-    "approval": "I3ByYWdtYSB2ZXJzaW9uIDgKCWIgbWFpbgoKYWJpX3JvdXRlX2FycmF5U3BsaWNlVmFsdWU6Cgl0eG4gT25Db21wbGV0aW9uCglpbnQgTm9PcAoJPT0KCXR4biBBcHBsaWNhdGlvbklECglpbnQgMAoJIT0KCSYmCglhc3NlcnQKCWJ5dGUgMHgKCWR1cG4gMgoJY2FsbHN1YiBhcnJheVNwbGljZVZhbHVlCglpbnQgMQoJcmV0dXJuCgphcnJheVNwbGljZVZhbHVlOgoJcHJvdG8gMyAwCgoJLy8gdGVzdHMvY29udHJhY3RzL2FiaS5hbGdvLnRzOjQ0MgoJLy8gYTogdWludDwxNj5bXSA9IFsxLCAyLCAzLCA0LCA1LCA2LCA3LCA4LCA5LCAxMF0KCWludCAxCglpdG9iCglleHRyYWN0IDYgMAoJaW50IDIKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCAzCglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgNAoJaXRvYgoJZXh0cmFjdCA2IDAKCWNvbmNhdAoJaW50IDUKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCA2CglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgNwoJaXRvYgoJZXh0cmFjdCA2IDAKCWNvbmNhdAoJaW50IDgKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCA5CglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgMTAKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWZyYW1lX2J1cnkgLTEgLy8gYTogdWludDE2W10KCgkvLyB0ZXN0cy9jb250cmFjdHMvYWJpLmFsZ28udHM6NDQ0CgkvLyBpID0gMQoJaW50IDEKCWZyYW1lX2J1cnkgLTIgLy8gaTogdWludDY0CgoJLy8gdGVzdHMvY29udHJhY3RzL2FiaS5hbGdvLnRzOjQ0NQoJLy8gbCA9IDcKCWludCA3CglmcmFtZV9idXJ5IC0zIC8vIGw6IHVpbnQ2NAoKCS8vIHRlc3RzL2NvbnRyYWN0cy9hYmkuYWxnby50czo0NDgKCS8vIHJldHVybiB2OwoJLy8gdGVzdHMvY29udHJhY3RzL2FiaS5hbGdvLnRzOjQ0NgoJLy8gYS5zcGxpY2UoaSwgbCkKCWZyYW1lX2RpZyAtMSAvLyBhOiB1aW50MTZbXQoJZnJhbWVfZGlnIC0zIC8vIGw6IHVpbnQ2NAoJZnJhbWVfZGlnIC0yIC8vIGk6IHVpbnQ2NAoJaW50IDIKCSoKCXN0b3JlIDEyIC8vIHNwbGljZSBzdGFydAoJZnJhbWVfZGlnIC0zIC8vIGw6IHVpbnQ2NAoJaW50IDIKCSoKCWludCAyCgkrCglzdG9yZSAxMyAvLyBzcGxpY2UgYnl0ZSBsZW5ndGgKCWZyYW1lX2RpZyAtMSAvLyBhOiB1aW50MTZbXQoJaW50IDAKCWxvYWQgMTIgLy8gc3BsaWNlIHN0YXJ0CglzdWJzdHJpbmczCglmcmFtZV9kaWcgLTEgLy8gYTogdWludDE2W10KCWR1cAoJbGVuCglsb2FkIDEyIC8vIHNwbGljZSBzdGFydAoJbG9hZCAxMyAvLyBzcGxpY2UgYnl0ZSBsZW5ndGgKCSsKCWludCAyCgktCglzd2FwCglzdWJzdHJpbmczCgljb25jYXQKCWZyYW1lX2RpZyAtMSAvLyBhOiB1aW50MTZbXQoJbG9hZCAxMiAvLyBzcGxpY2Ugc3RhcnQKCWxvYWQgMTMgLy8gc3BsaWNlIGJ5dGUgbGVuZ3RoCglpbnQgMgoJLQoJZXh0cmFjdDMKCXN3YXAKCWZyYW1lX2J1cnkgLTEgLy8gYTogdWludDE2W10KCWR1cAoJbGVuCglpbnQgMgoJLwoJaXRvYgoJZXh0cmFjdCA2IDIKCXN3YXAKCWNvbmNhdAoJYnl0ZSAweDE1MWY3Yzc1Cglzd2FwCgljb25jYXQKCWxvZwoJcmV0c3ViCgptYWluOgoJdHhuIE51bUFwcEFyZ3MKCWJueiByb3V0ZV9hYmkKCgkvLyBkZWZhdWx0IGNyZWF0ZUFwcGxpY2F0aW9uCgl0eG4gQXBwbGljYXRpb25JRAoJaW50IDAKCT09Cgl0eG4gT25Db21wbGV0aW9uCglpbnQgTm9PcAoJPT0KCSYmCglyZXR1cm4KCnJvdXRlX2FiaToKCW1ldGhvZCAiYXJyYXlTcGxpY2VWYWx1ZSgpdWludDE2W10iCgl0eG5hIEFwcGxpY2F0aW9uQXJncyAwCgltYXRjaCBhYmlfcm91dGVfYXJyYXlTcGxpY2VWYWx1ZQoJZXJy",
+    "approval": "I3ByYWdtYSB2ZXJzaW9uIDgKCWIgbWFpbgoKYWJpX3JvdXRlX2FycmF5U3BsaWNlVmFsdWU6Cgl0eG4gT25Db21wbGV0aW9uCglpbnQgTm9PcAoJPT0KCXR4biBBcHBsaWNhdGlvbklECglpbnQgMAoJIT0KCSYmCglhc3NlcnQKCWJ5dGUgMHgKCWR1cG4gMwoJY2FsbHN1YiBhcnJheVNwbGljZVZhbHVlCglpbnQgMQoJcmV0dXJuCgphcnJheVNwbGljZVZhbHVlOgoJcHJvdG8gNCAwCgoJLy8gdGVzdHMvY29udHJhY3RzL2FiaS5hbGdvLnRzOjQ0MgoJLy8gYTogdWludDwxNj5bXSA9IFsxLCAyLCAzLCA0LCA1LCA2LCA3LCA4LCA5LCAxMF0KCWludCAxCglpdG9iCglleHRyYWN0IDYgMAoJaW50IDIKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCAzCglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgNAoJaXRvYgoJZXh0cmFjdCA2IDAKCWNvbmNhdAoJaW50IDUKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCA2CglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgNwoJaXRvYgoJZXh0cmFjdCA2IDAKCWNvbmNhdAoJaW50IDgKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWludCA5CglpdG9iCglleHRyYWN0IDYgMAoJY29uY2F0CglpbnQgMTAKCWl0b2IKCWV4dHJhY3QgNiAwCgljb25jYXQKCWZyYW1lX2J1cnkgLTEgLy8gYTogdWludDE2W10KCgkvLyB0ZXN0cy9jb250cmFjdHMvYWJpLmFsZ28udHM6NDQ0CgkvLyBpID0gMQoJaW50IDEKCWZyYW1lX2J1cnkgLTIgLy8gaTogdWludDY0CgoJLy8gdGVzdHMvY29udHJhY3RzL2FiaS5hbGdvLnRzOjQ0NQoJLy8gbCA9IDcKCWludCA3CglmcmFtZV9idXJ5IC0zIC8vIGw6IHVpbnQ2NAoKCS8vIHRlc3RzL2NvbnRyYWN0cy9hYmkuYWxnby50czo0NDYKCS8vIHYgPSBhLnNwbGljZShpLCBsKQoJZnJhbWVfZGlnIC0xIC8vIGE6IHVpbnQxNltdCglmcmFtZV9kaWcgLTMgLy8gbDogdWludDY0CglmcmFtZV9kaWcgLTIgLy8gaTogdWludDY0CglpbnQgMgoJKgoJc3RvcmUgMTIgLy8gc3BsaWNlIHN0YXJ0CglmcmFtZV9kaWcgLTMgLy8gbDogdWludDY0CglpbnQgMgoJKgoJaW50IDIKCSsKCXN0b3JlIDEzIC8vIHNwbGljZSBieXRlIGxlbmd0aAoJZnJhbWVfZGlnIC0xIC8vIGE6IHVpbnQxNltdCglpbnQgMAoJbG9hZCAxMiAvLyBzcGxpY2Ugc3RhcnQKCXN1YnN0cmluZzMKCWZyYW1lX2RpZyAtMSAvLyBhOiB1aW50MTZbXQoJZHVwCglsZW4KCWxvYWQgMTIgLy8gc3BsaWNlIHN0YXJ0Cglsb2FkIDEzIC8vIHNwbGljZSBieXRlIGxlbmd0aAoJKwoJaW50IDIKCS0KCXN3YXAKCXN1YnN0cmluZzMKCWNvbmNhdAoJZnJhbWVfZGlnIC0xIC8vIGE6IHVpbnQxNltdCglsb2FkIDEyIC8vIHNwbGljZSBzdGFydAoJbG9hZCAxMyAvLyBzcGxpY2UgYnl0ZSBsZW5ndGgKCWludCAyCgktCglleHRyYWN0MwoJc3dhcAoJZnJhbWVfYnVyeSAtMSAvLyBhOiB1aW50MTZbXQoJZnJhbWVfYnVyeSAtNCAvLyB2OiB1aW50MTZbXQoKCS8vIHRlc3RzL2NvbnRyYWN0cy9hYmkuYWxnby50czo0NDgKCS8vIHJldHVybiB2OwoJZnJhbWVfZGlnIC00IC8vIHY6IHVpbnQxNltdCglkdXAKCWxlbgoJaW50IDIKCS8KCWl0b2IKCWV4dHJhY3QgNiAyCglzd2FwCgljb25jYXQKCWJ5dGUgMHgxNTFmN2M3NQoJc3dhcAoJY29uY2F0Cglsb2cKCXJldHN1YgoKbWFpbjoKCXR4biBOdW1BcHBBcmdzCglibnogcm91dGVfYWJpCgoJLy8gZGVmYXVsdCBjcmVhdGVBcHBsaWNhdGlvbgoJdHhuIEFwcGxpY2F0aW9uSUQKCWludCAwCgk9PQoJdHhuIE9uQ29tcGxldGlvbgoJaW50IE5vT3AKCT09CgkmJgoJcmV0dXJuCgpyb3V0ZV9hYmk6CgltZXRob2QgImFycmF5U3BsaWNlVmFsdWUoKXVpbnQxNltdIgoJdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMAoJbWF0Y2ggYWJpX3JvdXRlX2FycmF5U3BsaWNlVmFsdWUKCWVycg==",
     "clear": "I3ByYWdtYSB2ZXJzaW9uIDgKaW50IDEKcmV0dXJu"
   },
   "contract": {

tests/contracts/artifacts/ABITestSpliceFirstElementValue.approval.teal

@@ -10,13 +10,13 @@ abi_route_spliceFirstElementValue:
 	!=
 	&&
 	assert
-	byte 0x
+	byte 0x; dup
 	callsub spliceFirstElementValue
 	int 1
 	return
 
 spliceFirstElementValue:
-	proto 1 0
+	proto 2 0
 
 	// tests/contracts/abi.algo.ts:493
 	// a: uint<16>[] = [1, 2, 3]
@@ -33,10 +33,8 @@ spliceFirstElementValue:
 	concat
 	frame_bury -1 // a: uint16[]
 
-	// tests/contracts/abi.algo.ts:497
-	// return v;
 	// tests/contracts/abi.algo.ts:495
-	// a.splice(0, 1)
+	// v = a.splice(0, 1)
 	frame_dig -1 // a: uint16[]
 	int 1
 	int 0
@@ -72,6 +70,11 @@ spliceFirstElementValue:
 	extract3
 	swap
 	frame_bury -1 // a: uint16[]
+	frame_bury -2 // v: uint16[]
+
+	// tests/contracts/abi.algo.ts:497
+	// return v;
+	frame_dig -2 // v: uint16[]
 	dup
 	len
 	int 2