Content - 3c9ef69e7ffa5f417a1cadd01814da810a202c8d - 54fe664/michelson_test_scripts/ill_typed/view_op_bad_return_type.tz

visit type:

Tip revision: 9f66ec5d15c385abbed69eb4a58f2f48df00cb88 authored by Arvid Jakobsson on 18 July 2023, 13:40:06 UTC
Phony diff to see coverage

Tip revision: 9f66ec5

view_op_bad_return_type.tz

parameter (pair nat address) ;
storage nat ;
code { CAR ; UNPAIR ; VIEW "add" string; IF_SOME { } { PUSH nat 1 } ; NIL operation ; PAIR } ;