diff options
| -rw-r--r-- | test/Moretest/recmod.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Moretest/recmod.ml b/test/Moretest/recmod.ml index 49afadd4f..1573ef01b 100644 --- a/test/Moretest/recmod.ml +++ b/test/Moretest/recmod.ml @@ -425,6 +425,22 @@ let _ = test 81 (Coerce2.f1 ()) 1 ;; +module Coerce4(A : sig val f : int -> int end) = struct + let x = 0 + let at a = A.f a +end + +module rec Coerce5 + : sig val blabla: int -> int val f: int -> int end + = struct let blabla x = 0 let f x = 5 end +and Coerce6 + : sig val at: int -> int end + = Coerce4(Coerce5) + +let _ = + test 82 (Coerce6.at 100) 5 +;; + (* Miscellaneous bug reports *) module rec F |