TLAPS parser
33 views
Skip to first unread message
Andrew Helwer
Dec 25, 2021, 10:35:58 AM12/25/21
to tlaplus
Does TLAPS use SANY for its parsing? If not, where is the TLAPS parser source code?
Markus Kuppe
Dec 25, 2021, 2:38:39 PM12/25/21
to tla...@googlegroups.com
On 12/25/21 7:35 AM, Andrew Helwer wrote:
> Does TLAPS use SANY for its parsing? If not, where is the TLAPS parser
> source code?
https://github.com/tlaplus/tlapm/blob/main/src/tla_parser.ml
> Does TLAPS use SANY for its parsing? If not, where is the TLAPS parser
> source code?
AFAIK SANY's XML export is the result of an incomplete attempt to make
TLAPS use SANY.
Markus
Reply all
Reply to author
Forward
0 new messages