RosettaCodeData/Task/Enforced-immutability/Ada/enforced-immutability-2.ada
2016-12-05 22:15:40 +01:00

6 lines
184 B
Ada

type T is limited private; -- inner structure is hidden
X, Y: T;
B: Boolean;
-- The following operations do not exist:
X := Y; -- illegal (cannot be compiled
B := X = Y; -- illegal