@@ -613,7 +613,6 @@ pNoExtExpr syn =
613613 <|> pRewriteTerm syn
614614 <|> pPi syn
615615 <|> pDoBlock syn
616− <|> pComprehension syn
617616
618617pExtensions :: SyntaxInfo -> [Syntax] -> IParser PTerm
619618pExtensions syn rules = choice (map (try . pExt syn) (filter valid rules))
@@ -763,6 +762,7 @@ pSimpleExpr syn =
763762 fc <- pfc
764763 return (PInferRef fc x))
765764 <|> try (pList syn)
765+ <|> try (pComprehension syn)
766766 <|> try (pAlt syn)
767767 <|> try (pIdiom syn)
768768 <|> try (do lchar '('