13af6ab5fSopenharmony_ci/*
23af6ab5fSopenharmony_ci * Copyright (c) 2023-2024 Huawei Device Co., Ltd.
33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License.
53af6ab5fSopenharmony_ci * You may obtain a copy of the License at
63af6ab5fSopenharmony_ci *
73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0
83af6ab5fSopenharmony_ci *
93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software
103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and
133af6ab5fSopenharmony_ci * limitations under the License.
143af6ab5fSopenharmony_ci */
153af6ab5fSopenharmony_ci
163af6ab5fSopenharmony_citype I2v = (i: int) => void
173af6ab5fSopenharmony_citype T1 = (lambda: (arg: int) => int, arg: int) => int
183af6ab5fSopenharmony_citype T2 = (c: int) => int
193af6ab5fSopenharmony_ci
203af6ab5fSopenharmony_ciconst F1: I2v = (counter: int) => {
213af6ab5fSopenharmony_ci    let funcWithLambda: T1 = (lambda: (arg: int) => int, arg: int) => { return lambda(arg) }
223af6ab5fSopenharmony_ci    let it: T2 = (c: int): int => {return c}
233af6ab5fSopenharmony_ci    // TODO(gogabr): As of 2023.10.10, loops at runtime (#13652/#I83OEH)
243af6ab5fSopenharmony_ci    while (counter > 0) counter = funcWithLambda(it, counter)
253af6ab5fSopenharmony_ci}
263af6ab5fSopenharmony_ci
273af6ab5fSopenharmony_cifunction main() {
283af6ab5fSopenharmony_ci    F1(44)
293af6ab5fSopenharmony_ci    return 0;
303af6ab5fSopenharmony_ci}
31