[r2003-05-07 21:20:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-07 21:20:04+00:00

driver/cduce.ml

@@ -49,9 +49,11 @@ let rec print_exn ppf = function
         print_norm t;
       Format.fprintf ppf "but its infered type is: %a@\n" 
         print_norm s;
-      Format.fprintf ppf "which is not a subtype, as shown by the value %a@\n" 
-	Types.Sample.print (Types.Sample.get (Types.diff s t));
-      Format.fprintf ppf "%s@\n" msg
+      Format.fprintf ppf "which is not a subtype, as shown by the value " ;
+      Location.protect ppf
+	(fun ppf ->
+	   Types.Sample.print ppf (Types.Sample.get (Types.diff s t)));
+      Format.fprintf ppf "@\n%s@\n" msg
   | Typer.NonExhaustive t ->
       Format.fprintf ppf "This pattern matching is not exhaustive@\n";
       Format.fprintf ppf "Residual type: %a@\n"