summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--camlp4/ocaml_src/camlp4/argl.ml2
-rw-r--r--camlp4/ocaml_src/camlp4/pcaml.ml35
-rw-r--r--camlp4/ocaml_src/lib/plexer.ml20
-rw-r--r--camlp4/ocaml_src/meta/q_MLast.ml8
4 files changed, 41 insertions, 24 deletions
diff --git a/camlp4/ocaml_src/camlp4/argl.ml b/camlp4/ocaml_src/camlp4/argl.ml
index b3495f6f4..f32661e6c 100644
--- a/camlp4/ocaml_src/camlp4/argl.ml
+++ b/camlp4/ocaml_src/camlp4/argl.ml
@@ -137,6 +137,8 @@ let print_warning loc s = print_location loc; eprintf "%s\n" s;;
let rec parse_file pa getdir useast =
let name = !(Pcaml.input_file) in
+ let (_, _, fname) = !(Pcaml.position) in
+ let () = fname := name in
Pcaml.warning := print_warning;
let ic = if name = "-" then stdin else open_in_bin name in
let cs = Stream.of_channel ic in
diff --git a/camlp4/ocaml_src/camlp4/pcaml.ml b/camlp4/ocaml_src/camlp4/pcaml.ml
index 9e2e21e92..dfa954edd 100644
--- a/camlp4/ocaml_src/camlp4/pcaml.ml
+++ b/camlp4/ocaml_src/camlp4/pcaml.ml
@@ -20,7 +20,7 @@ let gram =
Grammar.gcreate
{Token.tok_func = (fun _ -> failwith "no loaded parsing module");
Token.tok_using = (fun _ -> ()); Token.tok_removing = (fun _ -> ());
- Token.tok_match = (fun _ -> raise (Match_failure ("", 23, 23)));
+ Token.tok_match = (fun _ -> raise (Match_failure ("pcaml.ml", 23, 23)));
Token.tok_text = (fun _ -> ""); Token.tok_comm = None}
;;
@@ -383,37 +383,48 @@ and kont = pretty Stream.t
;;
let pr_str_item =
- {pr_fun = (fun _ -> raise (Match_failure ("", 409, 30))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 409, 30)));
+ pr_levels = []}
;;
let pr_sig_item =
- {pr_fun = (fun _ -> raise (Match_failure ("", 410, 30))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 410, 30)));
+ pr_levels = []}
;;
let pr_module_type =
- {pr_fun = (fun _ -> raise (Match_failure ("", 411, 33))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 411, 33)));
+ pr_levels = []}
;;
let pr_module_expr =
- {pr_fun = (fun _ -> raise (Match_failure ("", 412, 33))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 412, 33)));
+ pr_levels = []}
;;
let pr_expr =
- {pr_fun = (fun _ -> raise (Match_failure ("", 413, 26))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 413, 26)));
+ pr_levels = []}
;;
let pr_patt =
- {pr_fun = (fun _ -> raise (Match_failure ("", 414, 26))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 414, 26)));
+ pr_levels = []}
;;
let pr_ctyp =
- {pr_fun = (fun _ -> raise (Match_failure ("", 415, 26))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 415, 26)));
+ pr_levels = []}
;;
let pr_class_sig_item =
- {pr_fun = (fun _ -> raise (Match_failure ("", 416, 36))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 416, 36)));
+ pr_levels = []}
;;
let pr_class_str_item =
- {pr_fun = (fun _ -> raise (Match_failure ("", 417, 36))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 417, 36)));
+ pr_levels = []}
;;
let pr_class_type =
- {pr_fun = (fun _ -> raise (Match_failure ("", 418, 32))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 418, 32)));
+ pr_levels = []}
;;
let pr_class_expr =
- {pr_fun = (fun _ -> raise (Match_failure ("", 419, 32))); pr_levels = []}
+ {pr_fun = (fun _ -> raise (Match_failure ("pcaml.ml", 419, 32)));
+ pr_levels = []}
;;
let pr_expr_fun_args = ref Extfun.empty;;
diff --git a/camlp4/ocaml_src/lib/plexer.ml b/camlp4/ocaml_src/lib/plexer.ml
index 810187048..7aed884d4 100644
--- a/camlp4/ocaml_src/lib/plexer.ml
+++ b/camlp4/ocaml_src/lib/plexer.ml
@@ -1089,11 +1089,11 @@ let make_lexer () =
let id_table = Hashtbl.create 301 in
let glexr =
ref
- {tok_func = (fun _ -> raise (Match_failure ("", 774, 17)));
- tok_using = (fun _ -> raise (Match_failure ("", 774, 37)));
- tok_removing = (fun _ -> raise (Match_failure ("", 774, 60)));
- tok_match = (fun _ -> raise (Match_failure ("", 775, 18)));
- tok_text = (fun _ -> raise (Match_failure ("", 775, 37)));
+ {tok_func = (fun _ -> raise (Match_failure ("plexer.ml", 774, 17)));
+ tok_using = (fun _ -> raise (Match_failure ("plexer.ml", 774, 37)));
+ tok_removing = (fun _ -> raise (Match_failure ("plexer.ml", 774, 60)));
+ tok_match = (fun _ -> raise (Match_failure ("plexer.ml", 775, 18)));
+ tok_text = (fun _ -> raise (Match_failure ("plexer.ml", 775, 37)));
tok_comm = None}
in
let (f, pos) = func kwd_table glexr in
@@ -1125,11 +1125,11 @@ let make () =
let id_table = Hashtbl.create 301 in
let glexr =
ref
- {tok_func = (fun _ -> raise (Match_failure ("", 808, 17)));
- tok_using = (fun _ -> raise (Match_failure ("", 808, 37)));
- tok_removing = (fun _ -> raise (Match_failure ("", 808, 60)));
- tok_match = (fun _ -> raise (Match_failure ("", 809, 18)));
- tok_text = (fun _ -> raise (Match_failure ("", 809, 37)));
+ {tok_func = (fun _ -> raise (Match_failure ("plexer.ml", 808, 17)));
+ tok_using = (fun _ -> raise (Match_failure ("plexer.ml", 808, 37)));
+ tok_removing = (fun _ -> raise (Match_failure ("plexer.ml", 808, 60)));
+ tok_match = (fun _ -> raise (Match_failure ("plexer.ml", 809, 18)));
+ tok_text = (fun _ -> raise (Match_failure ("plexer.ml", 809, 37)));
tok_comm = None}
in
{func = fst (func kwd_table glexr); using = using_token kwd_table id_table;
diff --git a/camlp4/ocaml_src/meta/q_MLast.ml b/camlp4/ocaml_src/meta/q_MLast.ml
index 881f29dff..a809aa8a2 100644
--- a/camlp4/ocaml_src/meta/q_MLast.ml
+++ b/camlp4/ocaml_src/meta/q_MLast.ml
@@ -689,7 +689,9 @@ Grammar.extend
(let (_, c, tl) =
match ctl with
Qast.Tuple [xx1; xx2; xx3] -> xx1, xx2, xx3
- | _ -> match () with _ -> raise (Match_failure ("", 332, 19))
+ | _ ->
+ match () with
+ _ -> raise (Match_failure ("q_MLast.ml", 332, 19))
in
Qast.Node ("StExc", [Qast.Loc; c; tl; b]) :
'str_item));
@@ -985,7 +987,9 @@ Grammar.extend
(let (_, c, tl) =
match ctl with
Qast.Tuple [xx1; xx2; xx3] -> xx1, xx2, xx3
- | _ -> match () with _ -> raise (Match_failure ("", 390, 19))
+ | _ ->
+ match () with
+ _ -> raise (Match_failure ("q_MLast.ml", 390, 19))
in
Qast.Node ("SgExc", [Qast.Loc; c; tl]) :
'sig_item));