ohmjs / ohm-editor

An IDE for the Ohm language (JavaScript edition)
MIT License
96 stars 17 forks source link

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

Closed guitarvydas closed 2 years ago

guitarvydas commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

Just released Ohm v16.3.2 which fixes the issue:

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