Testing Refactor

[leeyi45]

TL; DR

• Remove the interpreter (alongside non-det)
• Remove the lazy variant
• Remove svml-machine.ts
• Remove remnants of the old type checker
• Make js-slang tests more robust and simpler

What's going on:

Because our testing utilities relied heavily on the interpreter, removing it means touching almost every single part of js-slang, hence the ridiculous number of lines changed. I've tried to simplify the testing utilities and refactor repetitive code where necessary without breaking anything I hope. For example, I noticed that the stepper's tests were being run as async tests when getEvaluationSteps is no longer asynchronous. Hopefully with these changes it will make such things easier to catch.

I've also configured tsconfig.prod.json to exclude src/utils/testing. Previously this code was being shipped with the rest of js-slang, but given that we only use it for unit testing I don't think it should be included when js-slang is being built.

Given that @martin-henz has indicated that other parts of js-slang are marked for removal, I decided to remove them here to avoid having to refactor the tests for those parts of js-slang.

Please refer to the TODO comments to see what issues need to be addressed before this PR can be merged.

Will resolve these issues:

• Remove src/interpreter/interpreter.ts #1476,
• Remove interpreter #1543
• Source §3 Non-Det: Always crashes #1617
• Remove src/interpreter/interpreter-non-det.ts (currently not working anyway) #1695
• Remove src/lazy #1696
• Remove src/vm/svml-machine.ts #1697

Some issues that need to be revisited:

• Source 3 Non-Det: Improve documentation for amb operator #701
• Source §3 Concurrent: Ellipses not supported #1616

[leeyi45]

Just bumping this so that we can try to get this stuff settled

[RichDom2185]

Just bumping this so that we can try to get this stuff settled

What's left of the PR?

[leeyi45]

This remains a draft because there are some critical questions that need to be answered:

1. Since svml-machine.ts is removed, we need to specify the behaviour for when runInContext is called with Variant.CONCURRENT. The variant has been left in since there are parts of the vm that still rely on it.
2. String representations of functions in the cse-machine always default to arrow functions. Is this desired behaviour? Because currently the native runner and the cse-machine have different behaviour.
3. I am wholly unqualified to update src/__tests__/environment.ts. So the snapshot is failing here but I haven't just gone ahead and changed it.
4. Stepper doesn't actually do type checking: 0 / "a"; doesn't cause it to throw errors. Does something need to be done about this?

One more thing: I have no idea what inspect() or any of those related things do, so I haven't been able to remove things like the Scheduler

Ideally I'd like to remove things like manualToggleDebugger since it doesn't seem like we're using it anymore

[RichDom2185]

CC: Prof @martin-henz to answer the questions

[leeyi45]

I went back to check my 4th point cause it did seem a bit weird to me. I think what I was trying to say is that the stepper will happily evaluate up to the point of a runtime error and js-slang returns a non-errored result value (because the error itself is a step)