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

Diff of /driver/cduce.ml

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

revision 521 by abate, Tue Jul 10 17:39:52 2007 UTC revision 522 by abate, Tue Jul 10 17:41:19 2007 UTC
# Line 43  Line 43 
43    
44    
45  let rec print_exn ppf = function  let rec print_exn ppf = function
46    | Location (loc, exn) ->    | Location (loc, w, exn) ->
47        Format.fprintf ppf "Error %a:@." Location.print_loc loc;        Format.fprintf ppf "Error %a:@." Location.print_loc (loc,w);
48        Format.fprintf ppf "%a" Location.html_hilight loc;        Format.fprintf ppf "%a" Location.html_hilight (loc,w);
49        print_exn ppf exn        print_exn ppf exn
50    | Value.CDuceExn v ->    | Value.CDuceExn v ->
51        Format.fprintf ppf "Uncaught CDuce exception: @[%a@]@."        Format.fprintf ppf "Uncaught CDuce exception: @[%a@]@."
# Line 173  Line 173 
173        let t = Typer.type_check !typing_env e Types.any true in        let t = Typer.type_check !typing_env e Types.any true in
174        Typer.report_unused_branches ();        Typer.report_unused_branches ();
175        if not !quiet then        if not !quiet then
176          Location.dump_loc ppf e.Typed.exp_loc;          Location.dump_loc ppf (e.Typed.exp_loc,`Full);
177        let v = Eval.eval !eval_env e in        let v = Eval.eval !eval_env e in
178        if not !quiet then        if not !quiet then
179          Format.fprintf ppf "- : @[@[%a@] =@ @[%a@]@]@." print_norm t print_value v;          Format.fprintf ppf "- : @[@[%a@] =@ @[%a@]@]@." print_norm t print_value v;
Legend:
Removed from v.521  
changed lines
  Added in v.522
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5