Skip to content

Commit

Permalink
fixing SigmaTyperTest
Browse files Browse the repository at this point in the history
  • Loading branch information
kushti committed Sep 4, 2024
1 parent 0c674fe commit ed5b8f5
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions sc/shared/src/test/scala/sigmastate/lang/SigmaTyperTest.scala
Original file line number Diff line number Diff line change
Expand Up @@ -523,39 +523,39 @@ class SigmaTyperTest extends AnyPropSpec
typecheck(env, "1.toByte.toBytes",
expected = MethodCall.typed[Value[SCollection[SByte.type]]](
Select(IntConstant(1), "toByte", Some(SByte)),
SNumericTypeMethods.getMethodByName("toBytes").withConcreteTypes(Map(STypeVar("TNum") -> SByte)),
SNumericTypeMethods.ToBytesMethod.withConcreteTypes(Map(STypeVar("TNum") -> SByte)),
Vector(),
Map()
)) shouldBe SByteArray

typecheck(env, "1.toShort.toBytes",
expected = MethodCall.typed[Value[SCollection[SByte.type]]](
Select(IntConstant(1), "toShort", Some(SShort)),
SNumericTypeMethods.getMethodByName("toBytes").withConcreteTypes(Map(STypeVar("TNum") -> SShort)),
SNumericTypeMethods.ToBytesMethod.withConcreteTypes(Map(STypeVar("TNum") -> SShort)),
Vector(),
Map()
)) shouldBe SByteArray

typecheck(env, "1.toBytes",
expected = MethodCall.typed[Value[SCollection[SByte.type]]](
IntConstant(1),
SNumericTypeMethods.getMethodByName("toBytes").withConcreteTypes(Map(STypeVar("TNum") -> SInt)),
SNumericTypeMethods.ToBytesMethod.withConcreteTypes(Map(STypeVar("TNum") -> SInt)),
Vector(),
Map()
)) shouldBe SByteArray

typecheck(env, "1.toLong.toBytes",
expected = MethodCall.typed[Value[SCollection[SByte.type]]](
Select(IntConstant(1), "toLong", Some(SLong)),
SNumericTypeMethods.getMethodByName("toBytes").withConcreteTypes(Map(STypeVar("TNum") -> SLong)),
SNumericTypeMethods.ToBytesMethod.withConcreteTypes(Map(STypeVar("TNum") -> SLong)),
Vector(),
Map()
)) shouldBe SByteArray

typecheck(env, "1.toBigInt.toBytes",
expected = MethodCall.typed[Value[SCollection[SByte.type]]](
Select(IntConstant(1), "toBigInt", Some(SBigInt)),
SNumericTypeMethods.getMethodByName("toBytes").withConcreteTypes(Map(STypeVar("TNum") -> SBigInt)),
SNumericTypeMethods.ToBytesMethod.withConcreteTypes(Map(STypeVar("TNum") -> SBigInt)),
Vector(),
Map()
)) shouldBe SByteArray
Expand Down

0 comments on commit ed5b8f5

Please sign in to comment.