Bug?: pretty printer not formatted on either match

[Sporarum]

Here's the output:

[INFO] matchleft (c + c + c + c) { caselefta => 2 * a * a * a * a * acaserighta => a }

Other trees work fine, for example:

[INFO] fun of a = {
[INFO] 2 * a * a * a * a * a
[INFO] }
[INFO] (c + c + c + c)

[jad-hamza]

Thanks for the report. Can you give the original file and the command to run? Do you get this on the latest master? The printer is still experimental and spacing is controlled here:

StainlessFit/core/src/main/scala/trees/Printer.scala

Line 55 in b54177f

def insertSpace(t1: Token, t2: Token): Boolean = (t1, t2) match {

[Sporarum]

Error occurs on https://github.com/Sporarum/StainlessFit/tree/partEval (merged with latest master),
when running: fit parteval examples/parteval/eitherMatch.sf
The spacing is correct now, but the line feeds are still missing:
[INFO] match left (c + c + c + c) { case left a => 2 * a * a * a * a * a case right a => a }
(Note: This is all a single line, github's automatic linefeed just lands correctly by chance)

[jad-hamza]

I added some new lines in 27f69d5, should be better now