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

[Paolo Redaelli]

Many thanks to both of you :-)
I've been studying _javascript_ and HTML5. 
Nice and nifty but the more I use it the more I long for our old beloved, stable, reliable, solid Eiffel... 
Too many things to do.  I wish there were an Eiffel to _javascript_ transcompiler. I shall really write some quick and dirt hack

Il 03 luglio 2015 11:42:43 CEST, Cyril ADRIAN <address@hidden> ha scritto:

Hi,

Sorry for the delay

See this blog post: https://bertrandmeyer.com/2014/01/29/eiffel-as-an-_expression_-language/

esp. the linked pdf file

Cheers,

Cyril

2015-07-03 11:08 GMT+02:00 Raphael Mack <address@hidden>:

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

-- Inviato dal mio cellulare Android con K-9 Mail.