@@ -1732,7 +1732,7 @@ 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.
1735+-- Return the list of inaccessible (= dotted) positions for a name.
1736getErasureInfo :: IState -> Name -> [Int]
1736getErasureInfo :: IState -> Name -> [Int]
1737getErasureInfo ist n =
1737getErasureInfo ist n =
1738 case lookupCtxtExact n (idris_optimisation ist) of
1738 case lookupCtxtExact n (idris_optimisation ist) of