From 605ae9159149e42a17f044bbfad94f7dc2de79c2 Mon Sep 17 00:00:00 2001 From: acondolu Date: Fri, 14 Jul 2017 19:39:21 +0200 Subject: [PATCH] Failure in case of empty problem, to be fixed --- ocaml/lambda4.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml index bb78b22..ce0663a 100644 --- a/ocaml/lambda4.ml +++ b/ocaml/lambda4.ml @@ -816,16 +816,16 @@ let tmp (label, div, conv, nums, var_names) = (* TODO: *) (* replace div with bottom in problem??? *) - let special_k = - let all_tms = (match div with None -> [] | Some div -> [(div :> i_n_var)]) @ nums @ conv in - compute_special_k (Listx.from_list (all_tms :> nf list)) in (* compute initial special K *) + let all_tms = (match div with None -> [] | Some div -> [(div :> i_n_var)]) @ nums @ conv in + if all_tms = [] then failwith "FIXME: empty problem"; + let initialSpecialK = compute_special_k (Listx.from_list (all_tms :> nf list)) in let freshno = List.length var_names in let deltas = let dummy = `Var (max_int / 2, -666) in [ ref (Array.to_list (Array.init (List.length ps) (fun i -> i, dummy))) ] in let trail = [] in let sigma = [] in - let p = {freshno; div; conv; ps; sigma; deltas; initialSpecialK=special_k; trail; var_names; label} in + let p = {freshno; div; conv; ps; sigma; deltas; initialSpecialK; trail; var_names; label} in p, check p ;; -- 2.39.2