anchor.diff:  (* ------------------------------------------------------------------------- *)
   
   /// Gets the name of a constant or variable.
  -let name_of tm = 
  +let name_of tm =
       match tm with
  -    | Var(x, ty)
  -    | Const(x, ty) -> x
  +    | Var(x, _)
  +    | Const(x, _) -> x
       | _ -> ""
   
   (* ------------------------------------------------------------------------- *)
  
positive.code:                 return [cl]
          }
  
      fun fmt ->
          let rec print_term prec tm =
              (* OPTIMIZE: Modify these functions to use option -- these heavily-nested
                           try-catch blocks are extremely slow. *)
              match try_user_printer tm with
  
negative.code:                                                              else pp_print_string fmt "("
                                                               pp_open_hvbox fmt 0
                                                               pp_print_string fmt "match "
                                                               print_term fmt 0 (hd args)
                                                               pp_print_string fmt " with"
                                                               pp_print_break fmt 1 2
                                                               print_clauses fmt cls
                                                               pp_close_box fmt ()
                                                               if prec = 0 then ()
                                                               else pp_print_string fmt ")")
  