Commit 553d0058 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 7959ea02
......@@ -510,7 +510,6 @@ let rec pp l =
(* t est le tableau correspondant i,p,x,env,c *)
let select2(loc,e,t) =
let rec ifthenelse(c,e,loc)=
......@@ -533,20 +532,21 @@ let select2(loc,e,t) =
in saux loc e t
let selectOpt(loc,e,l,condi) =
let rec tableau (l,env,i) =
match (l,env,i) with
([],env,i) -> []
|((p,x)::r,env,i)
-> let (pp,xx) = (p,x)
in let env2 = retirer_redondances (env @ var_of_pexpr xx @
var_of_ppat pp)
in (i,pp,xx,env2,True)::tableau(r,env2,i+1)
in let tableau=(tableau(l,[],1))
in let pp3=pp(tableau)
in let t=place(tableau,sortir_clauses(fnc(condi)))
in let pp5=pp(t)
in let s=select2(loc,e,t)
in print_string(string_of_pexpr(s));s
let rec tableau (l,env,i) =
match l with
| [] -> []
| (p,x)::r ->
let env2 =
retirer_redondances (env @ var_of_pexpr x @ var_of_ppat p) in
(i,p,x,env2,True) :: (tableau (r,env2,i+1))
in
let tableau = tableau (l,[],1) in
(* pp tableau; *)
let t = place (tableau, sortir_clauses (fnc condi)) in
(* pp t; *)
let s = select2 (loc,e,t) in
(* print_string(string_of_pexpr(s)); *)
s
let select(loc,e,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