git.iko.soy/Idris-dev
on master help sign in
Make do blocks require an expression
e6bbd1fDavid Raymond Christiansen
src/Idris/ParseExpr.hs+1−1
compare with master
unifiedsplit
@@ -1021,7 +1021,7 @@ DoBlock ::=
1021doBlock :: SyntaxInfo -> IdrisParser PTerm
1021doBlock :: SyntaxInfo -> IdrisParser PTerm
1022doBlock syn
1022doBlock syn
1023 = do reserved "do"
1023 = do reserved "do"
1024− ds <- indentedBlock (do_ syn)
1024+ ds <- indentedBlock1 (do_ syn)
1025 return (PDoBlock ds)
1025 return (PDoBlock ds)
1026 <?> "do block"
1026 <?> "do block"
1027
1027