@@ -520,6 +520,14 @@ pSimpleExpr syn =
520520 <|> try (pList syn)
521521 <|> try (pAlt syn)
522522 <|> try (do lchar '('; e <- pExpr syn; lchar ')'; return e)
523+ <|> try (do lchar '('; fc <- pfc; o <- operator; e <- pExpr syn; lchar ')'
524+ return $ PLam (MN 0 "x") Placeholder
525+ (PApp fc (PRef fc (UN o)) [pexp (PRef fc (MN 0 "x")),
526+ pexp e]))
527+ <|> try (do lchar '('; fc <- pfc; e <- pSimpleExpr syn; o <- operator; lchar ')'
528+ return $ PLam (MN 0 "x") Placeholder
529+ (PApp fc (PRef fc (UN o)) [pexp e,
530+ pexp (PRef fc (MN 0 "x"))]))
523531 <|> try (do c <- pConstant; fc <- pfc
524532 return (modifyConst syn fc (PConstant c)))
525533 <|> do reserved "Set"; return PSet