This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/snippets/idris/test_compiler_directive.txt
2021-12-03 15:40:45 +01:00

20 lines
462 B
Text

---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