Compatibility with camlp5-7.07?

jrh13 / hol-light

The HOL Light theorem prover

Other

435 stars 79 forks source link

Closed vbgl closed 5 years ago

vbgl commented 6 years ago

The version 7.07 of camlp5 was released a few days ago. Unfortunately, it breaks HOL-light:

 File "pa_j.ml", line 571, characters 6-18:
Error: The constructor StTyp expects 3 argument(s),
       but is applied here to 2 argument(s)

Are there any plans to make the twain compatible again? Thanks.

lambdaTotoro commented 5 years ago

This would be relevant to me, as well.