diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2025-01-30 16:57:47 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2025-03-13 13:20:29 +0000 |
| commit | f5b75edd91389f0a45045b707abfa36c746e8d54 (patch) | |
| tree | c675419958ad913d111ebda51c5863a752768577 /src/Inky.idr | |
| parent | 3f4e0844880a43ae113f75711bfcb60b9f22a4dd (diff) | |
Modify definition of data types.
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) |