PR# 20051 EQA_SYSTEM_PATH violates VYCP-4
Problem Report Summary
Submitter: gobobe
Category: EiffelTest
Priority: Low
Date: 2026/11/06
Class: Bug
Severity: Non-critical
Number: 20051
Release: 26.09.9.9100
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: EQA_SYSTEM_PATH violates VYCP-4
Description
In class EQA_SYSTEM_PATH we can see:
```eiffel
convert
make ({ARRAY [STRING_8], ARRAY [READABLE_STRING_8], ARRAY [IMMUTABLE_STRING_8], ARRAY [STRING_32],
ARRAY [READABLE_STRING_32], ARRAY [IMMUTABLE_STRING_32], ARRAY [READABLE_STRING_GENERAL]})
```
This violates ECMA's validity rule VYCP-4:
```
4. SOURCEs base class is different from the base class of any other
conversion type listed for a Conversion_procedure in the Converters
clause of C.
```
Is there a way to make this class compliant with ECMA, or should this ECMA rule be relaxed in some way in order to accept this class?
--
Eric Bezault
To Reproduce
Problem Report Interactions