Test in dotty

[bbarker]

This is more for discussion rather than saying "we should do it now", but I want to note that dotty seems to be going in the direction of using more string interpolation (e.g., XML literals will likely be replaced as interpolated strings), and I'd hazard a guess that using VS Code with it (or any other editor that supports the language protocol in the future) would actually show syntax errors within an editor.

[kenbot]

Great point, this is a thing to think about. From what I've seen, there is significant risk that Dotty's take on macros makes our approach (using whitebox macros) unworkable.

[kenbot]

This is interesting, and might mean that Goggles is viable beyond Scala 2 after all: https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md

[kenbot]

Previous link is dead now, but: https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#specializing-inline-whitebox

Whitebox is back! It looks like this would let us refine the string context macro return type, which is what makes the Goggles approach work.

[julien-truffaut]

@kenbot btw I know that all Monocle blackbox macros have been ported in dotty, need to find the link