search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Avoid printing so much to stdout #10

Closed Toxaris closed 11 years ago

Toxaris commented 11 years ago

Add an command line option (in PTS.Option) and change the main loop (in PTS.Main) to not print so much depending on the option.

Blaisorblade commented 11 years ago

It's unclear how little output you want, so I went for no output unless there are errors, because that's trivial to implement and because that's what most compilers do anyway.