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

Diff of /driver/cduce.ml

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

revision 22 by abate, Tue Jul 10 16:58:50 2007 UTC revision 23 by abate, Tue Jul 10 16:58:54 2007 UTC
# Line 1  Line 1 
1  open Location  open Location
2  open Sys  exception Usage
 exception Usage of unit  
3    
4  let () =  let () =
5    List.iter    List.iter
# Line 8  Line 7 
7      Builtin.types      Builtin.types
8    
9    
10  let input = if Array.length argv = 1 then (Stream.of_channel stdin)  let input_channel =
11              else if (Array.length argv > 2)  or    match Array.length Sys.argv with
12                 not (file_exists (Array.get argv 1)) then raise(Usage () )      | 1 -> stdin
13              else (Stream.of_channel (open_in (Array.get argv 1)))      | 2 -> open_in Sys.argv.(1)
14        | _ -> raise Usage
15    
16    let input = Stream.of_channel input_channel
17    
18  let ppf = Format.std_formatter  let ppf = Format.std_formatter
19  let prog () =  let prog () =
Legend:
Removed from v.22  
changed lines
  Added in v.23
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5