blob: c7616b3ab611973ed7e7e2145cf969b902f9985e (
plain)
1
2
3
4
5
6
7
8
|
Module Type S. End S.
Module M (X:S). End M.
Module Type P (X : S).
Print M.
(* Used to say: Anomaly: X already exists. Please report. *)
(* Should rather : print something :-) *)
|