@@ -194,7 +194,7 @@ saveInaccArgs n is = do
195-- Get the list of (index, name) of inaccessible arguments from the type.
195-- Get the list of (index, name) of inaccessible arguments from the type.
196inaccessibleArgs :: Int -> PTerm -> [(Int, Name)]
196inaccessibleArgs :: Int -> PTerm -> [(Int, Name)]
197−inaccessibleArgs i (PPi (Imp _ _ _ _) n Placeholder t)
197+inaccessibleArgs i (PPi (Imp _ _ _) n Placeholder t)
198 = (i,n) : inaccessibleArgs (i+1) t -- unbound implicit
198 = (i,n) : inaccessibleArgs (i+1) t -- unbound implicit
199inaccessibleArgs i (PPi plicity n ty t)
199inaccessibleArgs i (PPi plicity n ty t)
200 | InaccessibleArg `elem` pargopts plicity
200 | InaccessibleArg `elem` pargopts plicity