[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

ProcSet unavailable in PlusCal define statement


Is there a good reason why the definition of ProcSet provided by the
PlusCal translator is unavailable for use in the define { } statement in

I tried to write some definitions/functions using ProcSet, but it seems
that the PlusCal translator inserts the definition of ProcSet after the
definitions provided in the define statement (and the definitions of
local variables).

Best regards,
Jaak Ristioja