use arrow for mid

[lambda.git] / code / ski_evaluator.ml

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index f0b4d16..742d63d 100644 (file)
--- 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'
 
                             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) ->
   | 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'
       if (is_redex t') then let t'' = reduce_if_redex t'

-                            in reduce_lazy t''
+                            in reduce_try3 t''

                        else t'
                        else t'