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

Support for mll/mly files would be nice #50

Open
rgrinberg opened this issue Mar 2, 2013 · 5 comments
Open

Support for mll/mly files would be nice #50

rgrinberg opened this issue Mar 2, 2013 · 5 comments

Comments

@rgrinberg
Copy link
Contributor

I'm not sure if this is out of the scope of ocp-indent but it would be really nice to have this working.

@AltGr
Copy link
Member

AltGr commented Mar 7, 2013

mll are usable for now, with a few glitches, using --syntax mll
mly syntax is quite different, it may be done in the future but is not in our priorities

@kit-ty-kate
Copy link
Contributor

Any news on this ?

@pmetzger
Copy link

Another vote for having some sort of support for Menhir files.

@mattiasdrp
Copy link

Adding my voice hoping this problem will be addressed in a near future.

@lebotlan
Copy link

lebotlan commented May 25, 2018

metoo

(i.e. support for menhir files would be nice)

sim642 added a commit to goblint/analyzer that referenced this issue Jan 20, 2022
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

6 participants