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.