equal
  deleted
  inserted
  replaced
  
    
    
|     20 } |     20 } | 
|     21  |     21  | 
|     22 length_string_list(List("1", "2", "3", "4")) |     22 length_string_list(List("1", "2", "3", "4")) | 
|     23 length_int_list(List(1, 2, 3, 4)) |     23 length_int_list(List(1, 2, 3, 4)) | 
|     24  |     24  | 
|     25 //----- |         | 
|     26 def length[A](lst: List[A]): Int = lst match { |     25 def length[A](lst: List[A]): Int = lst match { | 
|     27   case Nil => 0 |     26   case Nil => 0 | 
|     28   case x::xs => 1 + length(xs) |     27   case x::xs => 1 + length(xs) | 
|     29 } |     28 } | 
|     30 length(List("1", "2", "3", "4")) |     29 length(List("1", "2", "3", "4")) |