33 lines
789 B
Text
33 lines
789 B
Text
---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
|