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