Commit f895f11a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-06-20 09:52:40 by afrisch] Remove debugging output (breaks webiface)

Original author: afrisch
Date: 2004-06-20 09:52:40+00:00
parent e13e1af2
...@@ -510,7 +510,6 @@ let rec pp l = ...@@ -510,7 +510,6 @@ let rec pp l =
(* t est le tableau correspondant i,p,x,env,c *) (* t est le tableau correspondant i,p,x,env,c *)
let select2(loc,e,t) = let select2(loc,e,t) =
let rec ifthenelse(c,e,loc)= let rec ifthenelse(c,e,loc)=
...@@ -533,20 +532,21 @@ let select2(loc,e,t) = ...@@ -533,20 +532,21 @@ let select2(loc,e,t) =
in saux loc e t in saux loc e t
let selectOpt(loc,e,l,condi) = let selectOpt(loc,e,l,condi) =
let rec tableau (l,env,i) = let rec tableau (l,env,i) =
match (l,env,i) with match l with
([],env,i) -> [] | [] -> []
|((p,x)::r,env,i) | (p,x)::r ->
-> let (pp,xx) = (p,x) let env2 =
in let env2 = retirer_redondances (env @ var_of_pexpr xx @ retirer_redondances (env @ var_of_pexpr x @ var_of_ppat p) in
var_of_ppat pp) (i,p,x,env2,True) :: (tableau (r,env2,i+1))
in (i,pp,xx,env2,True)::tableau(r,env2,i+1) in
in let tableau=(tableau(l,[],1)) let tableau = tableau (l,[],1) in
in let pp3=pp(tableau) (* pp tableau; *)
in let t=place(tableau,sortir_clauses(fnc(condi))) let t = place (tableau, sortir_clauses (fnc condi)) in
in let pp5=pp(t) (* pp t; *)
in let s=select2(loc,e,t) let s = select2 (loc,e,t) in
in print_string(string_of_pexpr(s));s (* print_string(string_of_pexpr(s)); *)
s
let select(loc,e,l) = let select(loc,e,l) =
let rec saux loc l = let rec saux loc l =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment