@@ -66,8 +66,6 @@ inaccessibleImps _ _ _ = []
6666
6767-- | Get the list of (index, name) of inaccessible arguments from the type.
6868inaccessibleArgs :: Int -> PTerm -> [(Int, Name)]
69−inaccessibleArgs i (PPi (Imp _ _ _ _) n _ Placeholder t)
70− = (i,n) : inaccessibleArgs (i+1) t -- unbound implicit
7169inaccessibleArgs i (PPi plicity n _ ty t)
7270 | InaccessibleArg `elem` pargopts plicity
7371 = (i,n) : inaccessibleArgs (i+1) t -- an .{erased : Implicit}