diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-11-12 11:59:23 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-11-12 11:59:23 +0000 |
| commit | dcb6a4dd7eefc5f028b9056a031dcc80d7dfad2a (patch) | |
| tree | 04bafa3f5975913c828c794a53a9664c88361c5f /testsuite/tests/typing-modules-bugs/pr6651_ok.ml | |
| parent | 88fadf06bc2153023e0de2bc4ae96938e75aca1d (diff) | |
| download | ocaml-dcb6a4dd7eefc5f028b9056a031dcc80d7dfad2a.tar.gz | |
tentative fix of PR#6651
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/tests/typing-modules-bugs/pr6651_ok.ml')
| -rw-r--r-- | testsuite/tests/typing-modules-bugs/pr6651_ok.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules-bugs/pr6651_ok.ml b/testsuite/tests/typing-modules-bugs/pr6651_ok.ml new file mode 100644 index 0000000000..9c43005149 --- /dev/null +++ b/testsuite/tests/typing-modules-bugs/pr6651_ok.ml @@ -0,0 +1,13 @@ +module type S = sig + module type T + module X : T +end + +module F (X : S) = X.X + +module M = struct + module type T = sig type t end + module X = struct type t = int end +end + +type t = F(M).t |