[r2006-04-24 17:00:39 by afrisch] New subtyping algo

Original author: afrisch
Date: 2006-04-24 17:00:39+00:00

driver/cduce.ml

@@ -107,8 +107,8 @@ let rec print_exn ppf = function
       Format.fprintf ppf "but its inferred type is:@.%a@." 
         print_norm s;
       Format.fprintf ppf "which is not a subtype, as shown by the sample:@.%a@." 
-	(* print_sample (Sample.get (Types.diff s t)) *)
-	Types.Witness.print_witness (Types.witness (Types.diff s t))
+	print_sample (Sample.get (Types.diff s t))
+	(* Types.Witness.print_witness (Types.witness (Types.diff s t)) *)
   | Typer.NonExhaustive t ->
       Format.fprintf ppf "This pattern matching is not exhaustive@.";
       Format.fprintf ppf "Residual type:@.%a@."