From 47fca359f45457f2c9bc097c057dee3d51e9d6f2 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Mon, 6 Mar 2023 12:04:43 +0100 Subject: [PATCH] fix weird IsReserved issue --- lib/Quox/Lexer.idr | 1 + lib/Quox/Parser.idr | 6 ------ 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/lib/Quox/Lexer.idr b/lib/Quox/Lexer.idr index 22c1a4b..28dff6c 100644 --- a/lib/Quox/Lexer.idr +++ b/lib/Quox/Lexer.idr @@ -4,6 +4,7 @@ import Quox.CharExtra import Quox.Name import Data.String.Extra import Data.SortedMap +import public Data.String -- for singleton to reduce in IsReserved import public Data.List.Elem import public Text.Lexer import public Text.Lexer.Tokenizer diff --git a/lib/Quox/Parser.idr b/lib/Quox/Parser.idr index ae2f5ec..42a1f4d 100644 --- a/lib/Quox/Parser.idr +++ b/lib/Quox/Parser.idr @@ -7,12 +7,6 @@ import Data.Fin import Data.Vect import public Text.Parser - --- [fixme] without this import idris fails to solve the --- IsReserved arguments, which, ?????????????????????? -import Derive.Prelude -%hide TT.Name - %default total