PR# 19285 Syntax updater does not update procedure with TUPLE [like Current]
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Low
Date: 2016/11/03
Class: Bug
Severity: Non-critical
Number: 19285
Release: 16.05
Confidential: No
Status: Open
Responsible: jfiat_es
Environment: linux
Synopsis: Syntax updater does not update procedure with TUPLE [like Current]
Description
In Eiffel 16.05.98969, I invoked the syntax updater via $ISE_EIFFEL/tools/spec/linux-x86/bin/syntax_updater -v -a -e ~/eiffel/agent where the last argument is the directory with the source files and .ecf file. This resulted in declaration p0: PROCEDURE [ANY, TUPLE [like Current]] being changed to p0: PROCEDURE [TUPLE [like Current]] I expected it be changed to p0: PROCEDURE [like Current] A declaration p1: PROCEDURE [ANY, TUPLE [like Current, like Current]] is changed to p1: PROCEDURE [like Current, like Current] (which is what I expected).
To Reproduce
Run syntax_updater with -a argument on attached files.
Problem Report Interactions