ocaml parser

[franziskuskiefer]

I'd like to merge the ocaml parser to master if it's working. But I tried to use it and failed 😢
Or am I using it wrong @strub ?

./main.native < ../specs/poly1305.py
State 0:
Lookahead token is now IDENT (255-259)
Shifting (IDENT) to state 1
State 1:
Lookahead token is now IDENT (260-267)
Reducing production ident -> IDENT
State 8:
Initiating error handling
Fatal error: exception Parser.MenhirBasics.Error

[strub]

Hi,

You tried to early. The parser / type-checker is not meant to be merged at this time. I'll make a PR when it's okay.

[franziskuskiefer]

Ah, ok I thought it would be further along. I guess I have to wait then 🙂