diff --git a/libs/contrib/Text/Lexer/Core.idr b/libs/contrib/Text/Lexer/Core.idr index 835c7aabb..be91d372c 100644 --- a/libs/contrib/Text/Lexer/Core.idr +++ b/libs/contrib/Text/Lexer/Core.idr @@ -147,7 +147,7 @@ tokenise pred line col acc tmap str getCols : List Char -> Int -> Int getCols x c - = case span (/= '\n') (reverse x) of + = case span (/= '\n') x of (incol, []) => c + cast (length incol) (incol, _) => cast (length incol)