/[svn]/driver/cduce.ml
ViewVC logotype

Diff of /driver/cduce.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 16 by abate, Tue Jul 10 16:57:42 2007 UTC revision 17 by abate, Tue Jul 10 16:58:13 2007 UTC
# Line 19  Line 19 
19          Types.Print.print_descr t;          Types.Print.print_descr t;
20        Format.fprintf ppf "as shown by %a@\n"        Format.fprintf ppf "as shown by %a@\n"
21          Types.Print.print_sample (Types.Sample.get (Types.diff s t))          Types.Print.print_sample (Types.Sample.get (Types.diff s t))
22      | Typer.NonExhaustive t ->
23          Format.fprintf ppf "This pattern matching is not exhaustive@\n";
24          Format.fprintf ppf "Residual type: %a@\n"
25            Types.Print.print_descr t;
26          Format.fprintf ppf "Sample value: %a@\n"
27            Types.Print.print_sample (Types.Sample.get t)
28    | exn ->    | exn ->
29        Format.fprintf ppf "%s@\n" (Printexc.to_string exn)        Format.fprintf ppf "%s@\n" (Printexc.to_string exn)
30    
# Line 42  Line 48 
48          ) [] p in          ) [] p in
49      Typer.register_global_types type_decls;      Typer.register_global_types type_decls;
50      List.iter phrase p      List.iter phrase p
51    with exn -> print_exn ppf exn    with (Failure _) as e -> raise e | exn -> print_exn ppf exn
52    
Legend:
Removed from v.16  
changed lines
  Added in v.17
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5