diff options
| -rw-r--r-- | testsuite/tests/typing-modules-bugs/pr5343_bad.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules-bugs/pr5343_bad.ml b/testsuite/tests/typing-modules-bugs/pr5343_bad.ml new file mode 100644 index 000000000..0484c677c --- /dev/null +++ b/testsuite/tests/typing-modules-bugs/pr5343_bad.ml @@ -0,0 +1,13 @@ +module M : sig + type 'a t + type u = u t and v = v t + val f : int -> u + val g : v -> bool +end = struct + type 'a t = 'a + type u = int and v = bool + let f x = x + let g x = x +end;; + +let h (x : int) : bool = M.g (M.f x);; |