Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Full-text search #349

Open
srid opened this issue Oct 20, 2022 · 4 comments
Open

Full-text search #349

srid opened this issue Oct 20, 2022 · 4 comments

Comments

@srid
Copy link

srid commented Oct 20, 2022

For example, when I type Character literals may not be empty in the search box, I'd expect to see GHC-11861, but currently, it returns 0 results presumably because only the title is searched.

cf. https://stork-search.net/ | srid/emanote#327

@david-christiansen
Copy link
Contributor

I agree that this would be nice! Stork-search looks really great.

I'm a bit reluctant to add a build-time dependency on the whole Rust toolchain for this site, though. I think it's important to keep things low-tech and very easy to maintain, both to make contributions by new users easier and to help me be efficient with my time use. If the instructions include "download this whole other compiler and language" or "install nix" or "use guix", then I think the barriers become too high.

Do you have any thoughts on how to reduce the maintenance and build-time implications of something like that?

@srid
Copy link
Author

srid commented Oct 20, 2022

You are right. Doing something like this without Nix can be quite complex.

Alternatively, you could parse the Markdown using pandoc and extract just the GHC error message, storing them as JSON that is then used by the JavaScript code.

But if search engines can index this site well enough such that it appears when people search for the specific error message, we probably wouldn't even need this feature.

@david-christiansen
Copy link
Contributor

My hope is that Google and friends will do a good job indexing the site.

@david-christiansen
Copy link
Contributor

On further reflection, I think that a setup where there was full-text search only of the GHC message, and not the documentation and explanations as well, could be quite confusing and unexpected.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants