
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">

<html><body style='font-size: 14pt; font-family: Verdana,Geneva,sans-serif'>

<p>Thank Barracuda Networks for this feature add. Specifically, William Ahern and Zach Levow.</p>

<p>On 2018-04-19 02:24, Will Dowling wrote:</p>

<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->

<blockquote type="cite" style="padding-left:5px; border-left:#1010ff 2px solid; margin-left:5px"><span style="font-family: Menlo-Regular; font-size: 11px; float: none; display: inline !important;">It's actually already implemented in ragel 7. See tests/args*.rl.</span></blockquote>

<div><span style="font-family: Menlo-Regular; font-size: 11px; float: none; display: inline !important;"> </span></div>

<div>That's awesome for me too - thanks for the heads up!</div>

<div>Looking forward to 7 stable so I can use it.</div>

<div> </div>

<div>Cheers :)</div>

<div>

<div style="color: #000000; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;"><br class="Apple-interchange-newline" /><br /></div>

<div style="color: #000000; font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;">Will Dowling<br /><br />E: <a href="mailto:will@autodeist.com">will@autodeist.com</a></div>

</div>

<div> </div>

<!-- html ignored --><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>