Idris-dev/test/reg023
David Raymond Christiansen 9eb64f4462 Rewrite error printing to use the pretty-printer
This allows semantic annotations for errors. Potential features include
clicking source locations to jump to them, and showing "specifically"
sections collapsed at first.
2014-01-28 13:57:11 +01:00
..
expected Rewrite error printing to use the pretty-printer 2014-01-28 13:57:11 +01:00
reg023.idr Propagate '%assert_total' to with blocks 2013-10-13 22:27:59 +01:00
run Reset test runscripts to mode 0755 2013-11-18 22:36:55 +00:00