Idris2-boot/tests/idris2/perror006
Edwin Brady 5c86552e56 Parse primitive types as identifiers
This way we can use them as parts of namespaces - they don't need to be
reserved keywords, just reserved names. Fixes #111
2020-02-22 18:36:46 +00:00
..
expected Parse primitive types as identifiers 2020-02-22 18:36:46 +00:00
PError.idr Add parse error tests from Blodwen 2019-06-29 21:37:30 +01:00
run Deal with non-existent files more gracefully 2019-07-07 13:10:14 +01:00