On Wed, Oct 01, 2003 at 11:41:40AM +0200, Stefano Zacchiroli wrote:
> I suggest to add it to the ocaml 3.07 package.
Attached a "human" version of the patch that can be applied with "patch
-p0" as usual to the root ocaml source directory. I'm rebuilding right
now ocaml with that patch to see if it works ...
Cheers.
--
Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} - http://www.bononia.it/zack/
" I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant! " -- G.Romney
diff -u -r1.25 -r1.26
--- camlp4/camlp4/ast2pt.ml 2003/07/16 18:59:12 1.25
+++ camlp4/camlp4/ast2pt.ml 2003/09/30 14:39:26 1.26
@@ -10,7 +10,7 @@
(* *)
(***********************************************************************)
-(* $Id: ast2pt.ml,v 1.25 2003/07/16 18:59:12 mauny Exp $ *)
+(* $Id: ast2pt.ml,v 1.26 2003/09/30 14:39:26 mauny Exp $ *)
open Stdpp;
open MLast;
@@ -177,10 +177,10 @@
| TyObj loc fl v -> mktyp loc (Ptyp_object (meth_list loc fl v))
| TyCls loc id ->
mktyp loc (Ptyp_class (long_id_of_string_list loc id) [] [])
- | TyLab loc _ _ -> error loc "labeled type not allowed here"
+ | TyLab loc _ _ -> error loc "labelled type not allowed here"
| TyLid loc s -> mktyp loc (Ptyp_constr (lident s) [])
- | TyMan loc _ _ -> error loc "type manifest not allowed here"
- | TyOlb loc lab _ -> error loc "labeled type not allowed here"
+ | TyMan loc _ _ -> error loc "manifest type not allowed here"
+ | TyOlb loc lab _ -> error loc "labelled type not allowed here"
| TyPol loc pl t -> mktyp loc (Ptyp_poly pl (ctyp t))
| TyQuo loc s -> mktyp loc (Ptyp_var s)
| TyRec loc _ _ -> error loc "record type not allowed here"
diff -u -r1.52 -r1.54
--- camlp4/etc/pa_o.ml 2003/09/25 12:05:05 1.52
+++ camlp4/etc/pa_o.ml 2003/09/30 14:39:38 1.54
@@ -10,7 +10,7 @@
(* *)
(***********************************************************************)
-(* $Id: pa_o.ml,v 1.52 2003/09/25 12:05:05 mauny Exp $ *)
+(* $Id: pa_o.ml,v 1.54 2003/09/30 14:39:38 mauny Exp $ *)
open Stdpp;
open Pcaml;
@@ -1148,16 +1148,16 @@
| i = LIDENT -> [i] ] ]
;
(* Labels *)
- ctyp: AFTER "arrow"
- [ NONA
+ ctyp: LEVEL "arrow"
+ [ RIGHTA
[ i = lident_colon; t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
- <:ctyp< ~ $i$ : $t1$ -> $t2$ >>
+ <:ctyp< ( ~ $i$ : $t1$ ) -> $t2$ >>
| i = OPTLABEL; t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
- <:ctyp< ? $i$ : $t1$ -> $t2$ >>
+ <:ctyp< ( ? $i$ : $t1$ ) -> $t2$ >>
| i = QUESTIONIDENT; ":"; t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
- <:ctyp< ? $i$ : $t1$ -> $t2$ >>
+ <:ctyp< ( ? $i$ : $t1$ ) -> $t2$ >>
| "?"; i=lident_colon;t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
- <:ctyp< ? $i$ : $t1$ -> $t2$ >> ] ]
+ <:ctyp< ( ? $i$ : $t1$ ) -> $t2$ >> ] ]
;
ctyp: LEVEL "simple"
[ [ "["; OPT "|"; rfl = LIST1 row_field SEP "|"; "]" ->
diff -u -r1.53 -r1.54
--- camlp4/meta/pa_r.ml 2003/09/25 12:05:06 1.53
+++ camlp4/meta/pa_r.ml 2003/09/30 10:20:06 1.54
@@ -10,7 +10,7 @@
(* *)
(***********************************************************************)
-(* $Id: pa_r.ml,v 1.53 2003/09/25 12:05:06 mauny Exp $ *)
+(* $Id: pa_r.ml,v 1.54 2003/09/30 10:20:06 mauny Exp $ *)
open Stdpp;
open Pcaml;
@@ -748,8 +748,8 @@
| i = LIDENT -> [i] ] ]
;
(* Labels *)
- ctyp: AFTER "arrow"
- [ NONA
+ ctyp: LEVEL "arrow"
+ [ RIGHTA
[ i = TILDEIDENT; ":"; t = SELF -> <:ctyp< ~ $i$ : $t$ >>
| i = LABEL; t = SELF -> <:ctyp< ~ $i$ : $t$ >>
| i = QUESTIONIDENT; ":"; t = SELF -> <:ctyp< ? $i$ : $t$ >>
diff -u -r1.51 -r1.52
--- camlp4/meta/q_MLast.ml 2003/07/16 12:50:08 1.51
+++ camlp4/meta/q_MLast.ml 2003/09/30 11:38:04 1.52
@@ -10,7 +10,7 @@
(* *)
(***********************************************************************)
-(* $Id: q_MLast.ml,v 1.51 2003/07/16 12:50:08 mauny Exp $ *)
+(* $Id: q_MLast.ml,v 1.52 2003/09/30 11:38:04 mauny Exp $ *)
value gram = Grammar.gcreate (Plexer.gmake ());
@@ -127,7 +127,9 @@
value a_STRING = Grammar.Entry.create gram "a_STRING";
value a_CHAR = Grammar.Entry.create gram "a_CHAR";
value a_TILDEIDENT = Grammar.Entry.create gram "a_TILDEIDENT";
+value a_LABEL = Grammar.Entry.create gram "a_LABEL";
value a_QUESTIONIDENT = Grammar.Entry.create gram "a_QUESTIONIDENT";
+value a_OPTLABEL = Grammar.Entry.create gram "a_OPTLABEL";
value o2b =
fun
@@ -1007,10 +1009,13 @@
| i = a_LIDENT -> Qast.List [i] ] ]
;
(* Labels *)
- ctyp: AFTER "arrow"
- [ NONA
+ ctyp: LEVEL "arrow"
+ [ RIGHTA
[ i = a_TILDEIDENT; ":"; t = SELF -> Qast.Node "TyLab" [Qast.Loc; i; t]
+ | i = a_LABEL; t = SELF -> Qast.Node "TyLab" [Qast.Loc; i; t]
| i = a_QUESTIONIDENT; ":"; t = SELF ->
+ Qast.Node "TyOlb" [Qast.Loc; i; t]
+ | i = a_OPTLABEL; t = SELF ->
Qast.Node "TyOlb" [Qast.Loc; i; t] ] ]
;
ctyp: LEVEL "simple"
@@ -1044,11 +1049,16 @@
| "#"; sl = mod_ident -> Qast.Node "PaTyp" [Qast.Loc; sl]
| i = a_TILDEIDENT; ":"; p = SELF ->
Qast.Node "PaLab" [Qast.Loc; i; Qast.Option (Some p)]
+ | i = a_LABEL; p = SELF ->
+ Qast.Node "PaLab" [Qast.Loc; i; Qast.Option (Some p)]
| i = a_TILDEIDENT -> Qast.Node "PaLab" [Qast.Loc; i; Qast.Option None]
| i = a_QUESTIONIDENT; ":"; "("; p = patt_tcon; eo = SOPT eq_expr;
")" ->
Qast.Node "PaOlb"
[Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]
+ | i = a_OPTLABEL; "("; p = patt_tcon; eo = SOPT eq_expr; ")" ->
+ Qast.Node "PaOlb"
+ [Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]
| i = a_QUESTIONIDENT ->
Qast.Node "PaOlb" [Qast.Loc; i; Qast.Option None]
| "?"; "("; p = patt_tcon; eo = SOPT eq_expr; ")" ->
@@ -1063,11 +1073,16 @@
ipatt:
[ [ i = a_TILDEIDENT; ":"; p = SELF ->
Qast.Node "PaLab" [Qast.Loc; i; Qast.Option (Some p)]
+ | i = a_LABEL; p = SELF ->
+ Qast.Node "PaLab" [Qast.Loc; i; Qast.Option (Some p)]
| i = a_TILDEIDENT -> Qast.Node "PaLab" [Qast.Loc; i; Qast.Option None]
| i = a_QUESTIONIDENT; ":"; "("; p = ipatt_tcon; eo = SOPT eq_expr;
")" ->
Qast.Node "PaOlb"
[Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]
+ | i = a_OPTLABEL; "("; p = ipatt_tcon; eo = SOPT eq_expr; ")" ->
+ Qast.Node "PaOlb"
+ [Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]
| i = a_QUESTIONIDENT ->
Qast.Node "PaOlb" [Qast.Loc; i; Qast.Option None]
| "?"; "("; p = ipatt_tcon; eo = SOPT eq_expr; ")" ->
@@ -1086,9 +1101,13 @@
[ "label" NONA
[ i = a_TILDEIDENT; ":"; e = SELF ->
Qast.Node "ExLab" [Qast.Loc; i; Qast.Option (Some e)]
+ | i = a_LABEL; e = SELF ->
+ Qast.Node "ExLab" [Qast.Loc; i; Qast.Option (Some e)]
| i = a_TILDEIDENT -> Qast.Node "ExLab" [Qast.Loc; i; Qast.Option None]
| i = a_QUESTIONIDENT; ":"; e = SELF ->
Qast.Node "ExOlb" [Qast.Loc; i; Qast.Option (Some e)]
+ | i = a_OPTLABEL; e = SELF ->
+ Qast.Node "ExOlb" [Qast.Loc; i; Qast.Option (Some e)]
| i = a_QUESTIONIDENT ->
Qast.Node "ExOlb" [Qast.Loc; i; Qast.Option None] ] ]
;
@@ -1335,9 +1354,15 @@
[ [ "~"; a = ANTIQUOT -> antiquot "" loc a
| s = TILDEIDENT -> Qast.Str s ] ]
;
+ a_LABEL:
+ [ [ s = LABEL -> Qast.Str s ] ]
+ ;
a_QUESTIONIDENT:
[ [ "?"; a = ANTIQUOT -> antiquot "" loc a
| s = QUESTIONIDENT -> Qast.Str s ] ]
+ ;
+ a_OPTLABEL:
+ [ [ s = OPTLABEL -> Qast.Str s ] ]
;
END;
diff -u -r1.24 -r1.25
--- camlp4/ocaml_src/camlp4/ast2pt.ml 2003/07/23 22:26:18 1.24
+++ camlp4/ocaml_src/camlp4/ast2pt.ml 2003/09/30 14:39:38 1.25
@@ -169,10 +169,10 @@
| TyObj (loc, fl, v) -> mktyp loc (Ptyp_object (meth_list loc fl v))
| TyCls (loc, id) ->
mktyp loc (Ptyp_class (long_id_of_string_list loc id, [], []))
- | TyLab (loc, _, _) -> error loc "labeled type not allowed here"
+ | TyLab (loc, _, _) -> error loc "labelled type not allowed here"
| TyLid (loc, s) -> mktyp loc (Ptyp_constr (lident s, []))
- | TyMan (loc, _, _) -> error loc "type manifest not allowed here"
- | TyOlb (loc, lab, _) -> error loc "labeled type not allowed here"
+ | TyMan (loc, _, _) -> error loc "manifest type not allowed here"
+ | TyOlb (loc, lab, _) -> error loc "labelled type not allowed here"
| TyPol (loc, pl, t) -> mktyp loc (Ptyp_poly (pl, ctyp t))
| TyQuo (loc, s) -> mktyp loc (Ptyp_var s)
| TyRec (loc, _, _) -> error loc "record type not allowed here"
diff -u -r1.48 -r1.49
--- camlp4/ocaml_src/meta/pa_r.ml 2003/09/25 12:05:07 1.48
+++ camlp4/ocaml_src/meta/pa_r.ml 2003/09/30 10:20:06 1.49
@@ -2241,8 +2241,8 @@
(fun (l : 'class_longident) _ (m : string) (loc : int * int) ->
(m :: l : 'class_longident))]];
Grammar.Entry.obj (ctyp : 'ctyp Grammar.Entry.e),
- Some (Gramext.After "arrow"),
- [None, Some Gramext.NonA,
+ Some (Gramext.Level "arrow"),
+ [None, Some Gramext.RightA,
[[Gramext.Stoken ("OPTLABEL", ""); Gramext.Sself],
Gramext.action
(fun (t : 'ctyp) (i : string) (loc : int * int) ->
diff -u -r1.56 -r1.57
--- camlp4/ocaml_src/meta/q_MLast.ml 2003/07/23 22:26:19 1.56
+++ camlp4/ocaml_src/meta/q_MLast.ml 2003/09/30 11:38:04 1.57
@@ -153,7 +153,9 @@
let a_STRING = Grammar.Entry.create gram "a_STRING";;
let a_CHAR = Grammar.Entry.create gram "a_CHAR";;
let a_TILDEIDENT = Grammar.Entry.create gram "a_TILDEIDENT";;
+let a_LABEL = Grammar.Entry.create gram "a_LABEL";;
let a_QUESTIONIDENT = Grammar.Entry.create gram "a_QUESTIONIDENT";;
+let a_OPTLABEL = Grammar.Entry.create gram "a_OPTLABEL";;
let o2b =
function
@@ -626,7 +628,7 @@
Qast.Tuple [xx1; xx2; xx3] -> xx1, xx2, xx3
| _ ->
match () with
- _ -> raise (Match_failure ("q_MLast.ml", 300, 19))
+ _ -> raise (Match_failure ("q_MLast.ml", 302, 19))
in
Qast.Node ("StExc", [Qast.Loc; c; tl; b]) :
'str_item));
@@ -896,7 +898,7 @@
Qast.Tuple [xx1; xx2; xx3] -> xx1, xx2, xx3
| _ ->
match () with
- _ -> raise (Match_failure ("q_MLast.ml", 358, 19))
+ _ -> raise (Match_failure ("q_MLast.ml", 360, 19))
in
Qast.Node ("SgExc", [Qast.Loc; c; tl]) :
'sig_item));
@@ -3345,9 +3347,15 @@
(fun (l : 'class_longident) _ (m : 'a_UIDENT) (loc : int * int) ->
(Qast.Cons (m, l) : 'class_longident))]];
Grammar.Entry.obj (ctyp : 'ctyp Grammar.Entry.e),
- Some (Gramext.After "arrow"),
- [None, Some Gramext.NonA,
+ Some (Gramext.Level "arrow"),
+ [None, Some Gramext.RightA,
[[Gramext.Snterm
+ (Grammar.Entry.obj (a_OPTLABEL : 'a_OPTLABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (t : 'ctyp) (i : 'a_OPTLABEL) (loc : int * int) ->
+ (Qast.Node ("TyOlb", [Qast.Loc; i; t]) : 'ctyp));
+ [Gramext.Snterm
(Grammar.Entry.obj
(a_QUESTIONIDENT : 'a_QUESTIONIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
@@ -3355,6 +3363,12 @@
(fun (t : 'ctyp) _ (i : 'a_QUESTIONIDENT) (loc : int * int) ->
(Qast.Node ("TyOlb", [Qast.Loc; i; t]) : 'ctyp));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_LABEL : 'a_LABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (t : 'ctyp) (i : 'a_LABEL) (loc : int * int) ->
+ (Qast.Node ("TyLab", [Qast.Loc; i; t]) : 'ctyp));
+ [Gramext.Snterm
(Grammar.Entry.obj (a_TILDEIDENT : 'a_TILDEIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
Gramext.action
@@ -3518,6 +3532,30 @@
(fun (i : 'a_QUESTIONIDENT) (loc : int * int) ->
(Qast.Node ("PaOlb", [Qast.Loc; i; Qast.Option None]) : 'patt));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_OPTLABEL : 'a_OPTLABEL Grammar.Entry.e));
+ Gramext.Stoken ("", "(");
+ Gramext.Snterm
+ (Grammar.Entry.obj (patt_tcon : 'patt_tcon Grammar.Entry.e));
+ Gramext.srules
+ [[Gramext.Sopt
+ (Gramext.Snterm
+ (Grammar.Entry.obj (eq_expr : 'eq_expr Grammar.Entry.e)))],
+ Gramext.action
+ (fun (a : 'eq_expr option) (loc : int * int) ->
+ (Qast.Option a : 'a_opt));
+ [Gramext.Snterm
+ (Grammar.Entry.obj (a_opt : 'a_opt Grammar.Entry.e))],
+ Gramext.action
+ (fun (a : 'a_opt) (loc : int * int) -> (a : 'a_opt))];
+ Gramext.Stoken ("", ")")],
+ Gramext.action
+ (fun _ (eo : 'a_opt) (p : 'patt_tcon) _ (i : 'a_OPTLABEL)
+ (loc : int * int) ->
+ (Qast.Node
+ ("PaOlb",
+ [Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]) :
+ 'patt));
+ [Gramext.Snterm
(Grammar.Entry.obj
(a_QUESTIONIDENT : 'a_QUESTIONIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Stoken ("", "(");
@@ -3548,6 +3586,13 @@
(fun (i : 'a_TILDEIDENT) (loc : int * int) ->
(Qast.Node ("PaLab", [Qast.Loc; i; Qast.Option None]) : 'patt));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_LABEL : 'a_LABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (p : 'patt) (i : 'a_LABEL) (loc : int * int) ->
+ (Qast.Node ("PaLab", [Qast.Loc; i; Qast.Option (Some p)]) :
+ 'patt));
+ [Gramext.Snterm
(Grammar.Entry.obj (a_TILDEIDENT : 'a_TILDEIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
Gramext.action
@@ -3606,6 +3651,30 @@
(fun (i : 'a_QUESTIONIDENT) (loc : int * int) ->
(Qast.Node ("PaOlb", [Qast.Loc; i; Qast.Option None]) : 'ipatt));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_OPTLABEL : 'a_OPTLABEL Grammar.Entry.e));
+ Gramext.Stoken ("", "(");
+ Gramext.Snterm
+ (Grammar.Entry.obj (ipatt_tcon : 'ipatt_tcon Grammar.Entry.e));
+ Gramext.srules
+ [[Gramext.Sopt
+ (Gramext.Snterm
+ (Grammar.Entry.obj (eq_expr : 'eq_expr Grammar.Entry.e)))],
+ Gramext.action
+ (fun (a : 'eq_expr option) (loc : int * int) ->
+ (Qast.Option a : 'a_opt));
+ [Gramext.Snterm
+ (Grammar.Entry.obj (a_opt : 'a_opt Grammar.Entry.e))],
+ Gramext.action
+ (fun (a : 'a_opt) (loc : int * int) -> (a : 'a_opt))];
+ Gramext.Stoken ("", ")")],
+ Gramext.action
+ (fun _ (eo : 'a_opt) (p : 'ipatt_tcon) _ (i : 'a_OPTLABEL)
+ (loc : int * int) ->
+ (Qast.Node
+ ("PaOlb",
+ [Qast.Loc; i; Qast.Option (Some (Qast.Tuple [p; eo]))]) :
+ 'ipatt));
+ [Gramext.Snterm
(Grammar.Entry.obj
(a_QUESTIONIDENT : 'a_QUESTIONIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Stoken ("", "(");
@@ -3636,6 +3705,13 @@
(fun (i : 'a_TILDEIDENT) (loc : int * int) ->
(Qast.Node ("PaLab", [Qast.Loc; i; Qast.Option None]) : 'ipatt));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_LABEL : 'a_LABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (p : 'ipatt) (i : 'a_LABEL) (loc : int * int) ->
+ (Qast.Node ("PaLab", [Qast.Loc; i; Qast.Option (Some p)]) :
+ 'ipatt));
+ [Gramext.Snterm
(Grammar.Entry.obj (a_TILDEIDENT : 'a_TILDEIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
Gramext.action
@@ -3669,6 +3745,13 @@
(fun (i : 'a_QUESTIONIDENT) (loc : int * int) ->
(Qast.Node ("ExOlb", [Qast.Loc; i; Qast.Option None]) : 'expr));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_OPTLABEL : 'a_OPTLABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (e : 'expr) (i : 'a_OPTLABEL) (loc : int * int) ->
+ (Qast.Node ("ExOlb", [Qast.Loc; i; Qast.Option (Some e)]) :
+ 'expr));
+ [Gramext.Snterm
(Grammar.Entry.obj
(a_QUESTIONIDENT : 'a_QUESTIONIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
@@ -3682,6 +3765,13 @@
(fun (i : 'a_TILDEIDENT) (loc : int * int) ->
(Qast.Node ("ExLab", [Qast.Loc; i; Qast.Option None]) : 'expr));
[Gramext.Snterm
+ (Grammar.Entry.obj (a_LABEL : 'a_LABEL Grammar.Entry.e));
+ Gramext.Sself],
+ Gramext.action
+ (fun (e : 'expr) (i : 'a_LABEL) (loc : int * int) ->
+ (Qast.Node ("ExLab", [Qast.Loc; i; Qast.Option (Some e)]) :
+ 'expr));
+ [Gramext.Snterm
(Grammar.Entry.obj (a_TILDEIDENT : 'a_TILDEIDENT Grammar.Entry.e));
Gramext.Stoken ("", ":"); Gramext.Sself],
Gramext.action
@@ -4427,6 +4517,11 @@
Gramext.action
(fun (a : string) _ (loc : int * int) ->
(antiquot "" loc a : 'a_TILDEIDENT))]];
+ Grammar.Entry.obj (a_LABEL : 'a_LABEL Grammar.Entry.e), None,
+ [None, None,
+ [[Gramext.Stoken ("LABEL", "")],
+ Gramext.action
+ (fun (s : string) (loc : int * int) -> (Qast.Str s : 'a_LABEL))]];
Grammar.Entry.obj (a_QUESTIONIDENT : 'a_QUESTIONIDENT Grammar.Entry.e),
None,
[None, None,
@@ -4437,7 +4532,12 @@
[Gramext.Stoken ("", "?"); Gramext.Stoken ("ANTIQUOT", "")],
Gramext.action
(fun (a : string) _ (loc : int * int) ->
- (antiquot "" loc a : 'a_QUESTIONIDENT))]]];;
+ (antiquot "" loc a : 'a_QUESTIONIDENT))]];
+ Grammar.Entry.obj (a_OPTLABEL : 'a_OPTLABEL Grammar.Entry.e), None,
+ [None, None,
+ [[Gramext.Stoken ("OPTLABEL", "")],
+ Gramext.action
+ (fun (s : string) (loc : int * int) -> (Qast.Str s : 'a_OPTLABEL))]]];;
let apply_entry e =
let f s = Grammar.Entry.parse e (Stream.of_string s) in
Attachment:
signature.asc
Description: Digital signature