Type T = (aa,bb,cc,dd,ee,ff,gg,hh); Tset = set of t; Var a: Tset; Begin If (aa in a) Then begin end; {it seems that correct code is generated, but the syntax is wrong} End.