8d83d07 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Type declarations of the form (x,y,z : A) -> B

8d83d07Edwin Brady15 years ago

src/Idris/Parser.hs+5−2

@@ -520,8 +520,11 @@ pConstList syn = try (do lchar '('

520 return [t])

521 <|> return []

522

523−tyDeclList syn = sepBy1 (do x <- pfName; t <- pTSig syn; return (x,t))

523+tyDeclList syn = try (sepBy1 (do x <- pfName; t <- pTSig syn; return (x,t))

524+ (lchar ','))

524− (lchar ',')

525+ <|> do ns <- sepBy1 pName (lchar ',')

526+ t <- pTSig syn

527+ return (map (\x -> (x, t)) ns)

525

528

526tyOptDeclList syn = sepBy1 (do x <- pfName; t <- option Placeholder (pTSig syn)

529tyOptDeclList syn = sepBy1 (do x <- pfName; t <- option Placeholder (pTSig syn)

527 return (x,t))

530 return (x,t))