Commits

camlspotter committed 1dc1b90

added test

  • Participants
  • Parent commits 25e2a25
  • Branches path-simplif

Comments (0)

Files changed (1)

test_path_simplif/test.ml

+module M = struct
+  type t = M
+end
+
+module N = struct
+  type t = N
+end
+
+open M
+
+let m = M.M (* t *)
+
+open N
+
+let n = N.N (* t *)
+
+let m = M.M (* M.t *)
+
+open M
+
+let n = N.N (* N.t *)
+
+type t = int
+let x = (1 : t) (* t *)
+
+type foobar = t
+let y = (1 : foobar) (* t *)
+
+type boo = foobar
+let z = (1 : boo) (* t *)
+
+module M1 : sig
+  type t
+  val x : t
+end = struct 
+  type t = int
+  let x = 1
+end
+
+let x = M1.x (* M1.t *)
+
+module Z = struct
+  type t = M1.t
+end
+
+let y = (x : Z.t) (* Z.t *)
+
+module Longmodule = struct
+  type t = M1.t
+end
+
+let z = (x : Longmodule.t) (* M1.t *)
+
+
+
+