[Haskell-cafe] Hoogle totally broken?

[Brent Yorgey]

On Sat, Jun 14, 2008 at 9:10 AM, Richard <mycatownz at foxbox.lurkingfox.co.uk>
wrote:

> It'd seem that (at least the online version of) Hoogle is totally broken
> and useless. See, for example, the output when looking for:
>        Monad m => m a -> (a -> m b) -> m b (i.e. (>>=)'s type)
> over at:
> http://haskell.org/hoogle/?q=Monad+m+%3D>+m+a+->+(a+->+m+b)+->+m+b
>
> Data.Generics.Sche...   everywhere      :: (a -> a) -> a -> a
> Data.Generics.Sche...   everywhere'     :: (a -> a) -> a -> a
> Prelude.        ($)     :: (a -> b) -> a -> b
> Prelude.        ($!)    :: (a -> b) -> a -> b
> Data.Function.  ($)     :: (a -> b) -> a -> b
> Prelude.        maybe   :: b -> (a -> b) -> Maybe a -> b
> Data.Maybe.     maybe   :: b -> (a -> b) -> Maybe a -> b
>
> ... and so on. (>>=) isn't there at all!?
>

It's well-known that the current version of Hoogle doesn't deal well with
type constructors, like the 'm' in your type above.  However, you're (we're
all) in luck, since Neil Mitchell is working on a new version of Hoogle for
GSoC as we speak! =)

-Brent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080614/51d2faf7/attachment.htm