Merge pull request #1660 from david-christiansen/issue/1656
Make do blocks require an expression
commited0bfcabe8a4598971ce81dd55d1d543495d23fb
authorEdwin Brady <edwin.brady@gmail.com>
dateSat 18 Oct 2014, 22:34 (12 years ago)
parentab2a29fe6bbd1f
src/Idris/ParseExpr.hs+1−1
@@ -1021,7 +1021,7 @@ DoBlock ::=
10211021doBlock :: SyntaxInfo -> IdrisParser PTerm
10221022doBlock syn
10231023 = do reserved "do"
1024− ds <- indentedBlock (do_ syn)
1024+ ds <- indentedBlock1 (do_ syn)
10251025 return (PDoBlock ds)
10261026 <?> "do block"
10271027