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

Diff of /driver/cduce.ml

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

revision 501 by abate, Tue Jul 10 17:39:47 2007 UTC revision 502 by abate, Tue Jul 10 17:39:52 2007 UTC
# Line 139  Line 139 
139         typing_env := Env.add x t !typing_env;         typing_env := Env.add x t !typing_env;
140         eval_env := Env.add x v !eval_env;         eval_env := Env.add x v !eval_env;
141         if not !quiet then         if not !quiet then
142           Format.fprintf ppf "val %a : @[%a@] = @[%a@]@."           Format.fprintf ppf "val %a : @[@[%a@] =@ @[%a@]@]@."
143             U.print (Id.value x) print_norm t print_value v)             U.print (Id.value x) print_norm t print_value v)
144    
145  let rec collect_funs ppf accu = function  let rec collect_funs ppf accu = function
# Line 176  Line 176 
176          Location.dump_loc ppf e.Typed.exp_loc;          Location.dump_loc ppf e.Typed.exp_loc;
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;
180        phrases ppf rest        phrases ppf rest
181    | { descr = Ast.LetDecl (p,e) } :: rest ->    | { descr = Ast.LetDecl (p,e) } :: rest ->
182        let decl = Typer.let_decl p e in        let decl = Typer.let_decl p e in
Legend:
Removed from v.501  
changed lines
  Added in v.502
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5