diff --git a/src/CPS.ml b/src/CPS.ml index 3f21702..37ad1b9 100644 --- a/src/CPS.ml +++ b/src/CPS.ml @@ -35,16 +35,8 @@ let rec has_calls (t: S.term): bool = match t with (* A lambda itself may contain calls, but this call is not evaluated at * declaration time *) | S.App _ -> true -| S.IfZero (cond, tIf, tElse) -> - (* Cannot optimize continuation creation - List.exists has_calls [cond; tIf; tElse] - *) - true -| S.Print value -> - (* Cannot optimize continuation creation - has_calls value - *) - true +| S.IfZero _ -> true (* Cannot optimize that with the current languages *) +| S.Print _ -> true (* Cannot optimize that with the current languages *) | S.Let (_, value, next) -> List.exists has_calls [value; next]