/tests/snippets/idris/

• ../
• test_compiler_directive.txt
• test_reserved_word.txt