2983.v « closed « bugs « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/bugs/closed/2983.v

blob: 15598352b1cb24514c1e9f8dd98467c2184fa658 (plain)

Module Type ModA.
End ModA.
Module Type ModB(A : ModA).
End ModB.
Module Foo(A : ModA)(B : ModB A).
End Foo.

Print Module Foo.