replimoc / compiler

8 stars 0 forks source link

Testfile big.mj fails prettyprinter fixpoint test #180

Closed andreas-eberle closed 9 years ago

andreas-eberle commented 9 years ago

The test file reproduces a bug found in big.mj. The outputs behave in the following way:

original:  - - - (3)[4]
1. pretty: - (-(-3[4])))
2. pretty: - (-(-3)[4]))