|
From: Geoffrey I. <ir...@na...> - 2016-12-06 23:22:12
|
I'm getting the following trying to build HOL Light with ocaml 4.04, camlp5 6.17: File "pa_j.ml", line 1918, characters 35-43: While expanding quotation "str_item": Parse error: antiquot "_" or antiquot "" or [ident] expected after 'type' (in [str_item]) I found a similar issue on Github at https://github.com/jrh13/hol-light/issues/9, and a old thread by Rob Arthan on this list: https://sourceforge.net/p/hol/mailman/message/31518128. Rob: The mailing list thread says you have a patch, but doesn't say what that patch is. What was it, and was it upstreamed? If not, does anyone know how to fix the issue? |