From f5b75edd91389f0a45045b707abfa36c746e8d54 Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Thu, 30 Jan 2025 16:57:47 +0000 Subject: Modify definition of data types. --- src/Inky.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Inky.idr') 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) -- cgit v1.2.3