
inf_loop2.erl:122:1: The pattern [{_, LNorms}] can never match the type []
inf_loop2.erl:124:1: The pattern [{LinksA, LNormA}, {LinksB, LNormB}] can never match the type []
inf_loop2.erl:132:15: The pattern [{_, Norm} | _] can never match the type []
inf_loop2.erl:74:74: The call gb_trees:get(Edge::any(),Etab::array:array(_)) does not have an opaque term of type gb_trees:tree(_,_) as 2nd argument
