on master help sign in
Ignore believe_me in :search since its type is a lie!
d7f6164bmsherman
src/Idris/TypeSearch.hs+2−1
@@ -70,7 +70,8 @@ searchUsing pred istate ty = pred istate nty . concat . M.elems $
70 special :: Name -> Bool
70 special :: Name -> Bool
71 special (NS n ns) = special n
71 special (NS n ns) = special n
72 special (SN _) = True
72 special (SN _) = True
73− special (UN n) = T.pack "default#" `T.isPrefixOf` n
73+ special (UN n) = T.pack "default#" `T.isPrefixOf` n
74+ || n `elem` map T.pack ["believe_me", "really_believe_me"]
74 special _ = False
75 special _ = False
75
76
76-- Our default search predicate.
77-- Our default search predicate.