<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html><body style='font-size: 14pt; font-family: Verdana,Geneva,sans-serif'>
<p>Hi Nami, yes not able to figure out this issue. Could you please provide a stripped-down example? </p>
<p>Thanks,<br /> Adrian</p>
<p>On 2018-12-06 04:45, Nami WANG wrote:</p>
<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->
<div dir="ltr">
<div dir="ltr">Hi,
<div> </div>
<div>I've got an embedded-with-rust ragel file which runs forever.</div>
<div> </div>
<div>After some digging, I narrowed down the issue and seems that the static lifetime annotations in rust are the problem.</div>
<div> </div>
<div>Apparently, codes like</div>
<blockquote class="gmail_quote" style="margin: 0px 0px 0px 0.8ex; border-left: 1px solid #cccccc; padding-left: 1ex;">fn some_fn() -> &'static str { "foo" }</blockquote>
<div>would cause an infinite-loop in ragel.</div>
<div> </div>
<div>I'd like to provide a case if you guys couldn't repro the issue.</div>
<div> </div>
<div>ref for static lifetimes in rust: <a href="https://doc.rust-lang.org/book/second-edition/ch10-03-lifetime-syntax.html#the-static-lifetime">https://doc.rust-lang.org/book/second-edition/ch10-03-lifetime-syntax.html#the-static-lifetime</a></div>
<div>
<div> </div>
<div>
<div>Thanks!</div>
<div> </div>
</div>
-- <br />
<div class="gmail_signature" dir="ltr">
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">
<div dir="ltr">
<div>Best regards,</div>
<div> </div>
<div>Nami WANG<br />
<div><a href="mailto:namiheike@gmail.com">namiheike@gmail.com</a></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br />
<pre>_______________________________________________
ragel-users mailing list
<a href="mailto:ragel-users@colm.net">ragel-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users">http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users</a>
</pre>
</blockquote>
</body></html>