@@ -95,6 +95,7 @@ mkDecls :: Term -> [Name] -> Idris [(Name, LDecl)]
9595mkDecls t used
9696 = do i <- getIState
9797 let ds = filter (\ (n, d) -> n `elem` used || isCon d) $ ctxtAlist (tt_ctxt i)
98+ mapM traceUnused used
9899 decls <- mapM build ds
99100 return decls
100101
@@ -120,7 +121,6 @@ class ToIR a where
120121build :: (Name, Def) -> Idris (Name, LDecl)
121122build (n, d)
122123 = do i <- getIState
123− traceUnused n
124124 case lookup n (idris_scprims i) of
125125 Just (ar, op) ->
126126 let args = map (\x -> MN x "op") [0..] in