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

Original author: cmiachon
Date: 2004-07-09 14:38:49+00:00

runtime/value.ml

@@ -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