diff options
| -rw-r--r-- | discocaml/eval.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/discocaml/eval.ml b/discocaml/eval.ml index 0d2e14d..9f94e41 100644 --- a/discocaml/eval.ml +++ b/discocaml/eval.ml @@ -135,7 +135,10 @@ let find_redex_cbv_in (ast : expr ast) : expr index -> unit = loop f; loop x | If (cond, _, _) -> loop cond - | Let (_, _, bound, _) -> loop bound + | Let (false, _, bound, _) -> loop bound + | Let (true, _, bound, body) -> + loop bound; + loop body | Prim (Add, (l, r)) | Prim (Sub, (l, r)) | Prim (Mul, (l, r)) -> loop l; loop r |