Ignore believe_me in :search since its type is a lie!
commitd7f61649d8ca64df48a8a2ec06d838590ec1d736
authorbmsherman <bmsherman@users.noreply.github.com>
dateSat 28 Jun 2014, 15:07 (12 years ago)
parente1ba862
src/Idris/TypeSearch.hs+2−1
@@ -70,7 +70,8 @@ searchUsing pred istate ty = pred istate nty . concat . M.elems $
7070 special :: Name -> Bool
7171 special (NS n ns) = special n
7272 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"]
7475 special _ = False
7576
7677-- Our default search predicate.