Commit 425130c8 authored by Pietro Abate's avatar Pietro Abate

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

Original author: afrisch
Date: 2006-04-24 17:00:39+00:00
parent d094cbc8
......@@ -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@."
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment