Add test for ocaml#1223

jonludlam · Feb 7, 2025 · 298f2e2 · 298f2e2
1 parent 1fd27ed
commit 298f2e2
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/test/xref2/github_issue_1223.t/run.t b/test/xref2/github_issue_1223.t/run.t
@@ -0,0 +1,6 @@
+This test is disabled because the bug is that it doesn't complete!
+
+ $ ocamlc -c -bin-annot test.mli
+ $ odoc compile test.cmti
+ $ odoc link test.odoc
+
diff --git a/test/xref2/github_issue_1223.t/test.mli b/test/xref2/github_issue_1223.t/test.mli
@@ -0,0 +1,13 @@
+(* can also be := *)
+module type Fail = sig end
+
+(* must be := *)
+module type Monad := sig
+  (* must be := and the same name *)
+  module type Fail := Fail
+
+  include Fail
+end
+
+include Monad
+