TLA+ parser (Haskell library)

[Reto]

Hello, 

I've not been active on the mailing list, but have used TLA+ and the excellent tool suite for many years. I want start giving back by being active and help newcomers when and where I can. 

To start, I've got this little oddball announcement that I've made a Haskell library to parse TLA+ available at: 

  https://github.com/ret/specifica/tree/master/tlaplus

For context, this is a spare time project that I'm finally getting back to. It's not meant to replace or compete with any of the TL* tools! Instead, it grew from my effort to deeply understand the TLA+ language and build simple utilities based on it. My motivation to share is simply so this little library doesn't continue to be locked away, in case someone out there may find it useful in some fashion.

cheers,

- Reto

PS: The code is somewhat old, but now works with the latest GHC 8.2.2 compiler. I'm working to support TLA+2 in the parser and AST and will generally modernize the codebase during 2018. Right now, docs are not there and you need to be pretty fond of Haskell to get going, but hey, at least you don't need to start from nil.

[Jamie White]

Hi Reto

Thanks so much for sharing this. I’ve tried to read the source of SANY a couple of times but my lack of familiarity with Java made it an uphill struggle. It’s great to have another resource to learn from.

Jamie

[Reto]

Thanks for the kind words, Jamie!

[Andrew Helwer]

I actually just found out about this parser the other day after Chris Newcombe mentioned it. Is it fairly complete? Do you think it has a good chance of passing something like this syntax test corpus I developed, after appropriate adaptation? https://github.com/tlaplus/tlaplus-standard/tree/main/tests/tlaplus_syntax

Andrew