PlusPy icon indicating copy to clipboard operation
PlusPy copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

Add support for 'STRING' in PlusPy

Open amanshaikh75 opened this issue 1 year ago • 6 comments

One of the TLA+ modules I have written uses 'STRING' which Pluspy declares is an 'unknown identifier'. Looking at pluspy.py, it seems like 'STRING' is not part of the ReservedWords list. Would it be possible to add support for STRING?

amanshaikh75 avatar Feb 15 '24 23:02 amanshaikh75