test-suite/bugs/closed/bug_13162.v


1
2
3
4
5
6
7

Module Type T. End T.
Module F (X:T). End F.
Fail Import F.
(* Error: Anomaly "Uncaught exception Not_found." *)

Fail Import T.