balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove PascaLIGO set_size

Browse Source
This commit is contained in:
John David Pressman 2019-10-22 20:24:05 -07:00
parent c4cc4fcba9
commit 1f50cc8f57
3 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/passes/operators/operators.ml
View File

@ -82,7 +82,6 @@ module Simplify = struct
("set_remove" , "SET_REMOVE") ; ("set_remove" , "SET_REMOVE") ;
("set_iter" , "SET_ITER") ; ("set_iter" , "SET_ITER") ;
("set_fold" , "SET_FOLD") ; ("set_fold" , "SET_FOLD") ;
("set_size" , "SIZE");
("list_iter" , "LIST_ITER") ; ("list_iter" , "LIST_ITER") ;
("list_fold" , "LIST_FOLD") ; ("list_fold" , "LIST_FOLD") ;
("list_map" , "LIST_MAP") ; ("list_map" , "LIST_MAP") ;

3
src/test/contracts/set_arithmetic.ligo
View File

@ -31,6 +31,3 @@ function patch_op_empty (var s: set(string)) : set(string) is
function mem_op (const s : set(string)) : bool is function mem_op (const s : set(string)) : bool is
begin skip end with set_mem("foobar" , s) begin skip end with set_mem("foobar" , s)
function size_op (const s : set(string)) : nat is
set_size(s);

4
src/test/integration_tests.ml
View File

@ -280,10 +280,6 @@ let set_arithmetic () : unit result =
expect_eq program "patch_op_empty" expect_eq program "patch_op_empty"
(e_set [e_string "foo" ; e_string "bar"]) (e_set [e_string "foo" ; e_string "bar"])
(e_set [e_string "foo" ; e_string "bar"]) in (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 () = let%bind () =
expect_eq program "mem_op" expect_eq program "mem_op"
(e_set [e_string "foo" ; e_string "bar" ; e_string "foobar"]) (e_set [e_string "foo" ; e_string "bar" ; e_string "foobar"])