
inf_loop1.erl:119:1: The pattern [{_, LNorms}] can never match the type []
inf_loop1.erl:121:1: The pattern [{LinksA, LNormA}, {LinksB, LNormB}] can never match the type []
inf_loop1.erl:129:15: The pattern [{_, Norm} | _] can never match the type []
inf_loop1.erl:71:74: The call gb_trees:get(Edge::any(),Etab::array:array(_)) will never return since the success typing is (any(),{_,{_,_,_,_}}) -> any() and the contract is (Key,Tree) -> Value when Tree :: tree(Key,Value)
