From 8d3879976f07d1281ee45fe42de41b8be2282e11 Mon Sep 17 00:00:00 2001
From: Aleksandr Kirsanov <unserialize.alias@gmail.com>
Date: Thu, 13 Jun 2024 12:51:15 +0200
Subject: [PATCH] [FunC] Bump FunC version to v0.5.0

---
 .../auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc  | 1 +
 crypto/func/auto-tests/legacy_tests/config/stdlib.fc        | 1 +
 .../func/auto-tests/legacy_tests/dns-collection/stdlib.fc   | 1 +
 crypto/func/auto-tests/legacy_tests/elector/stdlib.fc       | 1 +
 .../auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc   | 1 +
 .../func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc   | 1 +
 .../auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc | 1 +
 .../auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc | 1 +
 .../func/auto-tests/legacy_tests/nft-collection/stdlib.fc   | 1 +
 .../func/auto-tests/legacy_tests/nominator-pool/stdlib.fc   | 1 +
 crypto/func/auto-tests/legacy_tests/storage/stdlib.fc       | 1 +
 crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc | 1 +
 .../func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc  | 1 +
 crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc     | 1 +
 .../auto-tests/legacy_tests/whales-nominators/stdlib.fc     | 1 +
 crypto/func/func.h                                          | 2 +-
 crypto/smartcont/stdlib.fc                                  | 6 +++---
 17 files changed, 19 insertions(+), 4 deletions(-)

diff --git a/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc b/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
index 3fac94f11..be65b76ee 100644
--- a/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/config/stdlib.fc b/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
index f85fd9072..378566aa5 100644
--- a/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc b/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
index f07218152..6444245c5 100644
--- a/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc b/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
index 49af552bb..d6298f3b9 100644
--- a/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc b/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
index 9fb900c51..b66293504 100644
--- a/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc b/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
index ddcb2396f..6b9dfa0ef 100644
--- a/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc b/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
index ddcb2396f..6b9dfa0ef 100644
--- a/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc b/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
index ddcb2396f..6b9dfa0ef 100644
--- a/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc b/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
index ddcb2396f..6b9dfa0ef 100644
--- a/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc b/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
index 7f45a6dd7..79c175d7d 100644
--- a/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc b/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
index 8f966b378..345939aee 100644
--- a/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 /*
   # Tuple manipulation primitives
diff --git a/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc b/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
index f93ebf792..7179b1a57 100644
--- a/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc b/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
index 7f45a6dd7..79c175d7d 100644
--- a/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc b/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
index a76e869dc..d8f0ead9c 100644
--- a/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc b/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
index c23048349..c918807bd 100644
--- a/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/func.h b/crypto/func/func.h
index faf71f5d5..563d874ee 100644
--- a/crypto/func/func.h
+++ b/crypto/func/func.h
@@ -45,7 +45,7 @@ extern std::string generated_from;
 
 constexpr int optimize_depth = 20;
 
-const std::string func_version{"0.4.4"};
+const std::string func_version{"0.5.0"};
 
 enum Keyword {
   _Eof = -1,
diff --git a/crypto/smartcont/stdlib.fc b/crypto/smartcont/stdlib.fc
index bf6d738b6..33a71ff92 100644
--- a/crypto/smartcont/stdlib.fc
+++ b/crypto/smartcont/stdlib.fc
@@ -1,6 +1,3 @@
-// Standard library for funC
-//
-
 /*
     This file is part of TON FunC Standard Library.
 
@@ -14,7 +11,10 @@
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU Lesser General Public License for more details.
 
+    Note, that currently stdlib.fc is distributed as a standalone file,
+    but since FunC v0.6.0 it will be a part of FunC installation.
 */
+#pragma version >=0.5.0;
 
 /*
   # Tuple manipulation primitives