hoogle_plus
hoogle_plus copied to clipboard
TyGuS
When adding an example, indicate whether existing search results pass it
Seems like there's a bug still:
a -> [Maybe a] -> a;
Click search; stop after two results
add example: 0 -> [Nothing, Just 1] -> 1
Search again, previous results disappeared.
Ah, looks like it's the space in Nothing, Just 1 that destroys the existing results. The examples that come from the server don't have a space. I've got a to do some light parsing of lists.
So I don't parse the examples yet; but in my experience the round trip to the server has been pretty good, so an example that gets removed comes back pretty quickly.
If it's still no good, then I can do the parsing.