~jojo/Carth

ref: 2219ea535f4a0fd0afd9000ba5c6918c6b276210 Carth/test/SystemSpec.hs -rw-r--r-- 2.8 KiB
Add macro rules and ellipsis (...) macro operator
Make parser act on token trees instead of chars
Add skeleton module Optimize between Monomorphize & Compile
Test that good programs produce expected output

For the programs in test/tests/good/, compile and run the program,
capturing stdout. If the string of stdout matches the text in the
first comment of the file, the test passes.
Test that examples and benchmarks compile

So now, `stack test` will: test that programs in test/tests/bad/ don't
typecheck, and fail with the expected error variant; test that
programs in examples/ compile; and test that programs in test/bench/
compile.

Next: test that programs in test/tests/good/ run and produce the
expected output.
Extract tests from CheckSpec to individual files in test/tests/bad

SystemSpec now runs those and verifies the type errors match what's expected