summaryrefslogtreecommitdiff
path: root/tp1/netlist.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tp1/netlist.ml')
-rw-r--r--tp1/netlist.ml17
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)^")"))
-