Haskell Inaccessible Code-Fehler?

Question

Angenommen, ich habe den folgenden (fehlerhaften) Code.

data A a b where 
    APure :: (A a b) 
    AApply :: A (A b c) c 

test :: (A a b) -> a -> b 
test (APure) a = a 
test AApply a = undefined 

GHC wird mir dann diesen Fehler geben:

Couldn't match type `b' with `A b1 b' 
    `b' is a rigid type variable bound by 
     the type signature for test :: A a b -> a -> b 
Inaccessible code in 
    a pattern with constructor 
    AApply :: forall c b. A (A b c) c, 
    in an equation for `test' 
In the pattern: AApply 
In an equation for `test': test AApply a = undefined 

Ist das nicht diese Fehlermeldung völlig falsch? Der Fehler hat nichts mit AApply zu tun.

Answer 1

Isn't this error message completely wrong? The error has nothing to do with AApply .

Nicht vollständig. Es ist wohl ein Fehler, dass Sie diese Fehlermeldung erhalten, aber es ist nicht komplett aus der Basis.

Betrachten Sie die ganze Sache zusammen nach dem Betrachten der Stücke.

test (APure) a = a 

sagt, wir haben eine Funktion

test :: A a b -> r -> r 

setzen, die zusammen mit der Signatur

test :: (A a b) -> a -> b 

und vereinigen, den Typ Fehler aus der ersten Gleichung zu ignorieren, die Art zu

verfeinert

test :: A r r -> r -> r 

Schauen Sie sich die Gleichung

test AApply a = undefined 

und sieht, wie das unter der raffinierten Art nicht zugänglich ist, da

AApply :: A (A b c) c 

c ~ A b c 

mit sich bringen würde, wenn AApply ein gültiges erstes Argument sind.