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

Switch from 'fast' string functions to normal string functions #3111

Merged
merged 1 commit into from
Oct 23, 2023

Conversation

rvs314
Copy link
Contributor

@rvs314 rvs314 commented Oct 19, 2023

Description

This switches the string functions used in the Lexer and Parser libraries from their fast variants to the normal variants. This allows them to be used at compile-time, but doesn't introduce performance regression, as they're translated to their faster versions at compile-time anyways. This should fix #791

Should this change go in the CHANGELOG?

I don't think so

@buzden
Copy link
Contributor

buzden commented Oct 19, 2023

Maybe a compile-time parsing test would be a good addition to this change

@gallais gallais merged commit 4097e6c into idris-lang:main Oct 23, 2023
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

JSON parser not working in repl
3 participants