PR# 17662 Pretty printer does not indent comments between features consistently

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2011/06/16

Class: Bug

Severity: Non-critical

Number: 17662

Release: 7.0.86746

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: Pretty printer does not indent comments between features consistently

Description

The pretty printer indents the first comment in a feature section that is
before the first feature differently than subsequent comments between
features.

It also occurred to me that comments separated by at least one newline:

   -- This is a comment

   -- This is a separate comment

should probably not be merged into a single multi-line comment (they
currently are).  Perhaps this deserves a separate test if you agree.

Added test pretty028.  I didn't fill in the file with the expected output
because I'm not certain what the "right" answer is.

To Reproduce

Run test pretty028.

Problem Report Interactions

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

Fixed in rev#88094 of EiffelStudio 7.1 intermediate release.