Skip to content

Commit d6fa38f

Browse files
committed
Add test case from JS
1 parent 9a17b52 commit d6fa38f

File tree

3 files changed

+48
-0
lines changed

3 files changed

+48
-0
lines changed
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
open! Import
2+
include S
3+
module Thing : sig end
4+
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
module type S0 = sig
2+
module Thing : sig
3+
module Config : sig end
4+
end
5+
end
6+
7+
module type S = sig
8+
include S0
9+
10+
module Thing : sig
11+
module Config = Thing.Config
12+
end
13+
end
Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
A bug report from JS. This code was causing a loop / stack overflow. Success is
2+
simply finishing!
3+
4+
$ ocamlc -c import.mli -bin-annot
5+
$ ocamlc -c a.mli -bin-annot
6+
7+
$ odoc compile import.cmti -I .
8+
$ odoc compile a.cmti -I .
9+
10+
$ odoc link import.odoc -I .
11+
$ odoc link a.odoc -I .
12+
13+
$ odoc_print --short a.odocl --show-expansions --show-include-expansions
14+
open [ ]
15+
include Import.S
16+
(sig :
17+
include Import.S0
18+
(sig :
19+
module {Thing}1/shadowed/(3a2d2fba08409314e6d44caea0e32a6c) :
20+
sig module Config : sig end end
21+
end)
22+
module {Thing}1/shadowed/(6dc74508933c72a27f1a6b60f24a7e4f) :
23+
sig
24+
module Config =
25+
{Thing}1/shadowed/(3a2d2fba08409314e6d44caea0e32a6c).Config
26+
(sig : end)
27+
end
28+
end)
29+
module Thing : sig end
30+
31+

0 commit comments

Comments
 (0)