@@ -520,6 +520,14 @@ pSimpleExpr syn =
520 <|> try (pList syn)
520 <|> try (pList syn)
521 <|> try (pAlt syn)
521 <|> try (pAlt syn)
522 <|> try (do lchar '('; e <- pExpr syn; lchar ')'; return e)
522 <|> 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")),
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"))]))
523 <|> try (do c <- pConstant; fc <- pfc
531 <|> try (do c <- pConstant; fc <- pfc
524 return (modifyConst syn fc (PConstant c)))
532 return (modifyConst syn fc (PConstant c)))
525 <|> do reserved "Set"; return PSet
533 <|> do reserved "Set"; return PSet