From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 25 Jul 2017 07:59:42 +0000 (+0200)
Subject: Removed num_more_args
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7d5ab4339cbbe0c694e6f7376bd92b9a19f5b98d;p=fireball-separation.git

Removed num_more_args
---

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index c28f723..5ff7866 100644
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -9,12 +9,6 @@ exception Bottom
 exception Lambda
 exception Backtrack of string
 
-(*
- The number of arguments which can applied to numbers
- safely, depending on the encoding of numbers.
- For Scott's encoding, two.
-*)
-let num_more_args = 2;;
 (* verbosity *)
 let _very_verbose = false;;
 (** Display measure of every term when printing problem *)
@@ -306,8 +300,8 @@ let rec dangerous arities showstoppers =
       (match t with
           `N _ -> List.iter (dangerous arities showstoppers) args
         | `Match _ as t -> dangerous arities showstoppers t ; List.iter (dangerous arities showstoppers) args
-        | `Var(x,_) -> dangerous_inert arities showstoppers x args num_more_args
-        | `I((x,_),args') -> dangerous_inert arities showstoppers x (Listx.to_list args' @ args) num_more_args
+        | `Var(x,_) -> dangerous_inert arities showstoppers x args 2
+        | `I((x,_),args') -> dangerous_inert arities showstoppers x (Listx.to_list args' @ args) 2
       )
   | `I((k,_),args) -> dangerous_inert arities showstoppers k (Listx.to_list args) 0