blob: 95851c81374fbadaa9dd859232b43c024c46f845 (
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 :-) *)
|