From 7c158589009e1bfe8d67e7d85b9323deee962756 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 30 Jul 2015 20:04:46 +0300 Subject: [PATCH] Another case of unified value/exception matching --- keystoml.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/keystoml.ml b/keystoml.ml index 555f952..b610764 100644 --- a/keystoml.ml +++ b/keystoml.ml @@ -32,9 +32,9 @@ let tabify s = let lines = let lines = let rec fold accu = - match (try Some (input_line stdin) with _ -> None) with - | Some line -> fold (tabify line :: accu) - | None -> List.rev accu + match input_line stdin with + | line -> fold (tabify line :: accu) + | exception End_of_file -> List.rev accu in fold [] in -- 2.11.4.GIT