Ich konnte keine Antwort auf meine Frage unter mehreren mehrdeutigen Variablenfehlern finden.
Grundsätzlich möchte ich Typinformationen auf die Wertebene bringen. Die letzte Zeile in diesem Beispiel schlägt fehl.
%Vor%Hier ist die erste Fehlermeldung:
%Vor%Ich verstehe es einfach nicht.
Was ist a0 hier? Könnte es sein, dass der a von meiner letzten Zeile nicht mit dem von der vorletzten Zeile identifiziert wird?
Wo sollte ich eine Typ-Signatur setzen und warum?
Bitte erleuchte mich!
Ok, ich habe eine Lösung, aber ich weiß nicht, ob dies die sauberste Problemumgehung ist.
Durch das Hinzufügen von {-# LANGUAGE ScopedTypeVariables #-} wird der Code kompiliert. Dies macht es möglich, a0 mit a aus der Fehlermeldung zu identifizieren (entsprechend der a s aus den letzten beiden Zeilen des Codes).
Bitte kommentieren!
Tags und Links haskell