<div dir="auto">Hi, can't repro in the current master either, false alarm I guess.<div dir="auto"><br></div><div dir="auto">Cheers</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 14, 2018, 21:23 Adrian Thurston <<a href="mailto:thurston@colm.net">thurston@colm.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><u></u>
<div 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">
<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" target="_blank" rel="noreferrer">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="m_-170712532806442538gmail_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" target="_blank" rel="noreferrer">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" target="_blank" rel="noreferrer">ragel-users@colm.net</a>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users" target="_blank" rel="noreferrer">http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users</a>
</pre>
</blockquote>
</div>
_______________________________________________<br>
ragel-users mailing list<br>
<a href="mailto:ragel-users@colm.net" target="_blank" rel="noreferrer">ragel-users@colm.net</a><br>
<a href="http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users" rel="noreferrer noreferrer" target="_blank">http://www.colm.net/cgi-bin/mailman/listinfo/ragel-users</a></blockquote></div>