status of: "type search doesn't work" ?

[jwaldmann]

The landing page https://hoogle.haskell.org/ says "Warning: Alpha version, type search doesn't work!"

Indeed, e.g., Bool -> Bool gives different results (&& and id are missing) (https://hoogle.haskell.org/?hoogle=Bool+-%3E+Bool vs https://www.haskell.org/hoogle/?hoogle=Bool+-%3E+Bool )

So I will recommend the "earlier hoogle" (which knows about partially applied functions, and instantiating type parameters) to my students.

What is the status - what needs to be done to move these features to hoogle5? How hard would it be (does it require extra research or design, or ist "just coding")? Or is there a reason for not wanting it?

[ndmitchell]

It's just coding I think, going through the tracker, fixing a few things.

Note that by design Hoogle 5 won't give you id or && for Bool -> Bool - since if you want a function of type Bool -> Bool then its unlikely that the two you give are what you are after.

[soupi]

I'm interested in helping pushing this forward. How can I help?