X-Git-Url: https://scripts.mit.edu/gitweb/autoinstallsdev/mediawiki.git/blobdiff_plain/a4b52d2fe555a507c376e78ee624898c55968364..6932310fd58ebef145fa01eb76edf7150284d8ea:/math/texvc_test.ml

diff --git a/math/texvc_test.ml b/math/texvc_test.ml
deleted file mode 100644
index 3bce5296..00000000
--- a/math/texvc_test.ml
+++ /dev/null
@@ -1,25 +0,0 @@
-exception LexerException of string
-let lexer_token_safe lexbuf =
-    try Lexer.token lexbuf
-    with Failure s -> raise (LexerException s)
-
-let rec foo () =
-    try
-	let line = input_line stdin in
-	(try
-	    let tree = Parser.tex_expr lexer_token_safe (Lexing.from_string line) in
-    	    let out = Util.mapjoin Texutil.render_tex tree in
-	    (match Html.render tree with
-		Some _ -> print_string "$^\n"
-	      | None -> print_string "$_\n";
-	    )
-        with
-	    Texutil.Illegal_tex_function s -> print_string ("$T" ^ s ^ " " ^ line ^ "\n")
-	  | LexerException s		   -> print_string ("$L" ^ line ^ "\n")
-	  | _ 				   -> print_string ("$ " ^ line ^ "\n"));
-	flush stdout;
-	foo ();
-    with
-	End_of_file -> ()
-;;
-foo ();;