search

ndmitchell / hoogle

Haskell API search engine
http://hoogle.haskell.org/
Other
738 stars 134 forks source link

5th version fails to find mapM(traverse) by type signature #218

Open qrilka opened 7 years ago

qrilka commented 7 years ago

I was a bit surprised that new hoogle fails to find correct function for (a -> m b) -> t a -> m (t b) while previous version works correctly. I checked results from https://www.haskell.org/hoogle/?hoogle=(a+-%3E+m+b)+-%3E+t+a+-%3E+m+(t+b) (having traverse and mapM as first matches) vs results from https://www.haskell.org/hoogle/?hoogle=(a+-%3E+m+b)+-%3E+t+a+-%3E+m+(t+b) (no traverse or mapM at all) Is it some expected behavior of 5th version maybe?

ndmitchell commented 7 years ago

It's because the type search isn't finished in the 5th version. Certainly a good example - I'll try this one on it once I've finished.