tartrazine/tests/elpi/test_quotations.txt

34 lines
789 B
Plaintext

---input---
tc {{ Eq lp:A }} {{ f lp:B l } }} :- foo A B.
---tokens---
'tc' Text
' ' Text.Whitespace
'{{' Punctuation
' Eq ' Text
'lp:' Keyword
'A' Name.Variable
' ' Text
'}}' Punctuation
' ' Text.Whitespace
'{{' Punctuation
' f ' Text
'lp:' Keyword
'B' Name.Variable
' ' Text
'l' Text
' ' Text
'}' Text
' ' Text
'}}' Punctuation
' ' Text.Whitespace
':-' Keyword.Declaration
' ' Text.Whitespace
'foo' Text
' ' Text.Whitespace
'A' Name.Variable
' ' Text.Whitespace
'B' Name.Variable
'.' Operator
'\n' Text.Whitespace