1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
|
---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
|