PR# 17585 Pretty printer replaces % character codes in manifest strings
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/05/30
Class: Bug
Severity: Non-critical
Number: 17585
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 replaces % character codes in manifest strings
Description
The pretty printer should leave manifest strings unchanged. It usually does, but in the case of codes like %/97/ or %A, it does not. Instead, it replaces some of these codes with the corresponding character. Presumably, the person who used these % codes did so intentionally, so I think they should be preserved.
To Reproduce
Run ec -pretty on attached class.