From 87a890164556fe5f2b9543316e2b7f2ded973ecb Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Mon, 10 Feb 2020 20:02:43 +0100
Subject: [PATCH] review fixes

---
 src/passes/operators/operators.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml
index 842e32520..d9a5d4a9e 100644
--- a/src/passes/operators/operators.ml
+++ b/src/passes/operators/operators.ml
@@ -382,8 +382,8 @@ module Typer = struct
     let t_set_remove   = forall "a" @@ fun a -> tuple2 a (set a) --> set a
     let t_not          = tuple1 bool --> bool
 
-    let t_continuation = forall "a" @@ fun a -> tuple2 bool a
-    let t_fold_while   = forall "a" @@ fun a -> tuple2 (a --> tuple2 bool a) a --> a
+    let t_continuation = forall "a" @@ fun a -> pair bool a
+    let t_fold_while   = forall "a" @@ fun a -> tuple2 (a --> pair bool a) a --> a
     let t_neg          = tuple1 int --> int
     let t_and          = tuple2 bool bool --> bool
     let t_or           = tuple2 bool bool --> bool
@@ -394,10 +394,10 @@ module Typer = struct
     let t_concat       = forall_tc "a" @@ fun a -> [tc_concatable a] => tuple2 a a --> a
     let t_set_empty    = forall_tc "a" @@ fun a -> [tc_comparable a] => tuple0 --> set a
     let t_set_iter     = forall_tc "a" @@ fun a -> [tc_comparable a] => tuple2 (a --> unit) (set a) --> unit
-    let t_set_fold     = forall2_tc "a" "b" @@ fun a b -> [tc_comparable b] => tuple3 (tuple2 a b --> a) (set b) b --> b
+    let t_set_fold     = forall2_tc "a" "b" @@ fun a b -> [tc_comparable b] => tuple3 (pair a b --> a) (set b) a --> a
     let t_list_iter    = forall "a" @@ fun a -> tuple2 (a --> unit) (list a) --> unit
     let t_list_map     = forall "a" @@ fun a -> tuple2 (a --> a) (list a) --> (list a)
-    let t_list_fold    = forall2 "a" "b" @@ fun a b -> tuple3 (tuple2 a b --> a) (list b) a --> a
+    let t_list_fold    = forall2 "a" "b" @@ fun a b -> tuple3 (pair a b --> a) (list b) a --> a
     let t_self_address = tuple0 --> address
     let t_implicit_account = forall_tc "a" @@ fun a -> [tc_storable a] => tuple1 key_hash --> contract a
     let t_set_delegate = tuple1 (option key_hash) --> operation