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

fix Main

Browse source
This commit is contained in:
rhiannon morris 2023-08-26 21:07:10 +02:00
parent 22db2724ce
commit f3f74d581a
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
exe/Main.idr
View file

@ -35,7 +35,7 @@ main : IO ()
main = do main = do
seen <- newIORef SortedSet.empty seen <- newIORef SortedSet.empty
defs <- newIORef SortedMap.empty defs <- newIORef SortedMap.empty
suf <- newIORef $ the Nat 0 suf <- newIORef 0
for_ (drop 1 !getArgs) $ \file => do for_ (drop 1 !getArgs) $ \file => do
putStrLn "checking \{file}" putStrLn "checking \{file}"
Right res <- fromParserIO ["."] seen suf defs $ loadProcessFile noLoc file Right res <- fromParserIO ["."] seen suf defs $ loadProcessFile noLoc file

2
lib/Quox/Parser/FromParser.idr
View file

@ -5,7 +5,7 @@ import public Quox.Parser.FromParser.Error as Quox.Parser.FromParser
import Quox.Parser.Syntax import Quox.Parser.Syntax
import Quox.Parser.Parser import Quox.Parser.Parser
import Quox.Parser.LoadFile import public Quox.Parser.LoadFile
import Quox.Typechecker import Quox.Typechecker
import Data.List import Data.List