From 1f50cc8f5759a6c95dc2114bde52445f2684ab11 Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Tue, 22 Oct 2019 20:24:05 -0700 Subject: [PATCH] Remove PascaLIGO set_size --- src/passes/operators/operators.ml | 1 - src/test/contracts/set_arithmetic.ligo | 3 --- src/test/integration_tests.ml | 4 ---- 3 files changed, 8 deletions(-) diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml index f9665be7c..8a24cbe1f 100644 --- a/src/passes/operators/operators.ml +++ b/src/passes/operators/operators.ml @@ -82,7 +82,6 @@ module Simplify = struct ("set_remove" , "SET_REMOVE") ; ("set_iter" , "SET_ITER") ; ("set_fold" , "SET_FOLD") ; - ("set_size" , "SIZE"); ("list_iter" , "LIST_ITER") ; ("list_fold" , "LIST_FOLD") ; ("list_map" , "LIST_MAP") ; diff --git a/src/test/contracts/set_arithmetic.ligo b/src/test/contracts/set_arithmetic.ligo index 1744814c8..daa31dcf7 100644 --- a/src/test/contracts/set_arithmetic.ligo +++ b/src/test/contracts/set_arithmetic.ligo @@ -31,6 +31,3 @@ function patch_op_empty (var s: set(string)) : set(string) is function mem_op (const s : set(string)) : bool is begin skip end with set_mem("foobar" , s) - -function size_op (const s : set(string)) : nat is - set_size(s); diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index a639d0a78..e3ea77df8 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -280,10 +280,6 @@ let set_arithmetic () : unit result = expect_eq program "patch_op_empty" (e_set [e_string "foo" ; e_string "bar"]) (e_set [e_string "foo" ; e_string "bar"]) in - let%bind () = - expect_eq program "size_op" - (e_set [e_string "foo" ; e_string "bar" ; e_string "foobar"]) - (e_nat 3) in let%bind () = expect_eq program "mem_op" (e_set [e_string "foo" ; e_string "bar" ; e_string "foobar"])