On 02/03/2008, <b class="gmail_sendername">Kostis Sagonas</b> <<a href="mailto:kostis@cs.ntua.gr">kostis@cs.ntua.gr</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Robert Virding wrote:<br> ><br> > Please report bugs and other mis-features and I will fix them as soon as<br> > I can.<br> <br> <br>Well, since you asked for it, at a click of a button dialyzer reports<br> the following:<br>
 <br> lfe_scan.erl:215: The pattern <Rest, Line, {'end_token', T}, Ts> can<br> never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 |<br> 99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},_><br>
 lfe_scan.erl:164: The pattern <Rest, Line, {'end_token', T}> can never<br> match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 | 99 |<br> 101 | 103 | 104 | 105 | 108 | 114 | 116,...]}><br>
 lfe_scan.erl:118: The pattern <Rest, Line, {'end_token', T}, Ts> can<br> never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 |<br> 99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},[{atom(),_} |<br>
 {'number',_,_} | {'string',_,[any()]} | {'symbol',_,atom()}]><br> lfe_scan.erl:255: The pattern <Rest, Line, {'end_token', _T}, Error> can<br> never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 |<br>
 99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},_><br> <br> lfe_macro.erl:490: The pattern {'yes', _} can never match the type<br> 'error' | {'ok',_}<br> lfe_macro.erl:489: The pattern {'yes', _} can never match the type<br>
 'error' | {'ok',_}<br> <br> <br> The first set is just dead clauses. The second set, is a mismatch of the<br> return value of a function.</blockquote><div><br>The first lot from lfe_scan are just handling a possible legal case which can be used in leex but which I don't use here. You can return a token {end_token,Token} which means that if you use the tokens/2/3 call then it will read tokens up to and including an {end_token,...}. Perfect for Erlang '. '.<br>
<br>The second one was a bug, now fixed, thank you.<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> Dialyzer also reports some more additional warnings which are also<br>
 reported by the BEAM compiler, so I am suppressing these.</blockquote><div><br>None of the compiler warnings are interesting so I ignore them.<br><br>Robert<br><br></div></div>