Merge pull request #222 from michaelt/master
Missing case in Idris.Parser
commit169fea1751fb78b2e2f9ec915642fc3fbc8ea3ce
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 12 Mar 2013, 01:09 (14 years ago)
parent6ec9d650b58ae0
src/Idris/Parser.hs+1
@@ -213,6 +213,7 @@ openBlock = do lchar '{'
213213closeBlock :: IParser ()
214214closeBlock = do ist <- getState
215215 bs <- case brace_stack ist of
216+ [] -> eof >> return []
216217 Nothing : xs -> (lchar '}' >> return xs) <|> (eof >> return [])
217218 Just lvl : xs -> (do i <- indent
218219 inp <- getInput