Uploaded image for project: 'Scala Programming Language'
  1. Scala Programming Language
  2. SI-10159

Spurious CyclicReference errors occur with shapeless Record type

    Details

      Description

      See https://github.com/milessabin/shapeless/issues/679.

      import shapeless.record.Record
      object Foo {
        type K = Record.`'a -> Int`.T
        implicit val k: List[K] = Nil
      }
      

      While trying to adapt Record to have a `'a -> Int` member (before Dynamic is used), implicit search tries to type List[K], failing with a cyclic reference error since K in the process of being initialized already.

      PR forthcoming.

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              allisonhb allisonhb
            • Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

              Dates

              • Created:
                Updated: