/[svn]/typing/typer.ml
ViewVC logotype

Diff of /typing/typer.ml

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

revision 68 by abate, Tue Jul 10 17:02:51 2007 UTC revision 69 by abate, Tue Jul 10 17:03:11 2007 UTC
# Line 327  Line 327 
327                 Typed.fun_iface = iface;                 Typed.fun_iface = iface;
328                 Typed.fun_body = body;                 Typed.fun_body = body;
329                 Typed.fun_typ = t;                 Typed.fun_typ = t;
330                 Typed.fun_fv = Fv.elements fv0                 Typed.fun_fv = Fv.elements fv
331               }               }
332            )            )
333        | Cst c -> (Fv.empty, Typed.Cst c)        | Cst c -> (Fv.empty, Typed.Cst c)
# Line 380  Line 380 
380      let b = List.map      let b = List.map
381                (fun (p,e) ->                (fun (p,e) ->
382                   let (fv2,e) = expr e in                   let (fv2,e) = expr e in
                  fv := Fv.union !fv fv2;  
383                   let p = pat p in                   let p = pat p in
384                     let fv2 = List.fold_right Fv.remove (Patterns.fv p) fv2 in
385                     fv := Fv.union !fv fv2;
386                   accept := Types.cup !accept (Types.descr (Patterns.accept p));                   accept := Types.cup !accept (Types.descr (Patterns.accept p));
387                   { Typed.br_used = false;                   { Typed.br_used = false;
388                     Typed.br_pat = p;                     Typed.br_pat = p;
Legend:
Removed from v.68  
changed lines
  Added in v.69
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5