mi scuso se riapro questa discussione dopo un pò di tempo,
dopo aver creato alcuni esempi positivamente con altre funzioni, sono tornato su questo codice
codice:
let rec sums ((s::_) as ss) xs =
  match xs with
    | []->[]
    | [x] -> (s+x) :: ss
    | (x::xs) -> sums ((s+x)::ss) xs;;
al momento dell' invocazione restituisce :
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]