summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2012-08-25 09:54:29 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2012-08-25 09:54:29 +0000
commit0a11500cb1ff3a32144066bae05e0a8e30c0daec (patch)
tree389ba13751ab91a935a3f0a6ac8bf693512718ba
parent308c941a19fd66e1625df67ec8702ff1147cbfd9 (diff)
fix PR#5738
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--Changes2
-rw-r--r--tools/depend.ml2
2 files changed, 3 insertions, 1 deletions
diff --git a/Changes b/Changes
index bb9dc2498..7f0bb0dc9 100644
--- a/Changes
+++ b/Changes
@@ -18,6 +18,8 @@ Bug fixes:
- PR#5708: catch Failure"int_of_string" in ocamldebug
- PR#5731: instruction scheduling forgot to account for destroyed registers
- PR#5735: %apply and %revapply not first class citizens
+- PR#5738: first class module patterns not handled by ocamldep
+
Internals:
- Moved debugger/envaux.ml to typing/envaux.ml to publish env_of_only_summary
as part of compilerlibs, to be used on bin-annot files.
diff --git a/tools/depend.ml b/tools/depend.ml
index 7bf1d55b4..020289292 100644
--- a/tools/depend.ml
+++ b/tools/depend.ml
@@ -124,7 +124,7 @@ let rec add_pattern bv pat =
| Ppat_variant(_, op) -> add_opt add_pattern bv op
| Ppat_type li -> add bv li
| Ppat_lazy p -> add_pattern bv p
- | Ppat_unpack _ -> ()
+ | Ppat_unpack id -> add bv (mkloc (Lident id.txt) id.loc)
let rec add_expr bv exp =
match exp.pexp_desc with