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")) |