Parsing error about coqgym HOT 4 CLOSED

It means lark fails to parse self.grammar

I have encountered this error before and it was because my lark version was incorrect. Please check if your lark version is exactly 0.6.5 as in

from coqgym.

It means lark fails to parse self.grammar

CoqGym/gallina.py

Line 27 in 8c15f0d

self.grammar = t.to_ebnf(recursive=True) + '''

.
I have encountered this error before and it was because my lark version was incorrect. Please check if your lark version is exactly 0.6.5 as in

CoqGym/coq_gym.yml

Line 10 in 8c15f0d

- lark-parser==0.6.5

Thanks!

How do you install things from that file? (sorry if my workflow is different, might be nice to include this in your readme since you also have non standard things e.g. you don't have a setup.py file or a project + packages hierarchy which is more common for python projects/repos e.g. like this https://packaging.python.org/tutorials/packaging-projects/ that's what I usually use but yours might be better!)

Usually, I have a install.sh I simply run (which would be what yours has except it would also have my pip and conda commands).

Thanks for the quick replies!

from coqgym.

It means lark fails to parse self.grammar

CoqGym/gallina.py

Line 27 in 8c15f0d

self.grammar = t.to_ebnf(recursive=True) + '''

.
I have encountered this error before and it was because my lark version was incorrect. Please check if your lark version is exactly 0.6.5 as in

CoqGym/coq_gym.yml

Line 10 in 8c15f0d

- lark-parser==0.6.5

Thanks!

How do you install things from that file? (sorry if my workflow is different, might be nice to include this in your readme since you also have non standard things e.g. you don't have a setup.py file or a project + packages hierarchy which is more common for python projects/repos e.g. like this https://packaging.python.org/tutorials/packaging-projects/ that's what I usually use but yours might be better!)

Usually, I have a install.sh I simply run (which would be what yours has except it would also have my pip and conda commands).

Thanks for the quick replies!

this might be useful for yml installations:

https://stackoverflow.com/questions/54492671/how-to-install-list-of-python-libraries-using-yml-file-without-making-new-enviro

You can use the conda env update command:

conda env update --name <your env name> -f <your file>.yml
or, if the environment you want to update is already activated, then

conda env update -f <your file>.yml

conda env update -f ~/CoqGym/coq_gym.yml

or

conda env create -f ~/CoqGym/coq_gym.yml

from coqgym.

In Sec 1.2 of README:

6. Create and activate the conda environment: conda env create -f coq_gym.yml && conda activate coq_gym

For more information about conda environments: https://docs.conda.io/projects/conda/en/latest/user-guide/tasks/manage-environments.html

from coqgym.