It would be very nice if the PSL forall operator were supported. Presently ghdl gives an error when using -fpsl with an assertion such as the following:

-- psl assert forall i in {0 to 1}: always ((a=i -> eventually! b=i));

The error is:

';' is expected instead of "i"