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

Diff of /typing/typer.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 330  Line 330 
330            (Fv.union fv1 fv2, Typed.Pair (e1,e2))            (Fv.union fv1 fv2, Typed.Pair (e1,e2))
331        | Dot (e,l) ->        | Dot (e,l) ->
332            let (fv,e) = expr e in            let (fv,e) = expr e in
333            (Fv.union Fv.empty fv,  Typed.Dot (e,l))            (fv,  Typed.Dot (e,l))
334        | RecordLitt r ->        | RecordLitt r ->
335            (* XXX TODO: check that no label appears twice *)            (* XXX TODO: check that no label appears twice *)
336            let fv = ref Fv.empty in            let fv = ref Fv.empty in
Legend:
Removed from v.26  
changed lines
  Added in v.27
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5