Difference between revisions of "Talk:ECMA Implementation"
m |
Peter gummer (Talk | contribs) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
--[[User:Peter gummer|Peter gummer]] 10:23, 14 May 2007 (CEST) The third complex task, "Other New expanded semantic": does that mean conformance of expanded generic parameters? | --[[User:Peter gummer|Peter gummer]] 10:23, 14 May 2007 (CEST) The third complex task, "Other New expanded semantic": does that mean conformance of expanded generic parameters? | ||
− | Yes, it includes support for reattachment of generic derivations with actual parameters that are expanded types to generic derivations with actual parameters that are reference types. | + | --[[User:Alexander Kogtenkov|Alexander Kogtenkov]] 13:42, 14 May 2007 (CEST) Yes, it includes support for reattachment of generic derivations with actual parameters that are expanded types to generic derivations with actual parameters that are reference types. |
+ | |||
+ | --[[User:Peter gummer|Peter gummer]] 16:09, 14 May 2007 (CEST) Hi Alexander. Within an hour or so of asking that question here, Es-changes Digest, Vol 15, Issue 25, arrived in my Inbox with news that you have implemented this in revision 68280. What an unbelievable coincidence! Currently in EiffelStudio 6.0.6.8277, the following program fails with a VJAR error. Does this mean that it will compile successfully in the next release? | ||
+ | |||
+ | <e> | ||
+ | |||
+ | class ROOT_CLASS | ||
+ | create make | ||
+ | |||
+ | feature make is | ||
+ | local | ||
+ | a: ARRAYED_LIST [PART_COMPARABLE] | ||
+ | b: ARRAYED_LIST [INTEGER] | ||
+ | do | ||
+ | b := a | ||
+ | end | ||
+ | |||
+ | end | ||
+ | |||
+ | </e> |
Latest revision as of 06:09, 14 May 2007
--Peter gummer 10:23, 14 May 2007 (CEST) The third complex task, "Other New expanded semantic": does that mean conformance of expanded generic parameters?
--Alexander Kogtenkov 13:42, 14 May 2007 (CEST) Yes, it includes support for reattachment of generic derivations with actual parameters that are expanded types to generic derivations with actual parameters that are reference types.
--Peter gummer 16:09, 14 May 2007 (CEST) Hi Alexander. Within an hour or so of asking that question here, Es-changes Digest, Vol 15, Issue 25, arrived in my Inbox with news that you have implemented this in revision 68280. What an unbelievable coincidence! Currently in EiffelStudio 6.0.6.8277, the following program fails with a VJAR error. Does this mean that it will compile successfully in the next release?
class ROOT_CLASS create make feature make is local a: ARRAYED_LIST [PART_COMPARABLE] b: ARRAYED_LIST [INTEGER] do b := a end end