Scala Programming Language
  1. Scala Programming Language
  2. SI-7167

divergent implicit machinery prevents implicit macros from recursing

    Details

      Description

      If Foo[T] is synthesized implicit macro, then sometimes recursive calls from Foo[X] to Foo[Y] might lead to divergent implicit errors.

      The build-in divergent expansion protection is nice, sure thing, but for macros it just gets in the way, because it's the macro programmer who should be in control.

        Activity

        Show
        Eugene Burmako added a comment - https://github.com/scala/scala/pull/2494
        Show
        Eugene Burmako added a comment - Fixed in https://github.com/scala/scala/commit/8168f118c9f71d63404880de89f20471043949fe

          People

          • Assignee:
            Eugene Burmako
            Reporter:
            Eugene Burmako
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development