problem with applicative functors

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 21 insertions, 0 deletions

diff --git a/testsuite/tests/typing-misc/short-paths.ml b/testsuite/tests/typing-misc/short-paths.ml
new file mode 100644
index 0000000000..aa7e02d2f1
--- /dev/null
+++ b/testsuite/tests/typing-misc/short-paths.ml
@@ -0,0 +1,21 @@
+module Core = struct
+  module Int = struct
+    module T = struct
+      type t = int
+      let compare = compare
+      let (+) x y = x + y
+    end
+    include T
+    module Map = Map.Make(T)
+  end
+
+  module Std = struct
+    module Int = Int
+  end
+end
+
+open Core.Std
+
+
+let x = Int.Map.empty
+let y = x + x