infixOp to prefixOp

This commit is contained in:
Jeffrey Rosenbluth 2015-01-20 10:48:22 -05:00
parent 846a6c19f5
commit 19bb1520c7

View File

@ -43,17 +43,17 @@ semiSep = Tok.semiSep lexer
reservedOp :: String -> Parser () reservedOp :: String -> Parser ()
reservedOp = Tok.reservedOp lexer reservedOp = Tok.reservedOp lexer
infixOp :: String -> (a -> a) -> Ex.Operator String () Identity a prefixOp :: String -> (a -> a) -> Ex.Operator String () Identity a
infixOp s f = Ex.Prefix (reservedOp s >> return f) prefixOp s f = Ex.Prefix (reservedOp s >> return f)
-- Infix operators -- Infix operators
table :: Ex.OperatorTable String () Identity Expr table :: Ex.OperatorTable String () Identity Expr
table = [ table = [
[ [
infixOp "succ" Succ prefixOp "succ" Succ
, infixOp "pred" Pred , prefixOp "pred" Pred
, infixOp "iszero" IsZero , prefixOp "iszero" IsZero
] ]
] ]