Muster-Synonym kann Typen in der Typenliste nicht vereinheitlichen

8

Ich erhalte einen Fehler, wenn ich versuche, ein Muster-Synonym zu definieren auf einer GADT mit einer Liste auf Typenebene.

Ich habe es geschafft, es auf dieses Beispiel zu reduzieren:

%Vor%

Gibt mir:

%Vor%

Ist das ein Fehler, oder mache ich etwas falsch?

    
rampion 30.03.2016, 22:24
quelle

1 Antwort

7

Danke dfeuer's Kommentar und dieses Ticket , ich konnte meinen Beispielcode kompilieren, indem ich der Musterdefinition eine Typensignatur hinzufügte :

%Vor%

Das verallgemeinert sich auch gut zu polymorphen Mustern

%Vor%     
rampion 30.03.2016, 22:44
quelle

Tags und Links

Django: Verwenden von Annotate, Count und Distinct in einem Queryset exec Zeile aus Datei in bash