diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-31 19:15:26 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-31 19:15:26 +0200 |
| commit | afce89ead823b6e9eec4a0b115bbe57a89a8e912 (patch) | |
| tree | 2ce4af18e39062ede4142b3c3a2008aba0f26eac /source/Syntax/Concrete/Keywords.hs | |
| parent | ddff54964ec78dd3e2a688f4525b39e41b82b5f0 (diff) | |
Remove unused keyword
Diffstat (limited to 'source/Syntax/Concrete/Keywords.hs')
| -rw-r--r-- | source/Syntax/Concrete/Keywords.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/source/Syntax/Concrete/Keywords.hs b/source/Syntax/Concrete/Keywords.hs index b507e7e..e10a024 100644 --- a/source/Syntax/Concrete/Keywords.hs +++ b/source/Syntax/Concrete/Keywords.hs @@ -183,8 +183,6 @@ _the :: Prod r Text (Located Token) SourcePos _the = word "the" ? "the" _then :: Prod r Text (Located Token) SourcePos _then = word "then" ? "then" -_throughout :: Prod r Text (Located Token) SourcePos -_throughout = word "throughout" <* optional (word "this" <* word "section") <* optional _comma <|> (word "in" <* word "the" <* word "sequel") ? "throughout" _thus :: Prod r Text (Located Token) SourcePos _thus = word "thus" <|> word "then" <|> word "hence" <|> word "now" <|> word "finally" <|> word "therefore" ? "thus" _trivial :: Prod r Text (Located Token) SourcePos @@ -225,4 +223,4 @@ _to = command "to" ? "\\to" _mapsto :: Prod r Text (Located Token) SourcePos _mapsto = command "mapsto" ? "\\mapsto" _ampersand :: Prod r Text (Located Token) SourcePos -_ampersand = symbol "&" ? "&"
\ No newline at end of file +_ampersand = symbol "&" ? "&" |