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
a0ba82ab38
Add example
2025-01-01 02:57:02 -05:00
Nathan McCarty
c8acc534a9
Properly support multi-word test names
2024-12-31 20:55:29 -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
c089685a2a
Update envrc
2024-12-31 17:28:21 -05:00
Nathan McCarty
dcdaa374d7
Fix META6
2024-12-31 16:19:02 -05:00
Nathan McCarty
5080b94b32
Fix final failed test count output being in the wrong place
2024-12-31 16:06:25 -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
6971949a53
Fix improper handling of expression name
2024-12-31 20:43:41 +00:00
Nathan McCarty
cab0cb5ce1
clean up error display
2024-12-31 20:35:04 +00:00
Nathan McCarty
c5ff918640
Failure reporting
2024-12-31 20:00:20 +00:00
Nathan McCarty
013f8500df
Slightly colorized output
2024-12-31 19:32:50 +00:00
Nathan McCarty
9bd0cc323f
Somewhat working test running
2024-12-31 19:13:24 +00:00
Nathan McCarty
49c118eef4
Refactor compiler interaction
2024-12-31 16:30:53 +00:00
Nathan McCarty
1bfe73f77a
Rename regex module
2024-12-31 16:28:24 +00:00
Nathan McCarty
9e9903429e
Scanning checkpoint
2024-12-31 16:25:05 +00:00
Nathan McCarty
a4e4c4a314
Minor tweaks
2024-12-31 16:04:33 +00:00
Nathan McCarty
0a0596b143
Project enumeration
2024-12-31 15:49:13 +00:00
Nathan McCarty
197dd79b34
Early functioning comment detection
2024-12-31 02:36:15 +00:00
Nathan McCarty
ef58bb4810
Some utility methods
2024-12-30 14:38:52 +00:00
Nathan McCarty
525b9c68cd
Handle idris errors
2024-12-30 14:14:19 +00:00
Nathan McCarty
2784a7d80a
Docs
2024-12-30 14:10:05 +00:00
Nathan McCarty
ae73c9050d
Fix string handling messup
2024-12-30 13:52:31 +00:00
Nathan McCarty
f6c40813d2
Minor refactoring
2024-12-30 13:44:20 +00:00
Nathan McCarty
72393480e3
Basic IDE mode interface
2024-12-30 13:32:52 +00:00
Nathan McCarty
c34c38fc03
Initial commit
2024-12-30 11:08:48 +00:00
Nathan McCarty