15 Jan
2022
15 Jan
'22
2:40 p.m.
Le 15/01/2022 à 15:32, Terry Phelps a écrit : ...
*last [] = [] * (Yes, I know that's not a non-empty list, but I don't want ghci whining about non-exhaustive patterns). Then I added:
*last [x] = x*
Please notice that these two clauses are type-incoherent, unless *x* is a list Jerzy Karczmarczuk -- L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast. https://www.avast.com/antivirus