diff options
Diffstat (limited to 'tp1/netlist.ml')
-rw-r--r-- | tp1/netlist.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tp1/netlist.ml b/tp1/netlist.ml deleted file mode 100644 index b1d7932..0000000 --- a/tp1/netlist.ml +++ /dev/null @@ -1,17 +0,0 @@ -exception Parse_error of string - -let find_file filename = - try - open_in filename - with - | _ -> raise (Parse_error "No such file '%s'") - -let read_file filename = - let ic = find_file filename in - let lexbuf = Lexing.from_channel ic in - lexbuf.Lexing.lex_curr_p <- { lexbuf.Lexing.lex_curr_p with Lexing.pos_fname = filename }; - try - Netlist_parser.program Netlist_lexer.token lexbuf - with - | e -> raise (Parse_error ("Syntax error (exception: "^(Printexc.to_string e)^")")) - |