@@ -32,7 +32,6 @@ import Control.Monad.State
3232import Data.Maybe
3333import Data.List
3434import Data.IntSet (IntSet)
35−import qualified Data.IntMap as IM
3635import qualified Data.IntSet as IS
3736import qualified Data.Map as M
3837import qualified Data.Set as S
@@ -46,15 +45,11 @@ import Paths_idris
4645
4746compile :: Codegen -> FilePath -> Term -> Idris ()
4847compile codegen f tm
49− = do checkMVs
50− let tmnames = namesUsed (STerm tm)
51− usedIn <- mapM (allNames []) tmnames
52− let used = sUN "prim__subBigInt" : sUN "prim__addBigInt" : concat usedIn
53−
48+ = do checkMVs -- check for undefined metavariables
5449 -- TODO: DEBUG-ONLY, remove
5550 ctx <- tt_ctxt <$> getIState
5651 ci <- idris_classes <$> getIState
57− let depMap = buildDepMap ci ctx used
52+ let depMap = buildDepMap ci ctx (namesUsed $ STerm tm)
5853 let printItem (cond, deps) = show (S.toList cond) ++ " -> " ++ show (S.toList deps)
5954 -- iLOG $ "USAGE ANALYSIS:\n" ++ unlines (map printItem . M.toList $ depMap)
6055
@@ -71,7 +66,6 @@ compile codegen f tm
7166
7267 maindef <- irMain tm
7368 iLOG $ "MAIN: " ++ show maindef
74− iLOG $ "USED: " ++ show used
7569 objs <- getObjectFiles codegen
7670 libs <- getLibs codegen
7771 flags <- getFlags codegen