Interpret testing

[dcecile]

The final goal of the interpreter will to build up tests written in Pentagram. Then once those tests are passing and the compiler is self-compiling, the interpreter can be retired.

This could be a special mode written using watchdog. Pure custom, for better latency and to start experimenting with output format. (And to more easily gradually move the test framework into Pentagram code.)

Tasks

• Make asciinema of gen 2 JVM REPL
• Make asciinema of Outerline tests
• Update testing ideas
• Switch to pip-tools with hashes
• Set up internal-use CLI
  • Precommit
  • Freeze
  • Check
    • Style, lint, etc.
    • Frozen deps
• Set up Github Actions
• Convert typing usages to use PEP 585 and PEP 604
• Rename all "Tacit" references
• Automatically convert Python method names and parameters
• Update syntax and data structures to current thinking
  • Switch TBit to TInteger
  • Switch blob to arr
  • Switch /= to >>
  • Prevent arbitrary block starts
  • Use one shared expression stack
• Collect and run tests
• Trigger a crash on assertion failure
• Watch for changes
• Display advanced live test results
• Allow basic test execution/introspection control

[dcecile]

Dynamic PyTest example:

def test_a():
    print('test_a' in globals())
    assert False

def define():
    for n in 'bcdef':
        def x():
            assert 1 == 0
        x.__name__ = f'test_{n}'
        globals()[x.__name__] = x

define()

(Results probably not that much more readable than using parametrize with a path argument.)