Nathan McCarty
b28b91d5d2
Working idris2 error detection
...
Idris 2 doesn't have a failing exit code in this context when it fails
to compile an expr given at the command line, we need to check for an
error message in the output
2025-01-02 00:00:13 -05:00
Nathan McCarty
4b2c2eb4dd
Improve test running
...
Move test running to a method on the Test class and improve output
printing logic.
2024-12-31 19:08:42 -05:00
Nathan McCarty
09ac7506ee
Implement support for IO Bool tests
2024-12-31 18:12:35 -05:00
Nathan McCarty
f085e8e14b
Execute expressions properly
...
This way we can actually capture their execution status
2024-12-31 20:56:32 +00:00
Nathan McCarty
cab0cb5ce1
clean up error display
2024-12-31 20:35:04 +00:00
Nathan McCarty
49c118eef4
Refactor compiler interaction
2024-12-31 16:30:53 +00:00
Nathan McCarty