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

Diff of /typing/typer.ml

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

revision 552 by abate, Tue Jul 10 17:43:53 2007 UTC revision 553 by abate, Tue Jul 10 17:44:06 2007 UTC
# Line 799  Line 799 
799  let register_global_ns p ns = glb := register_ns !glb p ns  let register_global_ns p ns = glb := register_ns !glb p ns
800  let dump_global_ns ppf = dump_ns ppf !glb  let dump_global_ns ppf = dump_ns ppf !glb
801    
802    let set_ns_table_for_printer () = Ns.InternalPrinter.set_table !glb.tenv_nspref
803    
804  (* III. Type-checks *)  (* III. Type-checks *)
805    
806  type env = Types.descr Env.t  type env = Types.descr Env.t
Legend:
Removed from v.552  
changed lines
  Added in v.553
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5