From be87b5725853038123f2d6b5a04eb159a46f865c Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 25 Oct 2017 15:45:29 +0100
Subject: List.cons is too new

---
 src/monomorphise.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3