liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ECMA's 'attached' type semantics


From: Paolo Redaelli
Subject: Re: ECMA's 'attached' type semantics
Date: Wed, 4 Sep 2024 16:41:42 +0200
User-agent: Mozilla Thunderbird


Il 04/09/24 12:14, Hans Zwakenberg ha scritto:
Hi group,
 
what does it take to implement ECMA's 'attached' type semantics?
Diving in the compiler source code, study its structure and design quite extensively...
 
This question popped up after realising that using this would be an instrument for avoiding calls on void targets, as documented in ECMA 8.11.20 and as alluded to by Cyril in the past.

... in fact this much desirable change require changes in many parts of the compiler. I wish I could say I have the required knowledge, but sadly currently I couldn't. I'm working to fix this as I also  wanted to implement "convert".

reply via email to

[Prev in Thread] Current Thread [Next in Thread]