PR# 19623 Recursive calls in attribute body

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2020/03/11
Class: Feature Request
Severity: Non-critical
Number: 19623
Release: 19.12.10.3842
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: Recursive calls in attribute body

Description
I would have assumed that recursive calls in attribute bodies would be handled like recursive calls in once functions. But apparently not. The following code:

~~~~~~~~~~~~~~
      f: T
           attribute
                 create Result.make
                 do_something (f)
           end
~~~~~~~~~~~~~~

enters into an infinite loop.

I did not mark it as a bug because I'm not sure what is the most desirable behavior.

--
Eric Bezault
To Reproduce

										
Problem Report Interactions