[failed #70] ip and numeric lca

Author: tmteam

src/Tests/NFun.Tic.Tests/IfThenElse.cs

@@ -6,7 +6,7 @@ namespace NFun.Tic.Tests;
 class IfThenElse {
     [Test(Description = "y = if a: 1 else 0")]
     public void SolvingSimpleCaseWithIfs() {
-        //node |    3  0  1      2 
+        //node |    3  0  1      2
         //expr |y = if a: 1 else 0;
 
         var graph = new GraphBuilder();
@@ -68,7 +68,7 @@ public void SolvingCaseWithIfs() {
     [Test(Description = "y = if (a) x else z ")]
     public void CleanGenericOnIfs() {
         //node |     3    0   1      2
-        //expr |y = if (true) x else z 
+        //expr |y = if (true) x else z
 
         var graph = new GraphBuilder();
 
@@ -87,7 +87,7 @@ public void CleanGenericOnIfs() {
     [Test(Description = "y = if (a) x else x ")]
     public void DummyGenericOnIfs() {
         //node |     3    0   1      2
-        //expr |y = if (true) x else x 
+        //expr |y = if (true) x else x
 
         var graph = new GraphBuilder();
 
@@ -106,7 +106,7 @@ public void DummyGenericOnIfs() {
     [Test(Description = "y = if (x) x else x ")]
     public void IfXxx() {
         //node |     3  0  1      2
-        //expr |y = if (x) x else x 
+        //expr |y = if (x) x else x
 
         var graph = new GraphBuilder();
 
@@ -122,6 +122,42 @@ public void IfXxx() {
         result.AssertNamed(StatePrimitive.Bool, "x", "y");
     }
 
+    [Test(Description = "y = if (true) 127.0.0.1 else 12")]
+    public void IfOfIpAndNumeric() {
+        //node |    3   0       1            2
+        //expr |y = if (true) 127.0.0.1 else 12;
+
+        var graph = new GraphBuilder();
+
+        graph.SetConst(0, StatePrimitive.Bool);
+        graph.SetConst(1, StatePrimitive.Ip);
+        graph.SetIntConst(2, StatePrimitive.U8);
+        graph.SetIfElse(new[] { 0 }, new[] { 1, 2 }, 3);
+        graph.SetDef("y", 3);
+        var result = graph.Solve();
+
+        result.AssertNoGenerics();
+        result.AssertNamed(StatePrimitive.Any, "y");
+    }
+
+    [Test(Description = "y = if (true) 127.0.0.1 else 12")]
+    public void IfOfBoolAndNumeric() {
+        //node |    3   0       1        2
+        //expr |y = if (true) true else 12;
+
+        var graph = new GraphBuilder();
+
+        graph.SetConst(0, StatePrimitive.Bool);
+        graph.SetConst(1, StatePrimitive.Bool);
+        graph.SetIntConst(2, StatePrimitive.U8);
+        graph.SetIfElse(new[] { 0 }, new[] { 1, 2 }, 3);
+        graph.SetDef("y", 3);
+        var result = graph.Solve();
+
+        result.AssertNoGenerics();
+        result.AssertNamed(StatePrimitive.Any, "y");
+    }
+
     [Test]
     public void If_withMultipleAncestorRules_EquationSolved() {
         //      3     0   1      2       4        5 7 6