Add a test for the size of module type of expressions

Author: jonludlam

test/xref2/module_type_of_size.t/compile.sh

@@ -0,0 +1,16 @@
+#!/bin/sh
+set -ex
+ocamlc -c m1.mli -bin-annot
+ocamlc -c m2.mli -bin-annot
+ocamlc -c m3.mli -bin-annot
+ocamlc -c m4.mli -bin-annot
+ocamlc -c m5.mli -bin-annot
+ocamlc -c m6.mli -bin-annot
+ocamlc -c m7.mli -bin-annot
+ocamlc -c m8.mli -bin-annot
+ocamlc -c m9.mli -bin-annot
+ocamlc -c m10.mli -bin-annot
+ocamlc -c m11.mli -bin-annot
+ocamlc -c m12.mli -bin-annot
+ocamlc -c m13.mli -bin-annot
+ocamlc -c m14.mli -bin-annot

test/xref2/module_type_of_size.t/gen.sh

@@ -0,0 +1,13 @@
+#!/bin/sh
+for ((i=2; i<15; i++)); do echo "module type M = module type of M$((i-1)) with module N = M1.T" > m$i.mli; echo "module N : sig type t end" >> m$i.mli; done
+
+echo "#!/bin/sh" > compile.sh
+echo "set -ex" >> compile.sh
+for ((i=1; i<15; i++)); do echo "ocamlc -c m$i.mli -bin-annot" >> compile.sh; done
+
+echo "#!/bin/sh" > odoc.sh
+echo "set -ex" >> odoc.sh
+for ((i=1; i<15; i++)); do echo "odoc compile -I . m$i.cmti" >> odoc.sh; done
+
+chmod +x compile.sh odoc.sh
+

test/xref2/module_type_of_size.t/m1.mli

@@ -0,0 +1,6 @@
+module type M = sig
+  type t
+end
+
+module N : sig type t end
+module T : sig type t type u end

test/xref2/module_type_of_size.t/m10.mli

@@ -0,0 +1,2 @@
+module type M = module type of M9 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m11.mli

@@ -0,0 +1,2 @@
+module type M = module type of M10 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m12.mli

@@ -0,0 +1,2 @@
+module type M = module type of M11 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m13.mli

@@ -0,0 +1,2 @@
+module type M = module type of M12 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m14.mli

@@ -0,0 +1,2 @@
+module type M = module type of M13 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m2.mli

@@ -0,0 +1,2 @@
+module type M = module type of M1 with module N = M1.T
+module N : sig type t end

test/xref2/module_type_of_size.t/m3.mli

@@ -0,0 +1,2 @@
+module type M = module type of M2 with module N = M1.T
+module N : sig type t end