@@ -1732,7 +1732,7 @@ usedNamesIn vars ist tm = nub $ ni [] tm
17321732 niTacImp env (TacImp _ _ scr) = ni env scr
17331733 niTacImp _ _ = []
17341734
1735−-- Return the list of unused positions for a name.
1735+-- Return the list of inaccessible (= dotted) positions for a name.
17361736getErasureInfo :: IState -> Name -> [Int]
17371737getErasureInfo ist n =
17381738 case lookupCtxtExact n (idris_optimisation ist) of