[Tolk] Support default values for fields, simplify constants

Now fields can have default values, even complex ones:
> tensor: (int, coins) = (2, ton("0.05"))
Initial value must be a constant expression.

Global constants can also now be of any type,
including tensors and nullables.
Constant evaluator was almost dropped off, evaluation
is now done at IR (Ops) level.

Author: tolk-vm

tolk-tester/tests/constants-tests.tolk

@@ -29,6 +29,12 @@ const true3 = true1 && true2;
 const false1 = !true;
 const false2 = false1 || false;
 
+const tens1 = (1, 2);
+const tens2: (int, int, (int8, int16)) = (tens1.1, tens1.0 << 2, tens1);
+
+const intOrN: int? = null;
+const int32Or64: int32 | int64 = 7 as int64;
+
 fun iget1(): int { return int1; }
 fun iget2(): int { return int2; }
 fun iget3(): int { return int1+int2; }
@@ -71,6 +77,17 @@ fun test3() {
     return (false1, false2);
 }
 
+@method_id(104)
+fun test4() {
+    __expect_type(tens1, "(int, int)");
+    return (tens1.0, tens2.2);
+}
+
+@method_id(105)
+fun test5() {
+    return (intOrN == null, int32Or64 is int32, int32Or64);
+}
+
 fun main() {
     var i1: int = iget1();
     var i2: int = iget2();
@@ -98,6 +115,8 @@ fun main() {
 @testcase | 101 |   | 0 -1
 @testcase | 102 |   | -1 -1 -1
 @testcase | 103 |   | 0 0
+@testcase | 104 |   | 1 1 2
+@testcase | 105 |   | -1 0 7 48
 
-@code_hash 28102194299745406750019953961984060488024870092664444642078578246708959881688
+@code_hash 80040709432962217077682091261201772251141677197885524779745956896218368868623
 */

tolk-tester/tests/invalid-semantics/err-4190.tolk

@@ -0,0 +1,10 @@
+struct A {
+    ok: coins = ton("0.05"),
+    err: int = now(),
+}
+
+/**
+@compilation_should_fail
+@stderr not a constant expression
+@stderr err: int
+ */

tolk-tester/tests/invalid-semantics/err-4270.tolk

@@ -0,0 +1,8 @@
+struct A {
+    tens: (int, int) = (1, 2 + now()),
+}
+
+/**
+@compilation_should_fail
+@stderr not a constant expression
+ */

tolk-tester/tests/invalid-symbol/err-2098.tolk

@@ -0,0 +1,9 @@
+struct A {
+    a: int = 1 << CCC;
+}
+
+/**
+@compilation_should_fail
+@stderr undefined symbol `CCC`
+@stderr 1 << CCC
+ */

tolk-tester/tests/invalid-syntax/err-3150.tolk

@@ -0,0 +1,8 @@
+struct A {
+    v1 = 0,
+}
+
+/**
+@compilation_should_fail
+@stderr expected `: <type>`, got `=`
+ */

tolk-tester/tests/invalid-syntax/err-3650.tolk

@@ -0,0 +1,9 @@
+struct A {
+    v1: int = "asdf";
+}
+
+/**
+@compilation_should_fail
+@stderr can not assign `slice` to `int`
+@stderr v1: int = "asdf"
+ */

tolk-tester/tests/invalid-typing/err-6740.tolk

@@ -155,12 +155,12 @@ fun main() {}
       100 PUSHINT       //  '1=100
     }>ELSE<{    //  x
       DUP       //  x x
-      2 EQINT   //  x '6
+      2 EQINT   //  x '8
       IF:<{     //  x
         DROP    //
         200 PUSHINT     //  '1=200
       }>ELSE<{  //  x
-        3 EQINT //  '9
+        3 EQINT //  '13
         IF:<{   //
           300 PUSHINT   //  '1=300
         }>ELSE<{        //

tolk-tester/tests/match-by-expr-tests.tolk

@@ -428,7 +428,38 @@ fun test31() {
     return (s1, s2, s3, 777, s1 == null, s2 == null, s3 == null, 777, s1!.x == null, s2!.x == null);
 }
 
+struct PointDef0 {
+    x: int = 0,
+    y: int = 0,
+}
+
+@method_id(132)
+fun test32() {
+    var p1: PointDef0 = { x: 10, y: 20 };
+    var p2: PointDef0 = { x: 10 };
+    var p3: PointDef0 = { y: 20 };
+    var p4: PointDef0 = { };
+    return (p1, p2, p3, p4, PointDef0{});
+}
 
+struct WithDefaults {
+    f1: (bool, int) = (true, 0),
+    f2: int,
+    f3: slice? = stringHexToSlice("010203"),
+    f4: PointDef0? = null,
+    f5: int32 | int64 = 0 as int32,
+}
+
+@method_id(133)
+fun test33(): WithDefaults {
+    var w1: WithDefaults = { f2: 0 };
+    assert(w1.f1.0 && w1.f1.1 == 0 && w1.f3!.getRemainingBitsCount() == 24 && w1.f4 == null && w1.f5 is int32) throw 100;
+    var w2: WithDefaults? = { f1: (false, 55), f2: 10, f5: 8 as int64 };
+    assert(w2.f1.0 != true && w2.f3!.getRemainingBitsCount() == 24 && w2.f4 == null && w2.f5 is int64 && w2.f5 == 8) throw 100;
+    var w3: (int, WithDefaults) = (0, { f2: 7, f4: {y: 20} });
+    assert(w3.1.f4 != null && w3.1.f4.x == 0 && w3.1.f4.y == 20) throw 100;
+    return { f2: 5, f3: null };
+}
 
 
 
@@ -480,6 +511,8 @@ type PointAlias = Point;
 @testcase | 130 | -1   | 140 777 (null) 140 777 0 777 0 0
 @testcase | 130 | 0    | 139 777 4 1 777 139 777 0 0
 @testcase | 131 |      | 5 141 (null) 141 (null) 0 777 0 0 -1 777 0 -1
+@testcase | 132 |      | 10 20 10 0 0 20 0 0 0 0
+@testcase | 133 |      | -1 0 5 (null) (null) (null) 0 0 46
 
 @fif_codegen
 """

tolk-tester/tests/struct-tests.tolk

@@ -58,7 +58,7 @@ const first = 1;
 """
   test2 PROC:<{
     //
-    2 PUSHINT  // '0=2
+    2 PUSHINT  // '2
   }>
 """
  */