goggles icon indicating copy to clipboard operation
goggles copied to clipboard

Test in dotty

Open bbarker opened this issue 8 years ago • 4 comments

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.

bbarker avatar Oct 12 '17 20:10 bbarker

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 avatar Oct 12 '17 21:10 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 avatar Jul 06 '18 02:07 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.

kenbot avatar Jun 25 '19 14:06 kenbot

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

julien-truffaut avatar Jun 25 '19 14:06 julien-truffaut