scalameta/scalahost — pull request #17 by xeno-by (2014-10-01 20:28:13+00:00)
Title: that's it for the reflect -> meta converter for the time being

I'd like to get better prettyprinting for meta trees, so that we don't get crazily formatted printouts like `if (!argssAreTrivial) if (probe.isTrait) ConstrArgsInParentWhichIsTraitError(encodedtpt, probe) ...`. However, I'm running out of time, so this will have to be delayed.

Another avenue for future work is sanity-checking reflect -> meta conversion results by structurally correlating then with meta parsing results. I've prototyped that in https://github.com/xeno-by/dotx/blob/995f060fd9712304fbf18c7256d4980401688fcd/metac/Metac.scala#L120, but we're lacking technology to make it work. At the moment, meta parser remembers much more trivia than reflect parser, so correlating their results is impractical. I hoped that I could tune some things here and there, and it'd work, but discrepancies are too numerous. Well, that's a nice thing about research - things don't work again and again until they do. Looking forward to the future when they do :D