aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/closed/bug_3975.v
blob: afd35815dfd0af2dcd647b2031fc08f7395a21b7 (plain)
1
2
3
4
5
6
7
8
9
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 :-) *)
End P.