Printing sums
Issue #765
resolved
Currently, if you write:
P( sum{x : Q(x):x}).
It is parsed well, and printed as:
P(sum(sum{ x[T] : Q(x) : x })).
(ugly double sum).
If you parse the latter, it is printed as:
P(sum(sum{ : true : sum(sum{ x[T] : Q(x) : x }) })).
If you parse the latter, it is printed as:
P(sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ x[T] : Q(x) : x }) }) }) })).
If you parse the latter, it is printed as:
P(sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ : true : sum(sum{ x[T] : Q(x) : x }) }) }) }) }) }) }) })).
Well... I guess you see the pattern. Printers should be simplified
Comments (10)
-
reporter
-
reporter
Disabled printtest. See
#765→ <<cset 18465ce5848a>>
-
reporter
Temporary disabled no longer parsing test. See
#765.It looks like cardinality of enum sets are no longer parsed? @PieterVH
→ <<cset 408fa2655839>>
-
These 2 tests are CP issues. See
#851 -
Revert "Temporary disabled no longer parsing test. See
#765."This reverts commit 408fa2655839c6ea657baa2daee2ea31666c1154.
→ <<cset 25330273f3f0>>
-
Revert "Disabled printtest. See
#765"This reverts commit 18465ce5848aef9b77279a2aa94b9ebdd0897088.
→ <<cset 9dad519ce657>>
-
Revert "Disabled printtest. See
#765"This reverts commit 18465ce5848aef9b77279a2aa94b9ebdd0897088.
→ <<cset 9dad519ce657>>
-
Revert "Temporary disabled no longer parsing test. See
#765."This reverts commit 408fa2655839c6ea657baa2daee2ea31666c1154.
→ <<cset 3a68e18fd626>>
-
reporter
- changed status to resolved
-
reporter
Revert "Temporary disabled no longer parsing test. See
#765."This reverts commit 408fa2655839c6ea657baa2daee2ea31666c1154.
→ <<cset 3a68e18fd626>>
- Log in to comment
Disabled two printertests
Reason: aggregates are printed wrongly. Not only ugly, but simply wrong. Should be fixed and then, tests should be reenabled.
See
#765"→ <<cset 13a1865f1574>>