PR# 17581 Pretty printer formatting of inline agent in assertion not optimal
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/05/30
Class: Bug
Severity: Non-critical
Number: 17581
Release: 6.8.86542
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8
Synopsis: Pretty printer formatting of inline agent in assertion not optimal
Description
Pretty printing an inline agent that is inside an assertion does not produce very desirable results. In most cases, the "do" and "end" are not indented, so they line up with the assertion tag. In a class invariant, the "do" and "end" of an inline agent are indented one tab stop too much, instead of one tab stop too little.
To Reproduce
Run ec -pretty on attached class.