@@ -1375,9 +1375,12 @@ findInstances :: IState -> Term -> [Name]
13751375findInstances ist t
13761376 | (P _ n _, _) <- unApply t
13771377 = case lookupCtxt n (idris_classes ist) of
1378− [CI _ _ _ _ _ ins _] -> ins
1378+ [CI _ _ _ _ _ ins _] -> filter accessible ins
13791379 _ -> []
13801380 | otherwise = []
1381+ where accessible n = case lookupDefAccExact n False (tt_ctxt ist) of
1382+ Just (_, Hidden) -> False
1383+ _ -> True
13811384
13821385-- Try again to solve auto implicits
13831386solveAuto :: IState -> Name -> Bool -> Name -> ElabD ()