Allow staticarrays to be constructed with no arguments

[tristanmenzel]

Proposed Changes

• Addresses Support arc4.StaticArray empty constructors #185

[tristanmenzel]

I presume it's possible to add a default ctor to the arc4.Structs but it maybe doesn't make much sense. Is it better to just error when attempting to construct a static array of struct without any values?

[achidlow]

It wouldn't jive with the datalcass vibe - not unless the class had default values for all fields (which we don't support yet)

[github-actions]

Coverage Report

File	Stmts	Miss	Cover	Missing
src/puya
__main__.py	35	1	97%	145
arc4_util.py	48	2	96%	61, 63
arc32.py	68	2	97%	77, 103
artifact_sorter.py	49	1	98%	80
client_gen.py	115	15	87%	55–56, 65–69, 73, 165–166, 174–175, 190, 194–195, 204
compile.py	253	22	91%	193–194, 240–241, 263, 273, 285–286, 297, 304–305, 322–332, 342–344, 349, 478, 499
context.py	37	1	97%	44
errors.py	45	15	67%	43–53, 66–67, 69–71
log.py	212	29	86%	36–39, 72, 92, 126–127, 169–171, 174–176, 178, 191–200, 222, 292–294, 303–304, 338, 355
models.py	132	2	98%	118, 131
parse.py	222	11	95%	96, 108, 133, 227, 318–323, 327, 425–426, 429
template.py	44	6	86%	18–19, 41–42, 58, 60
utils.py	221	26	88%	55, 72–73, 82–83, 91–92, 149, 153, 187, 193, 208, 211–213, 220, 242, 255–256, 264–267, 296, 298, 321, 356
src/puya/awst
function_traverser.py	207	3	99%	53, 296, 301
nodes.py	952	53	94%	88, 92–95, 135, 139–142, 308, 485, 501, 519, 566, 593–594, 650, 654, 682–683, 789, 825, 847, 879, 901, 906, 911, 1115, 1131, 1180, 1233–1234, 1241–1246, 1288, 1368, 1421, 1425, 1475, 1488, 1533, 1627, 1638, 1640, 1645, 1653, 1658, 1663, 1672, 1677, 1682, 1689
to_code_visitor.py	347	8	98%	123, 307–308, 350, 555, 576, 606, 609
txn_fields.py	98	1	99%	48
wtypes.py	237	19	92%	155–159, 169–172, 187, 202, 230, 266, 290, 295, 336, 364, 366, 466
src/puya/awst_build
arc4_utils.py	316	49	84%	43, 46–47, 49, 81, 93–95, 119, 130–134, 150, 152, 155–156, 179, 217–219, 228, 233, 238–239, 263, 267, 279, 286, 288, 302–303, 306–310, 315–316, 322–325, 333, 351, 363, 371–372, 384, 392, 493, 498, 517
arc32_client_gen.py	68	2	97%	35, 131
base_mypy_visitor.py	127	39	69%	70–76, 94, 102–115, 129, 131, 133, 145, 150, 154, 157, 160, 166, 188, 191, 194, 201, 205, 208, 211, 215, 233, 237, 241, 245, 249, 253, 257, 261, 265, 269, 273, 277, 281
context.py	227	47	79%	49, 71, 74, 84–85, 111–112, 208, 213, 219–223, 228, 237, 239, 242–244, 246, 253, 255, 261, 266–267, 272–274, 277, 297, 321–322, 334, 348, 351–363
contract.py	195	31	84%	125–126, 128–131, 143, 155, 248, 252, 267–271, 279, 288, 291, 303, 311, 314, 317, 320, 323, 326, 329, 332, 335, 346, 356, 364, 370, 395–401
contract_data.py	58	1	98%	37
intrinsic_models.py	40	1	98%	49
main.py	48	3	94%	33, 50, 60
module.py	415	62	85%	53–56, 85, 150, 164–166, 181–182, 189, 198–199, 207–211, 229–233, 240, 264–265, 276, 298–301, 311–313, 319, 342–345, 358, 392, 399, 421–422, 445–450, 504–505, 533, 544, 547, 553, 559, 569, 575, 578, 590, 593, 615, 635, 640, 644, 648–651, 678, 736, 744, 746
pytypes.py	472	51	89%	85–87, 101–102, 142, 158–164, 187, 207, 279, 288, 307, 311, 327–328, 360, 453–455, 469–470, 539–540, 665, 676–677, 725–726, 731, 780–781, 802–803, 932–933, 957, 985, 1019–1021, 1047, 1074, 1084–1085, 1121–1123
subroutine.py	619	51	92%	138, 260, 266, 324–327, 333, 385, 392, 395–401, 466, 581, 583–584, 602, 604, 614–615, 624–625, 629, 650, 728, 735, 755–756, 838, 869–870, 887, 909, 915, 1003, 1011, 1022, 1047, 1153–1154, 1175, 1185, 1192, 1205, 1230, 1233, 1236, 1239, 1242, 1262–1264
utils.py	195	25	87%	36, 53–57, 73, 108–109, 111, 155–156, 228, 236, 241, 254–258, 263–266, 274, 301, 309, 352
src/puya/awst_build/eb
_base.py	128	19	85%	53, 58–60, 65, 72, 77, 82–84, 143, 154, 178, 183, 188, 193, 204, 219, 224–226
_bytes_backed.py	48	2	96%	30–31
_expect.py	125	18	86%	25, 36, 77–80, 92–95, 98, 157–158, 219, 232–235
_literals.py	138	29	79%	42, 71, 90, 119, 127, 141, 145, 149–155, 165–179, 184
utils.py	44	1	98%	95
array.py	27	9	67%	24, 29–34, 44, 50
biguint.py	97	6	94%	57, 99, 136, 151–152, 154
bool.py	51	8	84%	38–42, 58, 69, 84
bytes.py	171	18	89%	105–106, 133–134, 139–140, 146–147, 150, 158, 201, 236, 269, 273, 290–291, 306–307
compiled.py	114	13	89%	57, 62, 68–69, 172–178, 213–217, 242
conditional_literal.py	126	35	72%	93, 97, 151, 155–158, 167–169, 178–181, 192–195, 204, 208, 212–215, 230–242, 251–252
contracts.py	84	6	93%	64, 70, 83, 108, 129, 133
dict.py	27	5	81%	24, 32–34, 38
ensure_budget.py	33	1	97%	49
interface.py	85	3	96%	304–306, 310
intrinsics.py	97	6	94%	38, 57, 64, 77, 84, 155
log.py	43	4	91%	46–47, 52, 61
logicsig.py	15	1	93%	26
none.py	25	3	88%	17, 28, 37
string.py	145	13	91%	72, 115–116, 135, 139, 183, 190, 194, 206, 280–282, 302
struct.py	17	5	71%	15–17, 26, 32
subroutine.py	79	17	78%	50, 54–57, 72, 75–82, 97, 105–109, 111–114, 119
template_variables.py	37	2	95%	30, 58
tuple.py	269	12	96%	75, 147, 153, 188–189, 195, 272–273, 398, 409–410, 473
uint64.py	114	5	96%	59, 123–124, 172–173
uint64_enums.py	40	2	95%	41, 46
unsigned_builtins.py	153	21	86%	75, 82, 106, 130, 134, 138, 142, 150, 154, 158, 162, 166, 176, 180, 186, 197, 203, 242, 274, 286, 298
src/puya/awst_build/eb/arc4
_base.py	91	3	97%	187–190, 201
_utils.py	113	9	92%	61–62, 87, 92, 122–125, 165, 169, 183
abi_call.py	333	18	95%	122, 128, 131, 153, 223, 244–245, 326, 345, 406, 458, 476, 506, 592, 641, 726–727, 744
address.py	77	3	96%	57, 117–118
bool.py	57	3	95%	44, 86–87
dynamic_array.py	127	10	92%	57, 126–127, 147, 149, 154, 228, 249, 255–258
dynamic_bytes.py	68	3	96%	97–99
emit.py	37	1	97%	39
static_array.py	68	1	99%	41
string.py	100	9	91%	54–55, 103, 126, 131–134, 161–162
struct.py	49	1	98%	49
tuple.py	94	15	84%	50–52, 92–95, 98–99, 135–138, 143, 147–148, 158, 168
ufixed.py	70	2	97%	43, 102
uint.py	75	4	95%	81–83, 135–136
src/puya/awst_build/eb/reference_types
_base.py	52	1	98%	119
account.py	81	2	98%	60, 171
application.py	45	1	98%	35
asset.py	65	1	98%	43
src/puya/awst_build/eb/storage
_common.py	69	3	96%	104, 119–120
_storage.py	100	17	83%	77, 85, 89, 93, 97, 101, 105, 109, 113, 123, 127, 131, 135, 141, 152, 158, 170
value_proxy.py	55	7	87%	39, 43, 51, 55, 92, 100, 104
box_map.py	143	1	99%	183
global_state.py	139	5	96%	108–109, 115, 171–172
local_state.py	149	11	93%	103–104, 108, 157, 161, 165, 175, 179, 203, 290, 314
src/puya/awst_build/eb/transaction
base.py	39	2	95%	23, 43
inner.py	48	2	96%	88–89
inner_params.py	81	5	94%	69, 79, 83, 143, 145
itxn_args.py	60	1	98%	68
src/puya/awst_build/validation
base_invoker.py	29	4	86%	31, 38, 47–51
inner_transactions.py	181	1	99%	160
scratch_slots.py	39	4	90%	19, 33, 49, 51
src/puya/ir
arc4_router.py	327	21	94%	157, 175, 183, 251, 341, 520–521, 535, 579–580, 592, 597, 602, 607, 612, 617, 637–641, 876, 909–910
avm_ops.py	315	1	99%	46
avm_ops_models.py	48	3	94%	21, 30, 38
context.py	87	7	92%	73, 95–101, 106, 129, 137
main.py	250	2	99%	466, 484
models.py	535	22	96%	74, 183, 190, 345, 415–416, 421, 427–431, 444, 488, 515, 570, 612, 692, 708, 749, 752, 759, 762, 852–853
ssa.py	130	2	98%	51–52
to_text_visitor.py	152	8	95%	123, 128, 212, 219–224
types.py	94	9	90%	49, 56, 90–94, 103, 140–142
visitor.py	129	17	87%	145, 193, 205, 220, 223, 236, 239, 245, 248, 259, 262, 265, 268, 271, 274, 277, 280
visitor_mutator.py	105	2	98%	174–175
vla.py	72	1	99%	87
src/puya/ir/builder
_utils.py	76	5	93%	78, 204, 240–242
arc4.py	501	27	95%	91, 127–132, 386, 389, 458–461, 725–726, 972, 996, 1085–1102, 1123–1140, 1179–1180, 1232, 1242, 1297, 1342, 1361, 1381, 1445–1452
assignment.py	72	5	93%	49, 84, 168, 186, 202
blocks.py	90	2	98%	162, 170
bytes.py	64	14	78%	23–55, 139
callsub.py	57	1	98%	93
flow_control.py	96	1	99%	72
iteration.py	175	4	98%	44, 66, 92, 165
itxn.py	266	13	95%	125–126, 128, 141, 189, 209, 234–235, 563, 587–588, 601–602
main.py	528	57	89%	103, 235, 239, 244–262, 267–285, 340, 364, 388–389, 423, 585, 607–610, 626–627, 667, 693, 737–739, 750, 815, 933, 946, 979, 1034, 1037, 1045, 1048, 1056, 1087, 1149, 1166, 1216–1217
storage.py	82	2	98%	99, 151
src/puya/ir/destructure
coalesce_locals.py	101	19	81%	119, 128–129, 132–135, 138–147, 163–166
parcopy.py	84	2	98%	47, 83
src/puya/ir/optimize
collapse_blocks.py	92	5	95%	65–69
compiled_reference.py	79	5	94%	53, 87, 158–163
control_op_simplification.py	101	10	90%	159–166, 240–247
inner_txn.py	36	1	97%	38
intrinsic_simplification.py	460	29	94%	76, 166–168, 173, 255, 267, 316–317, 337, 404, 542, 570, 591, 593, 608, 663, 693, 699, 701, 703, 708, 710, 712, 714, 716, 768–769, 776
main.py	87	3	97%	114–115, 131
src/puya/ir/validation
_base.py	29	1	97%	24
compile_reference_validator.py	20	3	85%	24, 30, 37
min_avm_version_validator.py	11	1	91%	15
op_run_mode_validator.py	19	5	74%	19–29
src/puya/mir
annotaters.py	159	2	99%	62, 212
builder.py	140	10	93%	139, 248–249, 302, 305, 308, 311, 314, 317, 320
context.py	39	1	97%	35
models.py	328	16	95%	40, 52, 68, 77, 88, 99, 110, 150, 260, 291, 328, 340, 365–371
output.py	61	2	97%	29, 31
stack.py	250	19	92%	72, 119, 135, 146, 157, 167, 184, 201, 211, 230, 250, 256, 258, 297, 310, 334, 366, 371, 409
src/puya/mir/stack_allocation
baileys.py	205	3	99%	31, 330–334
frame_allocation.py	80	2	98%	21, 68
koopmans.py	61	1	98%	55
peephole.py	100	6	94%	75, 89, 99, 101, 103, 145
src/puya/teal/optimize
peephole.py	112	3	97%	139, 145, 169
repeated_rotations.py	42	1	98%	13
repeated_rotations_search.py	88	6	93%	34, 40–41, 57, 67–68
src/puya/ussemble
build.py	73	10	86%	37, 52–53, 58–61, 65–68, 85–86, 115
op_spec_models.py	22	1	95%	20
optimize.py	77	1	99%	78
output.py	115	1	99%	71
validate.py	17	1	94%	19
TOTAL	20435	1389	93%

Tests	Skipped	Failures	Errors	Time
939	3 💤	0 ❌	0 🔥	6m 16s ⏱️