Buenas! Estoy tratando de hacer esta función pero me da una excepción y no entiendo por que.
Lo que hice (que coincide con el video de la sesión 7 del practico) fue:
data Nat = Zero | Succ Nat
deriving(Show, Eq, Ord)
nat2int:: Nat -> Int
nat2int Zero = 0
net2int (Succ n) = 1 + nat2int n
Pero al intentar correr: nat2int (Succ Zero)
Me devuelve: *** Exception: P4.hs:7:1-20: Non-exhaustive patterns in function nat2int
Resulta que si agrego el caso nat2int (Succ Zero) a la función, ya no da el error pero si vuelvo a intentarlo con
Succ $ Succ Zero se repite el problema.
Ideas?
Gracias! Saludos,