VegOwOtenks/wwffwfwf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Operator table cleanup, type signatures (no warnings!)

Browse source
This commit is contained in:
VegOwOtenks 2024-10-18 18:10:54 +02:00
parent 091d131e69
commit 903ae349b2
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/Lib.hs
View file

@ -50,6 +50,11 @@ def = emptyDef{ commentStart = ""
, reservedNames = ["true", "false"] , reservedNames = ["true", "false"]
} }
m_parens :: ParsecT String u Identity a -> ParsecT String u Identity a
m_identifier :: ParsecT String u Identity String
m_reservedOp :: String -> ParsecT String u Identity ()
m_reserved :: String -> ParsecT String u Identity ()
m_whiteSpace :: ParsecT String u Identity ()
TokenParser{ parens = m_parens TokenParser{ parens = m_parens
, identifier = m_identifier , identifier = m_identifier
, reservedOp = m_reservedOp , reservedOp = m_reservedOp
@ -74,10 +79,8 @@ table = [
Infix (m_reservedOp "->" >> return (Binary LogicalImplication)) AssocLeft Infix (m_reservedOp "->" >> return (Binary LogicalImplication)) AssocLeft
], ],
[ [
Infix (m_reservedOp "=" >> return (Binary LogicalEquality)) AssocLeft,
Infix (m_reservedOp "<-->" >> return (Binary LogicalEquality)) AssocLeft Infix (m_reservedOp "<-->" >> return (Binary LogicalEquality)) AssocLeft
],
[
Infix (m_reservedOp "=" >> return (Binary LogicalEquality)) AssocLeft
] ]
] ]