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.

Sign up for GitHub

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

Jump to bottom

Optimization of lang.Parser using | instead of ||| #92

Closed
jhnaldo opened this issue Sep 14, 2022 · 0 comments
Closed

Optimization of lang.Parser using | instead of ||| #92

jhnaldo opened this issue Sep 14, 2022 · 0 comments
Assignees
@antony-jeong
Labels
area:lang Related to metalanguage area:spec Related to specifications enhancement Enhance the quality of a feature

Comments

@jhnaldo
Copy link
Contributor

jhnaldo commented Sep 14, 2022

Scala parser combinator provides both the ordered match composition (|) and the longest match composition (|||). However, the former one (|) has better performance than the latter one (|||). Therefore, we need to replace the ||| operator with the | operator as much as possible in the lang.Parser to increase the speed of mechanized specification extraction while preserving the correctness of the parsing process.
@jhnaldo jhnaldo added enhancement Enhance the quality of a feature area:spec Related to specifications area:lang Related to metalanguage labels Sep 14, 2022
@jhnaldo jhnaldo mentioned this issue Dec 12, 2022
Merged
jhnaldo added a commit that referenced this issue Dec 12, 2022
@jhnaldo @antony-jeong
Optimize metalanguage parser (#92) (#124)
978c396 
* Replace some longest match composition with ordered match composition in lang.Parser

* Fixed wrong order for PI literal

* Optimized metalanguage expression parser

Co-authored-by: antony-jeong <[email protected]>
@jhnaldo jhnaldo closed this as completed Dec 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@antony-jeong antony-jeong

Labels
area:lang Related to metalanguage area:spec Related to specifications enhancement Enhance the quality of a feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jhnaldo @antony-jeong