@@ -787,7 +787,8 @@ bracketed syn =
787787 pexp (PRef fc (MN 1000 "ARG"))]))
788788
789789pCaseOpt :: SyntaxInfo -> IParser (PTerm, PTerm)
790−pCaseOpt syn = do lhs <- pExpr syn; symbol "=>"; rhs <- pExpr syn
790+pCaseOpt syn = do lhs <- pExpr (syn { inPattern = True })
791+ symbol "=>"; rhs <- pExpr syn
791792 return (lhs, rhs)
792793
793794modifyConst :: SyntaxInfo -> FC -> PTerm -> PTerm