projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rename topics/week8_safe_division_with_Monads.mdwn to topics/week8_safe_division_with...
[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'