[erlang-questions] LFE - Lisp Flavoured Erlang released

[Kostis Sagonas]

Robert Virding wrote:
> 
> Please report bugs and other mis-features and I will fix them as soon as 
> I can. 

Well, since you asked for it, at a click of a button dialyzer reports 
the following:

lfe_scan.erl:215: The pattern <Rest, Line, {'end_token', T}, Ts> can 
never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 | 
99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},_>
lfe_scan.erl:164: The pattern <Rest, Line, {'end_token', T}> can never 
match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 | 99 | 
101 | 103 | 104 | 105 | 108 | 114 | 116,...]}>
lfe_scan.erl:118: The pattern <Rest, Line, {'end_token', T}, Ts> can 
never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 | 
99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},[{atom(),_} | 
{'number',_,_} | {'string',_,[any()]} | {'symbol',_,atom()}]>
lfe_scan.erl:255: The pattern <Rest, Line, {'end_token', _T}, Error> can 
never match the type <_,_,'error' | 'skip_token' | {'error',[32 | 97 | 
99 | 101 | 103 | 104 | 105 | 108 | 114 | 116,...]},_>

lfe_macro.erl:490: The pattern {'yes', _} can never match the type 
'error' | {'ok',_}
lfe_macro.erl:489: The pattern {'yes', _} can never match the type 
'error' | {'ok',_}


The first set is just dead clauses. The second set, is a mismatch of the 
return value of a function.

Dialyzer also reports some more additional warnings which are also 
reported by the BEAM compiler, so I am suppressing these.

Cheers,
Kostis