When adding an example, indicate whether existing search results pass it

[peleghila]

No description provided.

[michaelbjames]

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.

[michaelbjames]

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.

[michaelbjames]

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.