Ein Ausdruck wie -(-e) oder - -e (PreMinus _ (PreMinus _ e)) wird von pretty als --e (PreDecrement _ e) ausgegeben. + ist auch betroffen (PrePlus → PreIncrement). Andere Operatoren sowie andere Kombinationen von + und - verursachen keine Probleme.
In Language.Java.Pretty müsste entschieden werden, wie solche Sonderfälle behandelt werden sollten. Einige Möglichkeiten wären:
-(-e): Klammern nur bei verschachtelten + oder -- -e: Leerzeichen nur bei verschachtelten + oder -- - e: immer Leerzeichen nach + oder -
Ein Ausdruck wie
-(-e)oder- -e(PreMinus _ (PreMinus _ e)) wird vonprettyals--e(PreDecrement _ e) ausgegeben.+ist auch betroffen (PrePlus→PreIncrement). Andere Operatoren sowie andere Kombinationen von+und-verursachen keine Probleme.In
Language.Java.Prettymüsste entschieden werden, wie solche Sonderfälle behandelt werden sollten. Einige Möglichkeiten wären:-(-e): Klammern nur bei verschachtelten+oder-- -e: Leerzeichen nur bei verschachtelten+oder-- - e: immer Leerzeichen nach+oder-