Buenas,
Estoy con el ejercicio 5.2 del practico 5, pero esta consulta es mas genérica sobre pattern matching.
Al definir una funcion recursiva, utilizando _ como patron por defecto, obtengo el siguiente error:
Pattern "_" is redundant in this clause.
Concretamente mi definición intenta ser esta:
Fixpoint deleteAll (a:A)(l:List) {struct l}: List:=
match l with
|nullL => nullL
|consL x s => match x with
| a => deleteAll a s
| _ => consL x (deleteAll a s)
end
end.
Cual es la forma correcta de definir un patron para x cuando es diferente de a?
Desde ya gracias
Saludos