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

Diff of /driver/cduce.ml

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

revision 17 by abate, Tue Jul 10 16:58:13 2007 UTC revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC
# Line 1  Line 1 
1  open Location  open Location
2    
3    let () =
4      List.iter
5        (fun (n,t) -> Typer.register_global_types [n, mk noloc (Ast.Internal t)])
6        Builtin.types
7    
8  let input = Stream.of_channel stdin  let input = Stream.of_channel stdin
9  let ppf = Format.std_formatter  let ppf = Format.std_formatter
10  let prog () =  let prog () =

Legend:
Removed from v.17  
changed lines
  Added in v.18

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5