projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9bd794a
)
try3
author
Chris
<chris.barker@nyu.edu>
Thu, 19 Mar 2015 18:13:03 +0000
(14:13 -0400)
committer
Chris
<chris.barker@nyu.edu>
Thu, 19 Mar 2015 18:13:03 +0000
(14:13 -0400)
code/ski_evaluator.ml
patch
|
blob
|
history
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'
-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'