@@ -1731,3 +1731,10 @@ usedNamesIn vars ist tm = nub $ ni [] tm
1732 niTacImp env (TacImp _ _ scr) = ni env scr
1732 niTacImp env (TacImp _ _ scr) = ni env scr
1733 niTacImp _ _ = []
1733 niTacImp _ _ = []
1735+-- Return the list of unused positions for a name.
1736+getInaccessibleArgs :: IState -> Name -> [Int]
1737+getInaccessibleArgs ist n =
1738+ case lookupCtxtExact n (idris_optimisation ist) of
1739+ Just (Optimise inacc detagg) -> map fst inacc