From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 11 Jul 2017 15:38:14 +0000 (+0200)
Subject: -666 -> min_int
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5da7cf1322998c8965455264249f12ac4400f49d;p=fireball-separation.git

-666 -> min_int
---

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index 286e8a5..95b036c 100644
--- 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