From ffcfb59a82fcf644439c4766a2aaeeaa94e74daa Mon Sep 17 00:00:00 2001 From: Chris Date: Thu, 19 Mar 2015 14:13:03 -0400 Subject: [PATCH] try3 --- code/ski_evaluator.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml index f0b4d166..742d63d1 100644 --- a/code/ski_evaluator.ml +++ b/code/ski_evaluator.ml @@ -21,12 +21,12 @@ let rec reduce_try2 (t:term):term = match t with in reduce_try2 t'' else t' -let rec reduce_lazy (t:term):term = match t with +let rec reduce_try3 (t:term):term = match t with | I -> I | K -> K | S -> S | App (a, b) -> - let t' = App (reduce_lazy a, b) in + let t' = App (reduce_try3 a, b) in if (is_redex t') then let t'' = reduce_if_redex t' - in reduce_lazy t'' + in reduce_try3 t'' else t' -- 2.11.0