edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-08-17 11:50:29 +03:00
Code Issues Projects Releases Wiki Activity

Remove extra Show TokenData definition

Browse Source
This commit is contained in:
Edwin Brady 2020-05-16 19:03:30 +01:00
parent c7f893f6aa
commit f0a87e88c2
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Parser/Lexer.idr
View File

@ -48,10 +48,6 @@ Show Token where
dotSep [x] = x
dotSep (x :: xs) = x ++ concat ["." ++ y | y <- xs]
export
Show (TokenData Token) where
show t = show (line t, col t, tok t)
||| In `comment` we are careful not to parse closing delimiters as
||| valid comments. i.e. you may not write many dashes followed by
||| a closing brace and call it a valid comment.