diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-08-13 08:12:19 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-08-13 08:12:19 +0000 |
| commit | 84ff3e5fd9980a00bd9fefbde3334875a0cf80e7 (patch) | |
| tree | 640a9cdbb418c3e86e931a55b271175c94ae0a65 | |
| parent | a8afc7f0a046a0c747ae917ee6d390ea4ce7e306 (diff) | |
Un test de plus (celui du PR#2920)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6599 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |