diff options
| -rw-r--r-- | src/monomorphise.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 42546ae0..2c3dda0e 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -163,14 +163,14 @@ let rec cross' = function | [] -> [[]] | (h::t) -> let t' = cross' t in - List.concat (List.map (fun x -> List.map (List.cons x) t') h) + List.concat (List.map (fun x -> List.map (fun l -> x::l) t') h) let rec cross'' = function | [] -> [[]] - | (k,None)::t -> List.map (List.cons (k,None)) (cross'' t) + | (k,None)::t -> List.map (fun l -> (k,None)::l) (cross'' t) | (k,Some h)::t -> let t' = cross'' t in - List.concat (List.map (fun x -> List.map (List.cons (k,Some x)) t') h) + List.concat (List.map (fun x -> List.map (fun l -> (k,Some x)::l) t') h) let kidset_bigunion = function | [] -> KidSet.empty |