Skip to content

Conversation

@boblat
Copy link
Contributor

@boblat boblat commented Oct 10, 2025

Proposed Changes

  • remove mypy from tests/test_pytypes.py and tests/test_transaction_fields.py
  • do not use mypy.visitor.NodeVisitor in docs generation script

@engineering-ci
Copy link

engineering-ci bot commented Oct 10, 2025

⚠️ No changelog fragment detected

@engineering-ci
Copy link

Name Status O0 bytes O1 bytes O2 bytes O0 ops O1 ops O2 ops

@boblat boblat force-pushed the refactor/ast branch 2 times, most recently from 3f97d59 to be4d1b6 Compare October 10, 2025 09:19
@engineering-ci
Copy link

engineering-ci bot commented Oct 10, 2025

Coverage

Coverage Report
FileStmtsMissCoverMissing
src/puya
   __main__.py36683%45, 52–53, 71–72, 78
   arc32.py89496%74, 125–130
   arc56.py81495%285–287, 297
   artifact_sorter.py57296%32, 89
   compile.py210797%98–99, 173–174, 182, 343, 401
   context.py52198%39
   errors.py41198%59
   log.py2657074%82, 92–93, 98–105, 120–128, 150, 173–174, 186–187, 190–191, 229–231, 234–236, 238, 251–267, 296, 302, 312–317, 320, 389–390, 427–429, 442–456, 480
   main.py41783%31, 50–55
   parse.py83495%31, 40, 50, 56
   program_refs.py28293%45, 56
   utils.py2262091%37, 77–78, 87–88, 96–97, 196, 201–204, 222–224, 258, 265, 288, 290, 309, 348
src/puya/awst
   function_traverser.py325399%66, 76, 407
   nodes.py12856395%112, 116–119, 159, 163–166, 460, 525, 685, 754, 780, 838, 858, 897, 942, 971–972, 994, 998, 1066, 1087, 1118–1119, 1146, 1149–1151, 1169, 1203, 1206, 1244, 1249, 1376, 1402, 1435, 1467, 1493, 1498, 1745, 1889, 1908, 1974, 2012, 2021, 2122, 2240, 2289, 2307, 2311, 2429, 2576, 2581, 2586, 2594, 2599, 2604, 2641–2642, 2652
   serialize.py761284%21–25, 49, 94–100, 117, 121
   to_code_visitor.py4691796%149, 260, 297, 343, 380, 477–480, 627–630, 660, 688, 692, 704–705
   txn_fields.py101199%53
   wtypes.py3761097%233, 254, 314, 366, 379, 390, 395–396, 437, 466
src/puya/awst/validation
   base_invoker.py47491%55, 62, 72–76
   immutable.py33294%29, 37
   inner_transactions.py196199%168
   labels.py30873%25–27, 32, 36–41
src/puya/ir
   _arc4_default_args.py1101586%63–64, 79, 92, 94, 96, 98, 100, 102, 108, 115, 136–137, 232, 239
   contract_metadata.py229797%56, 206–210, 308–314
   arc4_router.py266698%169, 235, 337, 356, 523, 748
   arc4_types.py1621988%26–27, 46, 50, 54, 58, 62, 70, 96, 103, 110, 117, 129, 135, 139, 151, 211, 215, 230
   avm_ops.py326199%46
   avm_ops_models.py37295%15, 23
   context.py113695%79, 91, 98, 101, 103, 112
   encodings.py204697%230, 233, 239, 257, 294, 298
   main.py2241494%117, 126–132, 142–148, 174, 342–343, 355, 363
   models.py7852896%114, 218, 225, 420, 442, 503, 521, 525, 641–642, 752–753, 758, 764–768, 781, 838, 868, 924, 985, 1030, 1115, 1159, 1174, 1186, 1212, 1280–1281
   mutating_register_context.py87397%48–49, 51
   op_utils.py163299%211–218
   ssa.py151299%52–53
   types.py2512490%55, 58, 61, 74, 79–81, 85–87, 127, 141, 180, 247, 250, 261, 270, 274, 277, 295, 301, 399–403
   visitor.py181597%181, 279, 300, 306, 349
   visitor_mutator.py218797%89–92, 94, 187, 228
src/puya/ir/builder
   _utils.py39295%50, 52
   assignment.py119794%63, 79, 190, 192–193, 220, 265
   blocks.py134795%55, 92–96, 158, 166, 231
   bytes.py681479%14–46, 130
   callsub.py1091091%35–36, 57–60, 73, 118–122
   dynamic_array.py167597%81–82, 135–136, 172
   encoding_validation.py71199%121
   flow_control.py104298%53, 57
   iteration.py236598%103–104, 120, 152, 223
   itxn.py5565091%153–154, 156, 170, 208–209, 233–234, 593, 612–630, 661, 750, 774, 782, 789, 796, 800, 836, 848, 852, 866, 878, 884, 888, 908, 972, 978, 982, 986, 990, 1006, 1018, 1046, 1052, 1056, 1060, 1064, 1082, 1093, 1104
   main.py7344694%165, 284, 296–315, 325–327, 394, 418, 442, 466–467, 491, 517, 598–599, 741, 764–765, 797, 832, 913, 978, 1077–1081, 1142, 1210, 1213, 1366, 1392, 1420–1421, 1572, 1592, 1647–1649
   sequence.py136696%191–196, 217–220, 235–236
   storage.py211598%122, 340–344, 356
src/puya/ir/builder/aggregates
   arc4_codecs.py2902292%58, 94, 147–148, 203, 271, 322, 335, 351, 394, 412, 428–430, 444–446, 510–511, 526–527, 554
   main.py88397%76, 102, 116
   sequence.py156199%144
src/puya/ir/destructure
   coalesce_locals.py1442185%198, 209, 213–224, 230–231, 246–251
   critical_edges.py32197%24
   parcopy.py72199%80
src/puya/ir/optimize
   _call_graph.py32197%42
   add_box_extract_replace.py223498%195–196, 200, 408
   assignments.py114496%48, 168, 184–185
   compiled_reference.py101595%56, 87, 168–173
   constant_propagation.py71199%90
   control_op_simplification.py77199%168
   inlining.py2441195%34–43, 47, 54, 417, 421, 425, 435, 439
   inner_txn.py36294%49–50
   intrinsic_simplification.py7964494%269, 493, 505, 536, 547–548, 616–617, 638, 743, 824, 855–884, 1228–1230, 1309, 1335, 1337, 1410, 1424, 1455, 1461, 1463, 1465, 1470, 1472, 1474, 1478, 1545, 1552
   repeated_loads_elimination.py142299%157, 173
src/puya/ir/validation
   _base.py30197%28
   compile_reference_validator.py20290%24, 30
   min_avm_version_validator.py15473%16–20
   op_run_mode_validator.py19195%29
   slot_reservation.py18194%20
src/puya/mir
   aligned_writer.py63297%21, 61
   builder.py2042389%129–131, 158–160, 178, 181, 184, 187, 190, 193, 196, 252, 259, 385, 388, 391, 394, 397, 400, 403, 406
   main.py47198%33
   models.py494699%121, 174, 177, 269, 335, 712
   output.py61198%20
   stack.py152199%90
   visitor.py861088%111, 131, 135, 167, 171, 175, 179, 183, 187, 191
src/puya/mir/stack_allocation
   f_stack.py95397%58–67
   l_stack.py117199%71
   peephole.py41393%38, 40, 43
   x_stack.py203399%33, 331–335
src/puya/teal
   builder.py190299%104, 136
   models.py448199%439
   stack_manipulations.py31197%42
src/puya/teal/optimize
   constant_block.py104496%63, 152, 189, 206
   constant_stack_shuffling.py94990%54–55, 77–78, 94–100
   main.py176498%141, 200, 227–228
   peephole.py137299%170, 296
   repeated_rotations.py51590%16, 52–55
   repeated_rotations_search.py90693%35, 41–42, 58, 68–69
src/puya/ussemble
   assemble.py201399%253, 273, 317
   models.py26196%16
   op_spec_models.py22195%20
src/puyapy
   __main__.py43686%155, 160–165, 204, 213
   client_gen.py1101190%59–60, 78–82, 86, 200, 207–208, 228
   compile.py911386%41, 57, 68, 72, 132–133, 141–144, 153–156
   find_sources.py97397%46, 105, 124
   interpreter_data.py18289%32–33
   models.py103496%76, 88–90
   parse.py2473287%114–119, 178, 188, 196, 208–209, 225–227, 238–243, 251–256, 260, 420–423, 427–428, 441–443, 448
   template.py32875%10–11, 18–19, 27–28, 34, 37
src/puyapy/awst_build
   arc4_client.py1042774%46–50, 58, 70, 76, 80, 97, 109, 115–116, 122, 125, 128, 134, 137, 140–145, 148, 151, 154, 157, 160, 163, 166, 169, 172
   arc4_client_gen.py134894%30, 89–90, 100, 102, 117–118, 188
   arc4_decorators.py2435378%46, 91–92, 99–101, 110–116, 124–126, 147–149, 152, 177, 189, 197, 211, 213, 243–244, 261–262, 277–278, 285, 289–295, 301, 309, 328, 336, 340, 350–354, 370, 372, 375–376, 385, 388–389, 391
   arc4_utils.py119497%155, 162, 176, 204
   base_mypy_visitor.py1603876%77–83, 103, 112–125, 139, 141, 143, 156, 161, 166, 170, 174, 200, 204, 208, 217, 222, 226, 230, 235, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315
   context.py2645380%57, 60, 70–71, 89–90, 130, 202–210, 215–219, 226, 235, 237, 240–242, 244, 251, 253, 264–265, 270–272, 275, 290, 302–303, 315, 329, 332–344, 362, 380, 405
   contract.py3313689%125, 177, 206–210, 250, 252, 256, 260, 268, 280, 282, 304–311, 368, 371, 383, 391, 394, 397, 400, 403, 406, 409, 412, 415, 418, 511–515, 564–568, 642–646, 704, 726
   intrinsic_models.py49198%55
   main.py42198%41
   module.py4456685%135, 160, 166–187, 206–207, 214, 223–224, 231–235, 257, 286, 306–307, 318, 340–343, 353–355, 361, 378–381, 394, 428, 457–458, 481–482, 540–541, 569, 580, 583, 589, 595, 605, 611, 614, 626, 629, 652, 672, 677, 681, 690–694, 786, 794, 796
   pytypes.py6096190%87, 97–99, 104, 111, 116–118, 122–124, 151–152, 192, 210–216, 239, 259, 301, 339–341, 370, 437, 446, 465, 483, 487, 643–645, 659–660, 727–728, 832, 843–844, 882–883, 930–931, 936, 1005–1006, 1029–1030, 1181–1182, 1210, 1238, 1274–1276, 1316, 1326–1327
   subroutine.py6504893%162, 169, 189–190, 287, 313–314, 332, 349, 374, 382, 393, 420–423, 535–536, 548, 551, 554, 557, 560, 608, 741, 752, 754, 763, 781, 784, 816, 822, 884–887, 893, 944, 949, 952–958, 1049, 1069, 1225, 1265, 1291, 1307–1308, 1317, 1321
   utils.py1862984%28, 45–49, 67, 102–103, 105, 149–150, 201, 209, 214, 227–231, 236–239, 248, 252, 260, 294, 308–311
src/puyapy/awst_build/eb
   _base.py1281688%52, 57–59, 64, 71, 81–83, 144, 155, 185, 190, 200, 211, 225–227
   _bytes_backed.py48296%30–31
   _expect.py1221786%25, 36, 85–88, 106, 158–159, 217–220, 230–233
   _literals.py1563478%44, 65, 77, 96, 125, 142, 156–160, 164, 168–174, 184–198, 203
   _type_registry.py41393%265–266, 279
   utils.py62395%36–38, 108
   biguint.py101694%56, 100, 139, 155–156, 158
   binary_bool_op.py105397%153, 161, 171
   bool.py55984%38–42, 58, 69, 82, 96
   bytes.py1681889%102–103, 130–131, 136–137, 143–144, 147, 155, 198, 233, 265, 269, 286–287, 302–303
   compiled.py70987%85–89, 126–130, 153
   conditional_literal.py1343475%98, 102, 162, 166–169, 178–180, 203–206, 215, 219, 223–226, 241–253, 262–263, 274–277
   contracts.py77890%55, 61, 63, 73, 99, 109, 111, 116
   dict.py27581%24, 32–34, 38
   ensure_budget.py31197%46
   interface.py91298%317–319
   intrinsics.py110893%50–51, 64, 86, 93, 106, 113, 184
   log.py43491%45–46, 51, 60
   logicsig.py15193%25
   none.py27485%17, 27–28, 37
   size_of.py25388%31–33
   string.py1441391%71, 115–116, 135, 140, 183, 190, 194, 206, 280–282, 302
   subroutine.py801680%46, 50–53, 68, 71–78, 93, 101–102, 104–107, 112
   template_variables.py37295%29, 57
   tuple.py3381197%87, 135, 154, 257, 350–351, 470, 546, 557–558, 621
   uint64.py108595%57, 118–119, 167–168
   uint64_enums.py40295%40, 45
   unsigned_builtins.py1552286%73, 80, 104, 128, 132, 136, 140, 148, 152, 156, 160, 164, 174, 178, 184, 195, 201, 207, 246, 278, 290, 302
src/puyapy/awst_build/eb/arc4
   _base.py106595%184–187, 198, 228–229
   _utils.py123596%44, 103, 134, 197, 201
   abi_call.py3522194%123, 129, 150, 220, 233–234, 317, 329, 411, 435, 468, 487–488, 507, 541, 586, 622, 696, 781–782, 799
   address.py73297%56, 115
   bool.py60198%42
   dynamic_array.py122993%109–110, 128, 152, 206, 221–222, 225–228
   dynamic_bytes.py68396%98–100
   emit.py53296%40–43
   string.py100793%54–55, 105, 126, 131–134
   struct.py82199%54
   tuple.py921287%51–53, 91–94, 97–98, 137–140, 145, 170
   ufixed.py74297%51, 110
   uint.py96298%101–106
src/puyapy/awst_build/eb/reference_types
   account.py82199%179
   application.py45198%39
   asset.py65198%47
src/puyapy/awst_build/eb/storage
   _common.py69396%106, 119–120
   _storage.py1082081%58, 66, 70, 74, 78, 82, 86, 90, 94, 104, 108, 112, 116, 122, 133, 139, 145, 157–159
   _value_proxy.py55493%42, 50, 54, 91
   box.py113199%174
   box_map.py164299%199, 265
   box_ref.py1111785%76–80, 89–93, 103, 111, 127, 135, 148, 153–162
   global_state.py127695%103–104, 113–114, 163–164
   local_state.py1371192%98–99, 103, 150, 154, 158, 168, 172, 196, 253, 277
src/puyapy/awst_build/eb/transaction
   base.py39295%22, 42
   group.py51198%47
   inner.py48296%90–91
   inner_params.py77594%63, 73, 77, 137, 139
   itxn_args.py60198%72
src/puyapy/lsp
   __main__.py16160%1–40
   analyse.py26719128%56–68, 74–181, 184–195, 199–214, 224–244, 247, 250–252, 263–279, 286–330, 347–371, 379, 383–384, 393–397, 402–409, 432–447, 459, 463, 465, 471, 480–485, 489
   log.py39390%1–79
   server.py1041040%1–165
src/puyapy/validation
   arc4_copy.py130298%35, 39
TOTAL29521204993% 

Tests Skipped Failures Errors Time
1194 3 💤 0 ❌ 0 🔥 11m 20s ⏱️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants