Revision 9b9eabddd2481575f85443267760777f9c62d808 authored by Lucas Randazzo on 27 February 2024, 16:41:35 UTC, committed by Marge Bot on 06 March 2024, 12:34:23 UTC
1 parent 83d289c
Raw File
self_01.tzt
# SELF inside CREATE_CONTRACT is valid, even if they both are inside a LAMBDA.
# SELF should produce a `contract` value with parameter matching the inner contract.
code {
       LAMBDA
         (pair (option key_hash) mutez unit)
         address
         { UNPAIR 3;
           CREATE_CONTRACT
             { code { SELF ; CAST (contract key); FAIL } ;
               storage unit ;
               parameter key } ;
           DROP;
         } ;
       DROP;
     } ;
input { } ;
output { }
back to top