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

Ohm-Editor vs '...' syntax #72

Closed
guitarvydas opened this issue Mar 21, 2022 · 2 comments · Fixed by ohmjs/ohm#370
Closed

Ohm-Editor vs '...' syntax #72

guitarvydas opened this issue Mar 21, 2022 · 2 comments · Fixed by ohmjs/ohm#370

Comments

@guitarvydas
Copy link

AFAICT the '...' syntax is not working in https://ohmjs.org/editor/ (on Safari and Chrome).

("not working" means - no error messages, no parse, parse tree grayed out (hanging?))

test grammar:
basic {
Main = Token
Token = "a"
}

child1 <: basic {
Child1Token = "a"
Token += Child1Token
}

child2a <: basic {
Child2aToken = "a"
Token := ... | Child2aToken
}

child2b <: basic {
Child2bToken = "a"
Token := Child2bToken | ...
}

test text:
a

the above seems to work from the command line
(refreshing the web page does not seem to change the behaviour of the editor, though)

@pdubroy pdubroy transferred this issue from ohmjs/ohm Mar 22, 2022
@pdubroy
Copy link
Contributor

pdubroy commented Mar 22, 2022

Thanks for the report! Looking in the console, I see the following error

CleanShot 2022-03-22 at 11 46 19@2x

Will investigate further when I have some time.

@pdubroy
Copy link
Contributor

pdubroy commented Mar 23, 2022

Just released Ohm v16.3.2 which fixes the issue:

CleanShot 2022-03-23 at 12 13 13@2x

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

Successfully merging a pull request may close this issue.

2 participants