mirror of
https://github.com/ralsina/tartrazine.git
synced 2024-11-10 13:32:24 +00:00
34 lines
812 B
Plaintext
34 lines
812 B
Plaintext
|
---input---
|
||
|
def ::(xs: List[T]): List[T] = ::(x, xs)
|
||
|
|
||
|
---tokens---
|
||
|
'def' Keyword
|
||
|
' ' Text.Whitespace
|
||
|
'::' Name.Function
|
||
|
'(' Punctuation
|
||
|
'xs' Name
|
||
|
':' Punctuation
|
||
|
' ' Text.Whitespace
|
||
|
'List' Name.Class
|
||
|
'[' Punctuation
|
||
|
'T' Name.Class
|
||
|
']' Punctuation
|
||
|
')' Punctuation
|
||
|
':' Punctuation
|
||
|
' ' Text.Whitespace
|
||
|
'List' Name.Class
|
||
|
'[' Punctuation
|
||
|
'T' Name.Class
|
||
|
']' Punctuation
|
||
|
' ' Text.Whitespace
|
||
|
'=' Operator
|
||
|
' ' Text.Whitespace
|
||
|
'::' Name
|
||
|
'(' Punctuation
|
||
|
'x' Name
|
||
|
',' Punctuation
|
||
|
' ' Text.Whitespace
|
||
|
'xs' Name
|
||
|
')' Punctuation
|
||
|
'\n' Text.Whitespace
|