search

Toxaris / pts

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

Stop relying on Show for terms #78

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Instead, use prettyShow, a new alias for singleLine (whose name is questionable anyway).

This will allow adding 'deriving Show' for use in development.

We still create a Show instance based on pretty printing in some tests; arguably they should switch to this future Show instance, to show all nitty-gritty details of the inputs triggering failures.

Blaisorblade commented 9 years ago

Tested also with some erroneous files, the output still looks good.