From 93b0f9c7b8cdac9f186732df3561852bac4c03e0 Mon Sep 17 00:00:00 2001 From: Yupanqui Date: Wed, 2 Mar 2022 17:40:40 +0100 Subject: [PATCH] Fix for lexer colums --- libs/contrib/Text/Lexer/Core.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)