aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/2983.v
blob: 15598352b1cb24514c1e9f8dd98467c2184fa658 (plain)
1
2
3
4
5
6
7
8
Module Type ModA.
End ModA.
Module Type ModB(A : ModA).
End ModB.
Module Foo(A : ModA)(B : ModB A).
End Foo.

Print Module Foo.