I noticed that GPC allows non-constants in variant record lists which neither EP nor BP support. As it would cause additional difficulties when fixing Emil's test program and perhaps elsewhere, and I can't see much use for it, the attached patch forbids it.
program fjf1028a (Output);
var a: Integer value 1;
type t = record case Integer of a: (b: Integer) { WRONG } end;
begin end.
program fjf1028b (Output);
type t (a: Integer) = record case Integer of a: (b: Integer) { WRONG } end;
begin end.
Frank