From 5da7cf1322998c8965455264249f12ac4400f49d Mon Sep 17 00:00:00 2001 From: acondolu Date: Tue, 11 Jul 2017 17:38:14 +0200 Subject: [PATCH] -666 -> min_int --- ocaml/lambda4.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 -- 2.39.2