PR# 17588 Pretty printer replaces unicode characters with nulls

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/05/30
Class: Bug
Severity: Serious
Number: 17588
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: Pretty printer replaces unicode characters with nulls

Description
The pretty printer replaces unicode characters (I assume using UTF-8
encoding) with null characters.
To Reproduce
Run ec -pretty on attached class (test.e from eweasel test unicode001).
Problem Report Interactions
From:alexk_es    Date:2012/10/12    Status: Closed    Download    
Fixed in rev#89593 of EiffelStudio 7.2 intermediate release (review#8563069).

From:prestoat2000    Date:2011/05/30    Download    
Attachments for problem report #17588

Attachment: test.e     Size:4719