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

Diff of /driver/cduce.ml

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

revision 26 by abate, Tue Jul 10 16:59:08 2007 UTC revision 27 by abate, Tue Jul 10 16:59:11 2007 UTC
# Line 39  Line 39 
39    | Typer.WrongLabel (t,l) ->    | Typer.WrongLabel (t,l) ->
40        Format.fprintf ppf "Wrong record selection: the label %s@\n"        Format.fprintf ppf "Wrong record selection: the label %s@\n"
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.ShouldHave (t,msg) ->    | Typer.ShouldHave (t,msg) ->
45        Format.fprintf ppf "This expression should have type %a@\n%s@\n"        Format.fprintf ppf "This expression should have type %a@\n%s@\n"
46          Types.Print.print_descr t          Types.Print.print_descr t
Legend:
Removed from v.26  
changed lines
  Added in v.27
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5