@@ -32,7 +32,6 @@ import Control.Monad.State
32import Data.Maybe
32import Data.Maybe
33import Data.List
33import Data.List
34import Data.IntSet (IntSet)
34import Data.IntSet (IntSet)
35−import qualified Data.IntMap as IM
36import qualified Data.IntSet as IS
35import qualified Data.IntSet as IS
37import qualified Data.Map as M
36import qualified Data.Map as M
38import qualified Data.Set as S
37import qualified Data.Set as S
@@ -46,15 +45,11 @@ import Paths_idris
47compile :: Codegen -> FilePath -> Term -> Idris ()
46compile :: Codegen -> FilePath -> Term -> Idris ()
48compile codegen f tm
47compile codegen f tm
49− = do checkMVs
48+ = do checkMVs -- check for undefined metavariables
50− let tmnames = namesUsed (STerm tm)
51− usedIn <- mapM (allNames []) tmnames
52− let used = sUN "prim__subBigInt" : sUN "prim__addBigInt" : concat usedIn
54 -- TODO: DEBUG-ONLY, remove
49 -- TODO: DEBUG-ONLY, remove
55 ctx <- tt_ctxt <$> getIState
50 ctx <- tt_ctxt <$> getIState
56 ci <- idris_classes <$> getIState
51 ci <- idris_classes <$> getIState
57− let depMap = buildDepMap ci ctx used
52+ let depMap = buildDepMap ci ctx (namesUsed $ STerm tm)
58 let printItem (cond, deps) = show (S.toList cond) ++ " -> " ++ show (S.toList deps)
53 let printItem (cond, deps) = show (S.toList cond) ++ " -> " ++ show (S.toList deps)
59 -- iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ depMap)
54 -- iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ depMap)
@@ -71,7 +66,6 @@ compile codegen f tm
72 maindef <- irMain tm
67 maindef <- irMain tm
73 iLOG $ "MAIN: " ++ show maindef
68 iLOG $ "MAIN: " ++ show maindef
74− iLOG $ "USED: " ++ show used
75 objs <- getObjectFiles codegen
69 objs <- getObjectFiles codegen
76 libs <- getLibs codegen
70 libs <- getLibs codegen
77 flags <- getFlags codegen
71 flags <- getFlags codegen