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

Diff of /driver/cduce.ml

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

revision 27 by abate, Tue Jul 10 16:59:11 2007 UTC revision 28 by abate, Tue Jul 10 16:59:15 2007 UTC
# Line 41  Line 41 
41          (Types.label_name l);          (Types.label_name l);
42        Format.fprintf ppf "applied to an expression of type %a@\n"        Format.fprintf ppf "applied to an expression of type %a@\n"
43          Types.Print.print_descr t          Types.Print.print_descr t
44      | Typer.MultipleLabel l ->
45          Format.fprintf ppf "Multiple occurences for the record label %s@\n"
46            (Types.label_name l);
47    | Typer.ShouldHave (t,msg) ->    | Typer.ShouldHave (t,msg) ->
48        Format.fprintf ppf "This expression should have type %a@\n%s@\n"        Format.fprintf ppf "This expression should have type %a@\n%s@\n"
49          Types.Print.print_descr t          Types.Print.print_descr t
# Line 82  Line 85 
85          ) [] p in          ) [] p in
86      Typer.register_global_types type_decls;      Typer.register_global_types type_decls;
87      List.iter phrase p      List.iter phrase p
88    with  (Failure _) as e -> raise e    with
89        | (Failure _) as e -> raise e  (* To get the ocamlrun stack trace *)
90         | exn -> print_exn ppf exn         | exn -> print_exn ppf exn
91    
92    
Legend:
Removed from v.27  
changed lines
  Added in v.28
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5