diff options
Diffstat (limited to 'src/Inky.idr')
| -rw-r--r-- | src/Inky.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Inky.idr b/src/Inky.idr index 3f6b755..7fa9cad 100644 --- a/src/Inky.idr +++ b/src/Inky.idr @@ -76,7 +76,7 @@ readFileOrStdin (Just path) = withFile path Read throw readFile lexInkyString : HasErr (WithBounds String) es => String -> App es (List (WithBounds InkyToken)) lexInkyString file = do let (tokens, _, _, "") = lex tokenMap file - | (_, line, col, rest) => + | (_, line, col, rest) => throw (MkBounded "unexpected character" False (MkBounds line col line col)) pure (filter (\x => relevant x.val.kind) tokens) |