minimize-modules: RType implicits moved from SType

.github/workflows/ci.yml

@@ -103,7 +103,7 @@ jobs:
           key: ${{ runner.os }}-sbt-cache-v2-${{ hashFiles('**/*.sbt') }}-${{ hashFiles('project/build.properties') }}
 
       - name: Runs tests and collect coverage
-        run: sbt -jvm-opts ci/ci.jvmopts ++${{ matrix.scala }} commonJS/test interpreterJS/test parsersJS/test sdkJS/test scJS/test
+        run: sbt -jvm-opts ci/ci.jvmopts ++${{ matrix.scala }} coreJS/test interpreterJS/test parsersJS/test sdkJS/test scJS/test
 
       - name: Publish a JVM snapshot ${{ github.ref }}
         if: env.HAS_SECRETS == 'true'

interpreter/shared/src/main/scala/org/ergoplatform/ErgoLikeTransaction.scala

@@ -7,7 +7,7 @@ import scorex.crypto.hash.Blake2b256
 import scorex.util._
 import sigma.Colls
 import sigma.util.safeNewArray
-import sigmastate.SType._
+import sigmastate._
 import sigmastate.eval.Extensions._
 import sigmastate.eval._
 import sigmastate.interpreter.ProverResult

interpreter/shared/src/main/scala/sigmastate/sigmastate.scala

@@ -1,9 +1,26 @@
+import org.ergoplatform.{ErgoBox, ErgoBoxCandidate, ErgoLikeContext}
+import sigma.data.{GeneralType, RType}
 import sigmastate.Values._
 import sigmastate.lang.CheckingSigmaBuilder
 
+import scala.reflect.classTag
+
 package object sigmastate {
   import CheckingSigmaBuilder._
 
+  /** RType descriptors for predefined types used in AOTC-based interpreter. */
+  def rtypeToClassTag = ???
+
+  implicit val SigmaBooleanRType    : RType[SigmaBoolean]     = RType.fromClassTag(classTag[SigmaBoolean])
+
+  implicit val ErgoBoxRType         : RType[ErgoBox]          = RType.fromClassTag(classTag[ErgoBox])
+
+  implicit val ErgoBoxCandidateRType: RType[ErgoBoxCandidate] = RType.fromClassTag(classTag[ErgoBoxCandidate])
+
+  implicit val AvlTreeDataRType     : RType[AvlTreeData]      = GeneralType(classTag[AvlTreeData])
+
+  implicit val ErgoLikeContextRType : RType[ErgoLikeContext]  = RType.fromClassTag(classTag[ErgoLikeContext])
+
   /** Helper method to create "+" operation node. */
   def Plus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T] =
     mkPlus(left, right)

interpreter/shared/src/main/scala/sigmastate/types.scala

@@ -114,14 +114,6 @@ object SType {
   /** Costructs a collection type with the given type of elements. */
   implicit def typeCollection[V <: SType](implicit tV: V): SCollection[V] = SCollection[V](tV)
 
-  /** RType descriptors for predefined types used in AOTC-based interpreter. */
-  def rtypeToClassTag = ???
-  implicit val SigmaBooleanRType: RType[SigmaBoolean] = RType.fromClassTag(classTag[SigmaBoolean])
-  implicit val ErgoBoxRType: RType[ErgoBox] = RType.fromClassTag(classTag[ErgoBox])
-  implicit val ErgoBoxCandidateRType: RType[ErgoBoxCandidate] = RType.fromClassTag(classTag[ErgoBoxCandidate])
-  implicit val AvlTreeDataRType: RType[AvlTreeData] = GeneralType(classTag[AvlTreeData])
-  implicit val ErgoLikeContextRType: RType[ErgoLikeContext] = RType.fromClassTag(classTag[ErgoLikeContext])
-
   /** Named type variables and parameters used in generic types and method signatures.
     * Generic type terms like `(Coll[IV],(IV) => Boolean) => Boolean` are used to represent
     * method types of `Coll`` and `Option`` types. Each such type is an instance of [[SFunc]].

sc/shared/src/test/scala/org/ergoplatform/ErgoLikeTransactionSpec.scala

@@ -11,6 +11,7 @@ import sigmastate.interpreter.{ContextExtension, ProverResult}
 import sigmastate.serialization.SigmaSerializer
 import sigmastate.eval._
 import sigmastate.eval.Extensions._
+import sigmastate._
 import sigmastate.SType._
 import sigmastate.helpers.TestingHelpers.copyTransaction
 import sigmastate.utils.Helpers