Tuple.Zip not able to handle more than 22 elements

[chungonn]

Compiler version

3.1.1

Minimized code

import scala.deriving.Mirror

case class Size3(a1:Int, a2:Int, a3:Int)
case class Size22(a1:Int, a2:Int, a3:Int, a4:Int, a5:Int, a6:Int, a7:Int, a8:Int, a9:Int, a10:Int, a11:Int, a12:Int, a13:Int, a14:Int, a15:Int, a16:Int, a17:Int, a18:Int, a19:Int, a20:Int, a21:Int, a22:Int)
case class Size23(a1:Int, a2:Int, a3:Int, a4:Int, a5:Int, a6:Int, a7:Int, a8:Int, a9:Int, a10:Int, a11:Int, a12:Int, a13:Int, a14:Int, a15:Int, a16:Int, a17:Int, a18:Int, a19:Int, a20:Int, a21:Int, a22:Int, a23:Int)

type FieldValuePair[X <:Tuple] <: Tuple = X match {
  case EmptyTuple => X
  case t *: ts => t *: FieldValuePair[ts]
}

inline def baz[A](using m: Mirror.ProductOf[A])(a: Tuple.Zip[m.MirroredElemLabels, FieldValuePair[m.MirroredElemTypes]]) = a

@main def main =
  val s3 = baz[Size3]("a1" -> 1, "a2" -> 2, "a3" ->3 )

  val s22 = baz[Size22]("a1" -> 1, "a2" -> 2, "a3" -> 3, "a4" -> 4, "a5" -> 5, "a6" -> 6, "a7" -> 7,
  "a8" -> 8, "a9" -> 9, "a10" -> 10, "a11" -> 11, "a12" -> 12, "a13" -> 13, "a14" -> 14, "a15" -> 15,
  "a16" -> 16, "a17" -> 17, "a18" -> 18, "a19" -> 19, "a20" -> 20, "a21" -> 21, "a22" -> 22)


  val s23 = baz[Size23]("a1" -> 1, "a2" -> 2, "a3" -> 3, "a4" -> 4, "a5" -> 5, "a6" -> 6, "a7" -> 7,
    "a8" -> 8, "a9" -> 9, "a10" -> 10, "a11" -> 11, "a12" -> 12, "a13" -> 13, "a14" -> 14, "a15" -> 15,
    "a16" -> 16, "a17" -> 17, "a18" -> 18, "a19" -> 19, "a20" -> 20, "a21" -> 21, "a22" -> 22, "a23" -> 23)

s3 and s22 compiles successfully, but compiler emits error for s23

Found:    ((String, Int), (String, Int), (String, Int), (String, Int), (String, Int), (
  String
, Int), (String, Int), (String, Int), (String, Int), (String, Int), (String, Int
  )
, (String, Int), (String, Int), (String, Int), (String, Int), (String, Int), (
  String
, Int), (String, Int), (String, Int), (String, Int), (String, Int), (String, Int
  )
, (String, Int))
Required: Tuple.Zip[(("a1" : String), ("a2" : String), ("a3" : String), ("a4" : String), 
  ("a5" : String)
, ("a6" : String), ("a7" : String), ("a8" : String), ("a9" : String), 
  ("a10" : String)
, ("a11" : String), ("a12" : String), ("a13" : String), ("a14" : String), 
  ("a15" : String)
, ("a16" : String), ("a17" : String), ("a18" : String), ("a19" : String), 
  ("a20" : String)
, ("a21" : String), ("a22" : String), ("a23" : String)), 
  testA.FieldConstructor[(Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int
    , 
  Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)]
]
  val s23 = baz[Size23]("a1" ->1, "a2" -> 2, "a3" -> 3, "a4" -> 4, "a5" -> 5, "a6" -> 6, "a7" -> 7,

Here is the same code compile using scastie - https://scastie.scala-lang.org/sqRT9EHDT0uyV2QBtdeFQw

[bishabosha]

edit: could you try to replicate this without depending on mirrors?

[chungonn]

Without mirror using Tuple only it works. This is sample code is slightly different from my earlier code. However it still use Match Type to extract the type from the Input.

/*Using Tuple without mirror*/
type TuplePair[Xs <: Tuple] <: Tuple = Xs match {
  case EmptyTuple => Xs
  case (String, t) *: ts => t *: TuplePair[ts]
}

inline def foo[A <: Tuple](a: A): TuplePair[A] = ???

@main def main2 =
  val t3: (Int, Int, Int) = foo("a1" -> 1, "a2" -> 2, "a3" -> 3)
  
  val t22: (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int) = foo("a1" -> 1, "a2" -> 2, "a3" -> 3, "a4" -> 4, "a5" -> 5, "a6" -> 6, "a7" -> 7,
    "a8" -> 8, "a9" -> 9, "a10" -> 10, "a11" -> 11, "a12" -> 12, "a13" -> 13, "a14" -> 14, "a15" -> 15,
    "a16" -> 16, "a17" -> 17, "a18" -> 18, "a19" -> 19, "a20" -> 20, "a21" -> 21, "a22" -> 22)
  
  val t23: (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int) = foo("a1" -> 1, "a2" -> 2, "a3" -> 3, "a4" -> 4, "a5" -> 5, "a6" -> 6, "a7" -> 7,
    "a8" -> 8, "a9" -> 9, "a10" -> 10, "a11" -> 11, "a12" -> 12, "a13" -> 13, "a14" -> 14, "a15" -> 15,
    "a16" -> 16, "a17" -> 17, "a18" -> 18, "a19" -> 19, "a20" -> 20, "a21" -> 21, "a22" -> 22, "a23" -> 23)

  //I would expect this to work as well, but it doesn't. Is this the expected behavior?
  val x3: (1, 2, 3) = foo("a1" -> 1, "a2" -> 2, "a3" -> 3)

Here is the above code on Scastie - https://scastie.scala-lang.org/lPzDCXmLRb63OM14AbfYSg

[chungonn]

Hi Jaime, I don't fully understand your question. However, I have responded to your question in GitHub and have a new example to test the Match Types without using Mirror. Tuple beyond 22 elements does work for my usecase. Thanks for looking into the issue. Regards chungonn

…

On Wed, Apr 27, 2022 at 9:22 PM Jamie Thompson ***@***.***> wrote: this might be related to #mirror <#14127>, could you try again by manually creating the tuple types? — Reply to this email directly, view it on GitHub <#15043 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACNXKXAS73IDH3ELVHRAQLVHE5PZANCNFSM5UNVTIYQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>