X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=src%2Fparse.icl;h=af50de669050fc4f1a083517d9b85c231216eb8e;hb=96be5e0151b236a425025cf96e8dade73ee74fcf;hp=d64efcb97c7111b3854e014200a8dc5808b38c38;hpb=43d45105726b3ad3e5cc5165f8c9b066ec8d2790;p=cc1516.git diff --git a/src/parse.icl b/src/parse.icl index d64efcb..af50de6 100644 --- a/src/parse.icl +++ b/src/parse.icl @@ -151,8 +151,7 @@ parseVarDef = liftM2 VarDef (parseIdent >>= \i.if (i == "snd") (pure FieldSnd) empty)))) parseOp1 :: Parser Token Op1 -parseOp1 = trans1 DashToken UnMinus <|> - trans1 ExclamationToken UnNegation +parseOp1 = trans1 DashToken UnMinus <|> trans1 ExclamationToken UnNegation parseBBraces :: (Parser Token a) -> Parser Token a parseBBraces p = satTok BraceOpenToken *> p <* satTok BraceCloseToken @@ -169,7 +168,7 @@ parseTuple p = satTok BraceOpenToken *> <* satTok BraceCloseToken trans2 :: TokenValue (TokenValue -> a) -> Parser Token a -trans2 t f = satTok t >>= \(_, r).pure (f r) +trans2 t f = liftM (f o snd) $ satTok t trans1 :: TokenValue a -> Parser Token a trans1 t r = trans2 t $ const r