summaryrefslogtreecommitdiffstats
path: root/tests/snippets/idris/test_compiler_directive.txt
diff options
context:
space:
mode:
Diffstat (limited to 'tests/snippets/idris/test_compiler_directive.txt')
-rw-r--r--tests/snippets/idris/test_compiler_directive.txt20
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/snippets/idris/test_compiler_directive.txt b/tests/snippets/idris/test_compiler_directive.txt
new file mode 100644
index 0000000..68e18cb
--- /dev/null
+++ b/tests/snippets/idris/test_compiler_directive.txt
@@ -0,0 +1,20 @@
+---input---
+%link C "object.o"
+%name Vect xs
+
+---tokens---
+'%link' Keyword.Reserved
+' ' Text.Whitespace
+'C' Keyword.Type
+' ' Text.Whitespace
+'"' Literal.String
+'object.o' Literal.String
+'"' Literal.String
+'\n' Text.Whitespace
+
+'%name' Keyword.Reserved
+' ' Text.Whitespace
+'Vect' Keyword.Type
+' ' Text.Whitespace
+'xs' Text
+'\n' Text.Whitespace