Muster Synonyme führen zu unerschöpflichen Mustererkennung

Question

Ich habe geschafft, das folgende "minimale" Beispiel zu konstruieren, das mein Problem zeigt.

Sofern die PatternSynonyms Erweiterung

aktiviert

data Vec = Vec Int Int 

pattern Ve x y = Vec x y 

f :: (Vec, Vec) -> Vec 
f (v@(Ve a b), Ve c d) 
    | a > b  = Vec c d 
    | otherwise = v 

ich eine Warnung für die Funktion erhalten f

Warning: Pattern match(es) are non-exhaustive 
    In an equation for `f': Patterns not matched: (_, _) 

sagen, wenn ich jeden Ve mit Vec ersetzt würde es nicht beschweren. Wie interferiert mein singuläres Muster-Synonym hier?

Answer 1

Es ist noch nicht implementiert, siehe #8779. Ich bin hier nicht zu erwarten, aber ich weiß, dass Vollständigkeitsprüfungen in vielen Fällen, wie GADT oder Wachen, schwer zu implementieren sind. Wahrscheinlich ist es auch für Muster-Synonyme problematisch.