developing exx

[lambda.git] / code / reduction.ml

diff --git a/code/reduction.ml b/code/reduction.ml
index 3882c7f..188a90b 100644 (file)
--- a/code/reduction.ml
+++ b/code/reduction.ml
@@ -10,8 +10,8 @@ let rec free_in (ident:identifier) (term:lambdaTerm) : bool =
   match term with
     | Constant _ -> false
     | Var(var_ident) -> var_ident = ident
-    | Abstract(bound_ident, body) -> bound_ident <> ident && free_in ident body
-    | App(head, arg) -> free_in ident head || free_in ident arg
+(*    | Abstract(bound_ident, body) ->  COMPLETE THIS LINE *)
+(*    | App(head, arg) -> COMPLETE THIS LINE *)
     | IfThenElse(test, yes, no) -> free_in ident test || free_in ident yes || free_in ident no
     | Let(bound_ident, arg, body) -> free_in ident arg || (bound_ident <> ident && free_in ident body)