Tuple for Infix sample language - Githubissues

microsoft / Trieste

A term rewriting system for experimental programming language development.

MIT License

37 stars 20 forks source link

Tuple for Infix sample language #126

Open fhackett opened 2 months ago

fhackett commented 2 months ago

Adds 3 different implementations of tuples in Infix, optionally enabled via flags.

Pending:

~~Prose write-up in the Markdown file(s).~~
~~Possibly minor clean-up on the testing code. I tried to keep it organized, but I'm not sure about polish.~~

Done:

README.md is updated
Core functionality

Might need reverting:

~~changes to how the maths pass handles calculations (wondered what it would look like, but probably overcomplicated)~~
doc comments for Trieste operators. Partially done. Maybe better than nothing though?

~~Bug in infix language that's not fixed:~~

~~x = 5 = 6; is accepted with no error~~

fhackett commented 1 month ago

Note to self: the infix main program has some issues involving printing outputs. Also, I forgot to update the postfix printer.