From 7d5ab4339cbbe0c694e6f7376bd92b9a19f5b98d Mon Sep 17 00:00:00 2001 From: acondolu Date: Tue, 25 Jul 2017 09:59:42 +0200 Subject: [PATCH] Removed num_more_args --- ocaml/lambda4.ml | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) 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 -- 2.39.2