ebc0f2f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix a typo in an error message.

commitebc0f2f003b898aafac79c596a51be035e75a2be authorMatus Tejiscak <ziman@functor.sk> dateSat 12 Oct 2013, 12:43 (13 years ago) parentb397692

1 file changed+1−1

unifiedsplit

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