<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div><br></div><div><br>On Jul 9, 2015, at 1:03 PM, Serge Aleynikov <<a href="mailto:serge@aleynikov.org">serge@aleynikov.org</a>> wrote:<br></div><blockquote type="cite"><div><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br>case {Ctrl, Char} of<br> {ctrl, _} -></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"> ignore;<br> {_, $\n} | {_, $\r} -><br> end_of_line;</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"> Other -></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"> Other</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">end.<br> </div></div></div></blockquote><br><div>This can be achieved now with a guard like so </div><div><br></div><div>case {Ctrl, Char} of</div><div> {ctrl, _} -></div><div> ignore;</div><div> {_, C} where C =:= $\n; C =:= $\r -></div><div> end_of_line;</div><div> Other -></div><div> Other</div><div>end</div><div><br></div><div>Granted it's not as compact...</div><div><br></div><div>-Anthony</div></body></html>