diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:27:47 +0000 |
| commit | 0a8236066f945c6026337dd4ea9342a9034f7987 (patch) | |
| tree | fb63dbda5f249cabf8dea58695131d2e1bf31807 /tools/ocamlprof.ml | |
| parent | 4b70ed64c47bb1a179f0cd58a5d78d1733c5dd54 (diff) | |
| download | ocaml-0a8236066f945c6026337dd4ea9342a9034f7987.tar.gz | |
vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/ocamlprof.ml')
| -rw-r--r-- | tools/ocamlprof.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index 64d737c3d7..b9d80c3046 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -287,6 +287,8 @@ and rw_exp iflag sexp = | Pexp_lazy (expr) -> rewrite_exp iflag expr + | Pexp_poly (sexp, _) -> rewrite_exp iflag sexp + and rewrite_ifbody iflag ghost sifbody = if !instr_if && not ghost then insert_profile rw_exp sifbody |