rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

fix weird IsReserved issue

Browse source
This commit is contained in:
rhiannon morris 2023-03-06 12:04:43 +01:00
parent 757ea89b0f
commit 47fca359f4
2 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lib/Quox/Lexer.idr
View file

@ -4,6 +4,7 @@ import Quox.CharExtra
import Quox.Name import Quox.Name
import Data.String.Extra import Data.String.Extra
import Data.SortedMap import Data.SortedMap
import public Data.String -- for singleton to reduce in IsReserved
import public Data.List.Elem import public Data.List.Elem
import public Text.Lexer import public Text.Lexer
import public Text.Lexer.Tokenizer import public Text.Lexer.Tokenizer

6
lib/Quox/Parser.idr
View file

@ -7,12 +7,6 @@ import Data.Fin
import Data.Vect import Data.Vect
import public Text.Parser import public Text.Parser
-- [fixme] without this import idris fails to solve the
-- IsReserved arguments, which, ??????????????????????
import Derive.Prelude
%hide TT.Name
%default total %default total