Project

General

Profile

Revision a55c2d70

View differences:

src/utils.ml
73 73
 match ll with
74 74
 | []   -> []
75 75
 | [l]  -> List.map (fun el -> [el]) l
76
 | l::q -> List.map2 (fun el eq -> el::eq) l (transpose_list q)
76
 | l::q -> 
77
   let length_l = List.length l in
78
   if not (List.for_all (fun l' -> List.length l' = length_l) q) then
79
     assert false
80
   ;
81
   List.map2 (fun el eq -> el::eq) l (transpose_list q)
77 82

  
78 83
let rec filter_upto p n l =
79 84
 if n = 0 then [] else

Also available in: Unified diff