diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2014-03-13 12:44:09 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2014-03-13 12:44:09 +0000 |
| commit | 1f5876189e29730e9b8f40c2808d1d7b84a37af0 (patch) | |
| tree | 948ec02afaa09b40f4e8e8344cd99463ad96add8 /experimental/frisch/tracer.ml | |
| parent | f69e779f366e356ffb03a9d334465dc073ee6c08 (diff) | |
| download | ocaml-1f5876189e29730e9b8f40c2808d1d7b84a37af0.tar.gz | |
Merge with ocaml trunk 12778 -> 13774
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jocamltrunk@14456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'experimental/frisch/tracer.ml')
| -rw-r--r-- | experimental/frisch/tracer.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/experimental/frisch/tracer.ml b/experimental/frisch/tracer.ml index 095dd2e734..657756a323 100644 --- a/experimental/frisch/tracer.ml +++ b/experimental/frisch/tracer.ml @@ -9,7 +9,7 @@ open Parsetree the compilation unit. *) let trace s = - E.(apply (lid "Pervasives.print_endline") [strconst s]) + E.(apply (lid "Pervasives.print_endline") ["", strconst s]) let tracer = object(this) @@ -22,14 +22,14 @@ let tracer = method! structure_item = function | {pstr_desc = Pstr_module (s, _); pstr_loc = _loc} as si -> - [ SI.map {< path = path ^ "." ^ s.txt >} si ] + [ M.map_structure_item {< path = path ^ "." ^ s.txt >} si ] | si -> - [ SI.map this si ] + [ M.map_structure_item this si ] method! structure l = - SI.eval (trace (Printf.sprintf "Entering module %s" path)) :: + M.eval (trace (Printf.sprintf "Entering module %s" path)) :: (super # structure l) @ - [ SI.eval (trace (Printf.sprintf "Leaving module %s" path)) ] + [ M.eval (trace (Printf.sprintf "Leaving module %s" path)) ] method! expr e = match e.pexp_desc with |