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

[r2004-01-21 14:24:53 by cmiachon] correctif de bug,dans certaisn cas des variables n etaient pas

recuperees dans la clause WHERE, et posait des problemes de variables
non reconnues

Original author: cmiachon
Date: 2004-01-21 14:24:53+00:00
parent 947da09a
...@@ -162,6 +162,10 @@ match x with ...@@ -162,6 +162,10 @@ match x with
|Var(s) -> [ident s] |Var(s) -> [ident s]
|Pair(e1,e2) -> var_of_pexpr e1 @ var_of_pexpr e2 |Pair(e1,e2) -> var_of_pexpr e1 @ var_of_pexpr e2
|Apply(e1,e2) -> var_of_pexpr e2 |Apply(e1,e2) -> var_of_pexpr e2
|Transform(e,_) -> var_of_pexpr e
|Match(e,_) -> var_of_pexpr e
|Map(e,_) -> var_of_pexpr e
|Xtrans(e,_) -> var_of_pexpr e
| _ -> [] | _ -> []
let rec aff_var l = let rec aff_var l =
...@@ -538,8 +542,8 @@ let selectOpt(loc,e,l,condi) = ...@@ -538,8 +542,8 @@ let selectOpt(loc,e,l,condi) =
var_of_ppat pp) var_of_ppat pp)
in (i,pp,xx,env2,True)::tableau(r,env2,i+1) in (i,pp,xx,env2,True)::tableau(r,env2,i+1)
in let tableau=(tableau(l,[],1)) in let tableau=(tableau(l,[],1))
(*in let pp3=pp(tableau)*) (*in let pp3=pp(tableau)*)
in let t=place(tableau, sortir_clauses(fnc(condi))) in let t=place(tableau,sortir_clauses(fnc(condi)))
(*in let pp5=pp(t)*) (*in let pp5=pp(t)*)
in let s=select2(loc,e,t) in let s=select2(loc,e,t)
in (*print_string(string_of_pexpr(s));*)s in (*print_string(string_of_pexpr(s));*)s
......
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