merging w. 6.0.0, Header support

ergoplatform · Sep 30, 2024 · 3901ba2 · 3901ba2
1 parent 19a3e7f
commit 3901ba2
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/data/jvm/src/main/scala/sigma/Platform.scala b/data/jvm/src/main/scala/sigma/Platform.scala
@@ -31,8 +31,9 @@ object Platform {
       case n: sigma.BigInt => Nullable(mkConstant[SBigInt.type](n, SBigInt))
       case ge: GroupElement => Nullable(mkConstant[SGroupElement.type](ge, SGroupElement))
       case b: Boolean => Nullable(if (b) TrueLeaf else FalseLeaf)
+      case h: Header => Nullable(mkConstant[SHeader.type](h, SHeader))
 
-      // todo: check Header and UnsignedBigInt
+      // todo: check UnsignedBigInt
 
       case v: String if !VersionContext.current.isV6SoftForkActivated => Nullable(mkConstant[SString.type](v, SString))
 

diff --git a/interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala b/interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala
@@ -244,6 +244,14 @@ class SigmaBuilderTest extends AnyPropSpec with ScalaCheckPropertyChecks with Ma
     testColl[SGroupElement.type](v, c)
   }
 
+  property("liftToConstant Header") {
+    val h = TestData.h1
+    val c = HeaderConstant(h)
+    test[SHeader.type](h, c)
+    testFailure(Array.fill(10)(h))
+    testColl[SHeader.type](h, c)
+  }
+
   property("liftToConstant ErgoBox") {
     val v = TestData.b2.asInstanceOf[CBox].wrappedValue
     val c = BoxConstant(TestData.b2)