Pregunta

I have a list of record where I want to delete a specific record :

list_clients = [{name = "c6"; number = 9}; {name = "c12"; number = 3}; {name = "c17"; number = 6};]

I'm quite sure that it is impossible to remove a record from the list, but I would like to know what is the best way to return a list without a specific record (let's say that I want to remove name = "c12" or any other name).

¿Fue útil?

Solución

List.filter (fun {name; _} -> name <> "c12") list_clients
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow
scroll top