From f577fd359fe310d61c9a19b1c5bdbc996e1e96cb Mon Sep 17 00:00:00 2001
From: Alexander Chepurnoy <alex.chepurnoy@iohk.io>
Date: Mon, 8 Jul 2024 10:59:16 +0300
Subject: [PATCH] passing test (compilation fixed)

---
 .../scala/sigma/compiler/ir/TreeBuilding.scala  |  6 +++++-
 .../compiler/ir/primitives/NumericOps.scala     |  5 +++--
 .../sigmastate/utxo/BasicOpsSpecification.scala | 17 +++++++++++++++++
 3 files changed, 25 insertions(+), 3 deletions(-)

diff --git a/sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala b/sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala
index f7daff90ae..4894940ef6 100644
--- a/sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala
+++ b/sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala
@@ -186,7 +186,11 @@ trait TreeBuilding extends Base { IR: IRContext =>
               .asInstanceOf[ConstantNode[SType]]
             s.put(constant)(builder)
           case None =>
-            mkConstant[tpe.type](x.asInstanceOf[tpe.WrappedType], tpe)
+            if(x.isInstanceOf[CollConst[_, _]]) { // hack used to process NumericToBigEndianBytes only
+              mkConstant[tpe.type](x.asInstanceOf[CollConst[_, _]].constValue.asInstanceOf[tpe.WrappedType], tpe)
+            } else {
+              mkConstant[tpe.type](x.asInstanceOf[tpe.WrappedType], tpe)
+            }
         }
       case Def(IR.ConstantPlaceholder(id, elem)) =>
         val tpe = elemToSType(elem)
diff --git a/sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala b/sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala
index ef4124d0b5..80a2560d0f 100644
--- a/sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala
+++ b/sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala
@@ -71,8 +71,9 @@ trait NumericOps extends Base { self: IRContext =>
   /** Descriptor of unary `ToBigEndianBytes` conversion operation. */
   case class NumericToBigEndianBytes[T](n: ExactNumeric[T])
     extends UnOp[T, Coll[Byte]]("ToBigEndianBytes")(element[Coll[Byte]]) {
-    override def applySeq(x: T): Coll[Byte] =
-      n.toBigEndianBytes(x).asInstanceOf[Coll[Byte]]
+    override def applySeq(x: T): Coll[Byte] = {
+      liftableColl(Liftables.ByteIsLiftable).lift(n.toBigEndianBytes(x))
+    }
   }
 
   /** Descriptor of binary `/` operation (integral division). */
diff --git a/sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala b/sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
index 79701d6e07..f88e821e9e 100644
--- a/sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
+++ b/sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala
@@ -3,6 +3,7 @@ package sigmastate.utxo
 import org.ergoplatform.ErgoBox.{AdditionalRegisters, R6, R8}
 import org.ergoplatform._
 import sigma.Extensions.ArrayOps
+import sigma.VersionContext
 import sigma.ast.SCollection.SByteArray
 import sigma.ast.SType.AnyOps
 import sigma.data.{AvlTreeData, CAnyValue, CSigmaDslBuilder}
@@ -157,6 +158,22 @@ class BasicOpsSpecification extends CompilerTestingCommons
     )
   }
 
+  property("Long.toBytes") {
+    def toBytesTest() = test("Long.toBytes", env, ext,
+      """{
+        |   val l = 1L
+        |   l.toBytes.size > 0
+        | }""".stripMargin,
+      null
+    )
+
+    if (VersionContext.current.isV6SoftForkActivated) {
+      toBytesTest()
+    } else {
+      an[Exception] shouldBe thrownBy(toBytesTest())
+    }
+  }
+
   property("Relation operations") {
     test("R1", env, ext,
       "{ allOf(Coll(getVar[Boolean](trueVar).get, true, true)) }",