Re: [tlaplus] TLAPS parser

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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

AFAIK SANY's XML export is the result of an incomplete attempt to make 
TLAPS use SANY.

Markus

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/179f7bd6-1aab-6e13-0677-eb26df6603d2%40lemmster.de.