Ergonomics improvements - #1

Merged

windtf merged 8 commits into

mainfrom

ergonomics-improvements

Jun 30, 2026

Commits on May 31, 2026

Experiments with embedding counterexamples in TemplateHaskell instead of crashing the compiler and dumping them in the log
windtf
committed
ca4793c
Check for ANN tags at compile time
windtf
committed
838a1d4
Make pantomine return list of argument and counterexample expressions instead
windtf
committed
f816b7f
Generate counterexample expressions
windtf
committed
2c08eea
More informative errors
windtf
committed
5402556
Get rid of warnings
windtf
committed
e1fe436

Commits on Jun 1, 2026

Give up on reconstructing counterexample expression
windtf
committed
c802249

Commits on Jun 6, 2026

more detailed error
windtf
committed
bb61e49