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

Re: [tlaplus] Macros with PlusCal and Toolbox

The attached module contains a PlusCal algorithm with several definitions and macros, and it is accepted by the Toolbox and the PlusCal translator.

You are right. I don't know why errors were reported. But after removing the translation and
running translation once again errors disappeared. Excuse me.
(Obviously if there were a more serious problem, I would send you my code.)