From f0a87e88c2800d51f4d45b628510b34d1aee816b Mon Sep 17 00:00:00 2001
From: Edwin Brady <ecb10@st-andrews.ac.uk>
Date: Sat, 16 May 2020 19:03:30 +0100
Subject: [PATCH] Remove extra Show TokenData definition

---
 src/Parser/Lexer.idr | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/Parser/Lexer.idr b/src/Parser/Lexer.idr
index d367ad8..f2aa29d 100644
--- a/src/Parser/Lexer.idr
+++ b/src/Parser/Lexer.idr
@@ -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.