Listing: 1 MODULE TCyc; 2 TYPE A = A; ***** ^ cyclical type definition 3 VAR v : A; 4 BEGIN v := v 5 END TCyc. 1 error