Merge pull request #529 from ziman/master
Fix a typo in an error message.
commite7d962d31b87c8dbfc087a316b3abe17b0d1ac7b
authorEdwin Brady <edwin.brady@gmail.com>
dateSun 13 Oct 2013, 10:36 (13 years ago)
parent9497822ebc0f2f
src/Idris/ParseHelpers.hs+1−1
@@ -371,7 +371,7 @@ terminator = do lchar ';'; popIndent
371371 <|> do c <- indent; l <- lastIndent
372372 if c <= l then popIndent else fail "not a terminator"
373373 <|> do isParen <- lookAheadMatches (oneOf ")}")
374− if isParen then popIndent else fail "not a termiantor"
374+ if isParen then popIndent else fail "not a terminator"
375375 <|> lookAhead eof
376376
377377-- | Parses and keeps a terminator