From 49540a1e1531fb28f10f9ad5ac307f3e3efd40f2 Mon Sep 17 00:00:00 2001
From: Iavor Diatchki <iavor.diatchki@gmail.com>
Date: Wed, 26 Oct 2022 12:07:05 -0700
Subject: [PATCH] Remove unused or repeated cases

---
 src/Cryptol/Parser/Lexer.x  | 2 --
 src/Cryptol/Parser/Token.hs | 1 -
 2 files changed, 3 deletions(-)

diff --git a/src/Cryptol/Parser/Lexer.x b/src/Cryptol/Parser/Lexer.x
index 7b82be8b..737c7f81 100644
--- a/src/Cryptol/Parser/Lexer.x
+++ b/src/Cryptol/Parser/Lexer.x
@@ -98,7 +98,6 @@ $white+                   { emit $ White Space }
 
 -- Please update the docs, if you add new entries.
 "else"                    { emit $ KW KW_else }
-"extern"                  { emit $ KW KW_extern }
 "if"                      { emit $ KW KW_if }
 "private"                 { emit $ KW KW_private }
 "include"                 { emit $ KW KW_include }
@@ -115,7 +114,6 @@ $white+                   { emit $ White Space }
 "import"                  { emit $ KW KW_import }
 "as"                      { emit $ KW KW_as }
 "hiding"                  { emit $ KW KW_hiding }
-"newtype"                 { emit $ KW KW_newtype }
 "down"                    { emit $ KW KW_down }
 "by"                      { emit $ KW KW_by }
 
diff --git a/src/Cryptol/Parser/Token.hs b/src/Cryptol/Parser/Token.hs
index 3722dcfc..e382acc8 100644
--- a/src/Cryptol/Parser/Token.hs
+++ b/src/Cryptol/Parser/Token.hs
@@ -21,7 +21,6 @@ data TokenW   = BlockComment | LineComment | Space | DocStr
                 deriving (Eq, Show, Generic, NFData)
 
 data TokenKW  = KW_else
-              | KW_extern
               | KW_fin
               | KW_if
               | KW_private