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

Diff of /driver/cduce.ml

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

revision 63 by abate, Tue Jul 10 17:01:47 2007 UTC revision 64 by abate, Tue Jul 10 17:02:32 2007 UTC
# Line 39  Line 39 
39              l1 c1 l2 c2              l1 c1 l2 c2
40        );        );
41        print_exn ppf exn        print_exn ppf exn
42      | Value.CDuceExn v ->
43          Format.fprintf ppf "Uncaught CDuce exception: @[%a@]@\n"
44            Value.print v
45    | Typer.WrongLabel (t,l) ->    | Typer.WrongLabel (t,l) ->
46        Format.fprintf ppf "Wrong record selection: the label %s@\n"        Format.fprintf ppf "Wrong record selection: the label %s@\n"
47          (Types.label_name l);          (Types.label_name l);
Legend:
Removed from v.63  
changed lines
  Added in v.64
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5