haskell - exhaustivos - exhaustivo rae

Advirtiendo que el patrón de protección no es exhaustivo a pesar de que es

Question

Estoy observando un comportamiento interesante al usar la coincidencia de patrones con protectores de patrones y todas las advertencias activadas

{-# OPTIONS_GHC -Wall #-}
module Mood where
data Mood = Happy
| Indifferent
| Sad
deriving Show
flipMood :: Mood -> Mood
flipMood Happy = Sad
flipMood Indifferent = Indifferent
flipMood Sad = Happy
flipMood'' :: Mood -> Mood
flipMood'' mood
| Happy <- mood = Sad
| Indifferent <- mood = Indifferent
| Sad <- mood = Happy

Aunque flipMood y flipMood'' están haciendo prácticamente lo mismo, flipMood'' el siguiente mensaje de error:

Mood.hs:15:1: Warning:
Pattern match(es) are non-exhaustive
In an equation for ‘flipMood''’: Patterns not matched: _
Ok, modules loaded: Mood.

Y por lo tanto hay que añadir una captura de todos los casos como

| otherwise = mood

Para satisfacer el comprobador de exhaustividad.

El núcleo parece estar bien con estas dos funciones que se comportan igual:

flipMood =
/ ds_dTh ->
case ds_dTh of _ {
Happy -> Sad;
Indifferent -> Indifferent;
Sad -> Happy
}
flipMood'' = flipMood

Con las optimizaciones desactivadas, obtengo la siguiente salida Core que parece explicar este comportamiento:

flipMood'' =
/ mood_axV ->
case mood_axV of wild_X9 {
__DEFAULT ->
case wild_X9 of _ {
Indifferent -> Indifferent;
Sad -> Happy
};
Happy -> Sad
}

¿Por qué se comporta de esta manera? ¿Me estoy perdiendo de algo?

Saludos cordiales, raichoo

Answer 1

Hay un ticket largo de 10 años sobre eso. Básicamente: el control exhaustivo en ghc está esperando al héroe.

Agregado: El tema fue cerrado hoy. Acabo de verificar, el código ya no produce una advertencia no exhaustiva. Esperemos que sea parte de ghc-8.0 .