@@ -27,8 +27,12 @@ Tests:
2727025: memory effects
2828026: simple file-I/O-based type provider
2929027: class constraints in using block
30−028:
30+028: hello world with comment and block comment syntax in idr file
3131029: match_refine and apply by type
32+030: %reflection for functions running on syntax
33+031: error reflection
34+032: control idris via stdin
35+033: null pointer creation and check
3236
3337regxxx: various regression tests
3438reg020: working strlen