Commit cda48a72 authored by Pietro Abate's avatar Pietro Abate

[r2004-07-09 14:38:49 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-07-09 14:38:49+00:00
parent 2c338d3a
......@@ -678,10 +678,10 @@ let query_member e l = match l with
let rec aux l i = match l with
| Pair(j,r) -> if (compare i j =0) then vtrue else aux r i
| Atom a when a = Sequence.nil_atom -> vfalse
| _ -> failwith"tutu"
| _ -> assert false
in aux (Pair(i,p)) (e)
| Atom a when a = Sequence.nil_atom -> vfalse
|_ -> failwith"tata"
|_ -> assert false
......@@ -691,10 +691,10 @@ let query_distinct = function
| Pair(h,t) -> if (query_member h t)=vtrue
then (aux t l2) else (aux t (l2@[h]))
| Atom a when a = Sequence.nil_atom -> l2
| _ -> failwith "titi"
| _ -> assert false
in sequence(aux (Pair(i,p)) [])
| Atom a when a = Sequence.nil_atom -> (Atom(Sequence.nil_atom))
|_ -> failwith "titi"
|_ -> assert false
......
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