Re: [Liberty-eiffel] Feature "is once then"

[Raphael Mack]

Tss, I stumbled over the very same line... See
https://github.com/LibertyEiffel/Liberty/commit/43923e500f718da3f6e30632b0efab2c5dc817dc#commitcomment-9440679
for the discussion.

But on the other side you are right, we even do not have any  
documentation of this syntax and its semantics in our wiki. @Cyril: do  
you have a link handy, where you read about this feature?

Regards,
Rapha

Zitat von Paolo Redaelli <address@hidden>:

> I found this little line in
> https://github.com/tybor/Liberty/blob/master/src/lib/xml/dtd/xml_dtd_validator.e
>
> backtrack_next_pcdata_marker: UNICODE_STRING *is once then *U"__#PCDATA__"
> end
>
> and it's puzzling me. Ok, the compiler tells me that "is" is deprecated.
> I never found the "once then" syntax....
>
> I looked into ECMA 367 and on the web but I coulnd't find any reference to
> such a syntax.
>
> What does it mean?
>
> Cheers
>   Paolo who would like to have an Eiffel to JavaScript transcompile