From fa4454af401fc0091f83c4f9e09f005fe8bdfbf2 Mon Sep 17 00:00:00 2001 From: Spiros Eliopoulos Date: Fri, 23 Jun 2017 01:13:09 +0000 Subject: [PATCH] equal: use an explicit match rather than (=) --- lib/angstrom.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/angstrom.ml b/lib/angstrom.ml index c82589c..ca0cdde 100644 --- a/lib/angstrom.ml +++ b/lib/angstrom.ml @@ -491,9 +491,9 @@ let at_end_of_input = { run = fun input pos more _ succ -> if pos < Input.length input then succ input pos more false - else if more = Complete then - succ input pos more true - else + else match more with + | Complete -> succ input pos more true + | Incomplete -> let succ' input' pos' more' = succ input' pos' more' false and fail' input' pos' more' = succ input' pos' more' true in prompt input pos fail' succ'