Geoffrey,
I've attached the patch. I haven't looked at it since late 2013,
so I have no idea if it will work.
Regards,
Rob.
> On 6 Dec 2016, at 22:15, Geoffrey Irving <irv...@naml.us> wrote:
>
> 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?
--- pa_j_3.1x_6.xx.ml 2013-10-14 11:56:36.000000000 +0100
+++ pa_j.ml 2013-10-14 14:29:26.000000000 +0100
@@ -192,9 +192,13 @@
| PaInt loc x1 x2 ->
let loc = floc loc in
PaInt loc x1 x2
- | PaLab loc x1 x2 ->
+ | PaLab loc x1 ->
let loc = floc loc in
- PaLab loc (self x1) (vala_map (option_map self) x2)
+ PaLab loc
+ (vala_map
+ (List.map
+ (fun (x1, x2) â (self x1, vala_map (option_map self) x2)))
+ x1)
| PaLaz loc x1 ->
let loc = floc loc in
PaLaz loc (self x1)
@@ -296,9 +300,14 @@
| ExInt loc x1 x2 ->
let loc = floc loc in
ExInt loc x1 x2
- | ExLab loc x1 x2 ->
+ | ExLab loc x1 ->
let loc = floc loc in
- ExLab loc (reloc_patt floc sh x1) (vala_map (option_map self) x2)
+ ExLab loc
+ (vala_map
+ (List.map
+ (fun (x1, x2) ->
+ (reloc_patt floc sh x1, vala_map (option_map self) x2)))
+ x1)
| ExLaz loc x1 ->
let loc = floc loc in
ExLaz loc (self x1)
@@ -1914,8 +1923,8 @@
| "include"; me = module_expr -> <:str_item< include $me$ >>
| "module"; r = V (FLAG "rec"); l = V (LIST1 mod_binding SEP "and") ->
<:str_item< module $_flag:r$ $_list:l$ >>
- | "module"; "type"; i = V UIDENT "uid" ""; "="; mt = module_type ->
- <:str_item< module type $_uid:i$ = $mt$ >>
+ | "module"; "type"; i = V ident ""; "="; mt = module_type ->
+ <:str_item< module type $_:i$ = $mt$ >>
| "open"; i = V mod_ident "list" "" ->
<:str_item< open $_:i$ >>
| "type"; tdl = V (LIST1 type_decl SEP "and") ->
@@ -1989,10 +1998,10 @@
| "module"; rf = V (FLAG "rec");
l = V (LIST1 mod_decl_binding SEP "and") ->
<:sig_item< module $_flag:rf$ $_list:l$ >>
- | "module"; "type"; i = V UIDENT "uid" ""; "="; mt = module_type ->
- <:sig_item< module type $_uid:i$ = $mt$ >>
- | "module"; "type"; i = V UIDENT "uid" "" ->
- <:sig_item< module type $_uid:i$ = 'abstract >>
+ | "module"; "type"; i = V ident ""; "="; mt = module_type ->
+ <:sig_item< module type $_:i$ = $mt$ >>
+ | "module"; "type"; i = V ident "" ->
+ <:sig_item< module type $_:i$ = 'abstract >>
| "open"; i = V mod_ident "list" "" ->
<:sig_item< open $_:i$ >>
| "type"; tdl = V (LIST1 type_decl SEP "and") ->
------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today.http://sdm.link/xeonphi
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
