From 37570c6a40351ea1e901e64a4a26bdc3f4b83a14 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Mon, 28 Oct 2019 18:43:55 +0100 Subject: [PATCH] clean test --- src/test/contracts/loop.ligo | 19 ------------------- 1 file changed, 19 deletions(-) diff --git a/src/test/contracts/loop.ligo b/src/test/contracts/loop.ligo index f559c2816..10137c07a 100644 --- a/src/test/contracts/loop.ligo +++ b/src/test/contracts/loop.ligo @@ -24,25 +24,6 @@ function for_sum (var n : nat) : int is block { end } with acc - -function lamby (var accu : (record st : string ; acc : int end) ; var i : int ) - : (record st : string ; acc : int end) is block { - accu.acc := accu.acc + i ; - accu.st := accu.st ^ "to" ; -} with accu - -function for_collection_ (var nee : unit; var nuu : unit) : (int * string) is block { - var acc : int := 0 ; - var st : string := "to" ; - var mylist : list(int) := list 1 ; 1 ; 1 end ; - var init_record : (record st : string; acc : int end ) := - record st = st; acc = acc; end; - var folded_record : (record st : string; acc : int end ) := - list_fold(mylist , init_record , lamby) ; - st := folded_record.st ; - acc := folded_record.acc ; -} with (folded_record.acc , folded_record.st) - function for_collection_list (var nee : unit) : (int * string) is block { var acc : int := 0 ; var st : string := "to" ;