source-academy / py-slang / 29887602191

86%

Build Type

push

github

Committed by web-flow

Commit Message

Native Pynter: feature parity with py-slang (best effort) + testing + complex numbers (#260)

* Native Pynter: complex numbers, opcode allow-list, rest parameters, and real result-capture

This branch supersedes the earlier version of this PR: it's rebuilt on top
of a much more complete native-Pynter opcode allow-list, adds full
complex-number support end-to-end, and fixes several real bugs found while
verifying everything against the actual native binary (not just compiling).

Opcode allow-list (PYNTER_ADDITIONAL_SUPPORTED_OPCODES, opcodes.ts):
- NEWITER/FOR_ITER (for-loops), FLOORDIVG/FLOORDIVF (//), POWG (**), and
  LGCC (complex literals) are now allow-listed past PYNTER_OPCODE_MAX --
  the compiler already emitted all of these unconditionally; the assembler
  was the only thing gating them out.
- Fixed range()'s primitive index (builtins.ts): it was 30, which collides
  with native's own list_to_string slot -- range() actually lives at
  native's dedicated slot 131. This is why for-loops still faulted even
  after allow-listing NEWITER/FOR_ITER.
- Fixed the NEWA opcode to carry the list literal's element count as an
  operand (native's op_new_a pre-sizes the array up front instead of
  growing it) -- the old nullary encoding corrupted stack balance for
  every list literal once native's own STAG became a strict, non-growing
  bounds check (issue #294/#299).

Complex numbers (opcodes.ts, pvml-compiler.ts, pvml-assembler.ts):
- LGCC now serializes for native Pynter targets: two inline float32s
  (real, imag), matching native's own op_lgc_c wire format, instead of
  throwing "complex numbers are not supported when compiling for native
  Pynter".

Rest parameters (`def f(*args): ...`) for native Pynter:
- Removed PVMLCompiler's blanket "*args not supported for native Pynter"
  rejection.
- pvm_function_t's former padding byte is now has_rest_param, serialized
  by pvml-assembler.ts and read by native's op_call/op_call_t (see the
  matching pynter-sid... (continued)

Coverage Stats

4378 of 5463 branches covered (80.14%)

Branch coverage included in aggregate %.

45 of 82 new or added lines in 9 files covered. (54.88%)

1 existing line in 1 file now uncovered.

9427 of 10556 relevant lines covered (89.3%)

178758.11 hits per line