Analysiert Dialyzer anonyme Funktionen?

Question

In meinem Fortschritt des Lernens Elixir, spiele ich mit Dialyzer herum, um Typen auf meinen Funktionen zu setzen. In diesem Zusammenhang habe ich bemerkt, dass Dialyzer die Typen anscheinend nicht auf anonyme Funktionen überprüft.

Im folgenden Beispiel übergebe ich eine anonyme Funktion, die zwei Zahlen hinzufügt und eine Zahl (t::number -> number) an die all?-Funktion zurückgibt. Daher gebe ich keinen Booleschen Wert zurück, wie es in der all? Spezifikation (t::any -> boolean) versprochen wurde.

defmodule Exercises do                   
    @spec all?([t::any], (t::any -> boolean)) :: boolean           
    def all?([], _), do: true                 
    def all?([h|t], con) do                  
    if con.(h) do                    
     all?(t,con)                    
    else                      
     false                      
    end                       
    end                       

    @spec funski() :: boolean                  
    def funski() do                    
    all?([1,1,2], &(&1 + 1))                 
    end 
end 

Dialysator scheint keine Fehler oder Warnungen für diesen Code zu melden, und ich bin Kuriosität, wenn Dialysator nicht in der Lage ist, diese Art von Fehlern zu überprüfen oder wenn ich etwas falsch tue.

Answer 1

Es scheint ein Dialyzer Bug zu sein. Der Aufruf von :lists.all/2 (mit den ausgetauschten Argumenten) erzeugt die richtige Warnung, aber aus irgendeinem Grund ruft das Aufrufen Ihrer lokalen all?/2-Funktion mit der gleichen Spezifikation nicht auf.