GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-22 21:50:54 +03:00
Code Issues Projects Releases Wiki Activity

Remove unused or repeated cases

Browse Source
This commit is contained in:
Iavor Diatchki 2022-10-26 12:07:05 -07:00
parent 31d30c1db7
commit 49540a1e15
2 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Parser/Lexer.x
View File

@ -98,7 +98,6 @@ $white+ { emit $ White Space }
-- Please update the docs, if you add new entries. -- Please update the docs, if you add new entries.
"else" { emit $ KW KW_else } "else" { emit $ KW KW_else }
"extern" { emit $ KW KW_extern }
"if" { emit $ KW KW_if } "if" { emit $ KW KW_if }
"private" { emit $ KW KW_private } "private" { emit $ KW KW_private }
"include" { emit $ KW KW_include } "include" { emit $ KW KW_include }
@ -115,7 +114,6 @@ $white+ { emit $ White Space }
"import" { emit $ KW KW_import } "import" { emit $ KW KW_import }
"as" { emit $ KW KW_as } "as" { emit $ KW KW_as }
"hiding" { emit $ KW KW_hiding } "hiding" { emit $ KW KW_hiding }
"newtype" { emit $ KW KW_newtype }
"down" { emit $ KW KW_down } "down" { emit $ KW KW_down }
"by" { emit $ KW KW_by } "by" { emit $ KW KW_by }

1
src/Cryptol/Parser/Token.hs
View File

@ -21,7 +21,6 @@ data TokenW = BlockComment | LineComment | Space | DocStr
deriving (Eq, Show, Generic, NFData) deriving (Eq, Show, Generic, NFData)
data TokenKW = KW_else data TokenKW = KW_else
| KW_extern
| KW_fin | KW_fin
| KW_if | KW_if
| KW_private | KW_private