Add getInaccessibleArgs.
commitd8ed044c943027f5e56c8104baf3c370d67f79f7
authorMatus Tejiscak <ziman@functor.sk>
dateFri 4 Jul 2014, 17:06 (12 years ago)
parent2e9c299
src/Idris/AbsSyntaxTree.hs+7
@@ -1731,3 +1731,10 @@ usedNamesIn vars ist tm = nub $ ni [] tm
17311731
17321732 niTacImp env (TacImp _ _ scr) = ni env scr
17331733 niTacImp _ _ = []
1734+
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
1740+ Nothing -> []