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

Diff of /typing/typer.ml

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

revision 329 by abate, Tue Jul 10 17:25:34 2007 UTC revision 330 by abate, Tue Jul 10 17:25:37 2007 UTC
# Line 462  Line 462 
462           raise_loc_generic p.loc "Capture variables are not allowed in types";           raise_loc_generic p.loc "Capture variables are not allowed in types";
463         let t = typ s in         let t = typ s in
464         if (p.loc <> noloc) && (Types.is_empty t) then         if (p.loc <> noloc) && (Types.is_empty t) then
465           warning p.loc ("This definition yield an empty type for " ^ v);           warning p.loc ("This definition yields an empty type for " ^ v);
466         Types.Print.register_global v t) b         Types.Print.register_global v t) b
467    
468  let dump_global_types ppf =  let dump_global_types ppf =
Legend:
Removed from v.329  
changed lines
  Added in v.330
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5