Open Sporarum opened 1 year ago
Thanks for reporting! I don't think that scastie uses mdoc though, so https://github.com/lampepfl/dotty/issues/16676 is not related. I even see it compiles the file using sbt, so that wouldn't happen with mdoc.
As for the first one it's an issue in metals if it's hover.
Are you sure Scastie doesn't use mdoc ?
The only way I was able to replicate lampepfl/dotty#16676 was in a worksheet and in Scastie, and not in a regular file, so it seems to indicate the issue is not with the compiler
Yes, I discussed it with Jędrzej. Both I think just use toString
, not sure what else can be done really.
The following have been reported on the compiler, but I believe now it to be a problem with Mdoc, that scastie and the repl use https://github.com/lampepfl/dotty/issues/17000 https://github.com/lampepfl/dotty/issues/16676
Look at the issues for more details, including examples and a potential solution for one of them