From ed836f679039bc39ac713047188a8e323728948b Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 20 Feb 2018 05:58:36 -0600 Subject: [PATCH] darn that broke input --- lambda.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lambda.ml b/lambda.ml index 137be98..307dcd7 100644 --- a/lambda.ml +++ b/lambda.ml @@ -89,8 +89,7 @@ let _ = let rec loop ctx = try print_string "> "; flush stdout; - let line = input_line stdin in - let lexbuf = Lexing.from_string line in + let lexbuf = Lexing.from_channel stdin in let x = Parser.main Lexer.token lexbuf in match x with | Types.Term t ->