071b834 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Move parsing of comprehensions

071b834Edwin Brady14 years ago

src/Idris/Parser.hs+1−1

@@ -613,7 +613,6 @@ pNoExtExpr syn =

613 <|> pRewriteTerm syn

614 <|> pPi syn

615 <|> pDoBlock syn

616− <|> pComprehension syn

617

616

618pExtensions :: SyntaxInfo -> [Syntax] -> IParser PTerm

617pExtensions :: SyntaxInfo -> [Syntax] -> IParser PTerm

619pExtensions syn rules = choice (map (try . pExt syn) (filter valid rules))

618pExtensions syn rules = choice (map (try . pExt syn) (filter valid rules))

@@ -763,6 +762,7 @@ pSimpleExpr syn =

763 fc <- pfc

762 fc <- pfc

764 return (PInferRef fc x))

763 return (PInferRef fc x))

765 <|> try (pList syn)

764 <|> try (pList syn)

765+ <|> try (pComprehension syn)

766 <|> try (pAlt syn)

767 <|> try (pIdiom syn)

768 <|> try (do lchar '('