PR# 17591 Prett y printer produces differing indentation for comments between features

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/05/31

Class: Bug

Severity: Non-critical

Number: 17591

Release: 6.8.86542

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8

Synopsis: Prett y printer produces differing indentation for comments between features

Description

I'm not sure this is a bug, but it does seem inconsistent.  The pretty printer
indents comments between features by one tab if comment is before first
feature in a section or after last feature in a section.  It indents other
comments between features by 3 tabs.  It isn't clear to me what the "correct"
result is.

To Reproduce

Run ec -pretty on attached class.

Problem Report Interactions

From:alexk_es Date:2011/12/01 Status: Closed Download

Fixed in rev#88095 of EiffelStudio 7.1 intermediate release.

From:alexk_es Date:2011/12/01 Status: Analyzed Download

Added the corresopnding test case to test#pretty028.

From:prestoat2000 Date:2011/05/31 Download

Attachments for problem report #17591

Attachment: test.e Size:389