Better name-chasing in Compiler
commitcfc12ba1df0fcc86fa021a5d4dceb86d14de7e3a
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateThu 26 Jan 2012, 16:15 (15 years ago)
parent66bcd8c
src/Idris/Compiler.hs+3−2
@@ -24,8 +24,9 @@ primDefs = [UN "mkForeign", UN "FalseElim"]
2424compile :: FilePath -> Term -> Idris ()
2525compile f tm
2626 = do checkMVs
27− used <- allNames [] (NS (UN "main") ["main"])
28− ds <- mkDecls tm ((UN "run__IO") : (UN "io_return") : used)
27+ let tmnames = namesUsed (STerm tm)
28+ used <- mapM (allNames []) tmnames
29+ ds <- mkDecls tm (concat used)
2930 objs <- getObjectFiles
3031 libs <- getLibs
3132 hdrs <- getHdrs