-666 -> min_int

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index 286e8a5a96c272d10b09f4150309b20692f99c82..95b036c8390ecab479cff47425467e546c1768fc 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -469,12 +469,8 @@ let instantiate p x perm n =
  let p,vars = make_fresh_vars p arities in
  let args = Listx.from_list (vars :> nf list) in
  let bs = ref [] in
- (* AC FIXME:
-    1) what is arity of other_vars?
-    2) are lambdas true or false?
- *)
  (* other_vars are the variables which are delayed and re-applied to the match *)
- let other_vars = Array.mapi (fun n () -> `Var(n+1,-666)) (Array.make (perm-1) ()) in
+ let other_vars = Array.mapi (fun n () -> `Var(n+1,min_int)) (Array.make (perm-1) ()) in
  let other_vars = Array.to_list other_vars in
  (* 666, since it will be replaced anyway during subst: *)
  let inst = `Match(`I((0,min_int),Listx.map (lift perm) args),(x,-666),perm,bs,other_vars) in