PR# 19985 Once creation procedure

Problem Report Summary

Submitter: gobobe

Category: Compiler

Priority: Low

Date: 2026/05/29

Class: Bug

Severity: Non-critical

Number: 19985

Release: 25.12.9.8922

Confidential: No

Status: Open

Responsible:

Environment: win

Synopsis: Once creation procedure

Description

The Eiffel standard does not allow a creation procedure to be a once routine (VGCC-4 or VKCC-4).
In the example below, the class is not a once class, but EiffelStudio fails to report this validity error.

--
Eric Bezault

To Reproduce

class BB

create

	f

feature

	f
		once
			attr := 1
		end

	attr: INTEGER

end

Problem Report Interactions