@@ -95,6 +95,7 @@ mkDecls :: Term -> [Name] -> Idris [(Name, LDecl)]
95mkDecls t used
95mkDecls t used
96 = do i <- getIState
96 = do i <- getIState
97 let ds = filter (\ (n, d) -> n `elem` used || isCon d) $ ctxtAlist (tt_ctxt i)
97 let ds = filter (\ (n, d) -> n `elem` used || isCon d) $ ctxtAlist (tt_ctxt i)
98+ mapM traceUnused used
98 decls <- mapM build ds
99 decls <- mapM build ds
99 return decls
100 return decls
@@ -120,7 +121,6 @@ class ToIR a where
120build :: (Name, Def) -> Idris (Name, LDecl)
121build :: (Name, Def) -> Idris (Name, LDecl)
121build (n, d)
122build (n, d)
122 = do i <- getIState
123 = do i <- getIState
124 case lookup n (idris_scprims i) of
124 case lookup n (idris_scprims i) of
125 Just (ar, op) ->
125 Just (ar, op) ->
126 let args = map (\x -> MN x "op") [0..] in
126 let args = map (\x -> MN x "op") [0..] in