Torsten Schmits

that doesn't help when using a transition with the button…would be nice if this were fixed.

hm, looks like a problem that will need pretty extensive digging to solve…I'll see if i can find the time :worried:

unfortunately, I am unable to reproduce the problem with any of the test cases specified in those issues. I assume this is just another incarnation of https://github.com/tek/splain/issues/4 :disappointed:

I would expect that _if_ that's feasible, it should be possible at the point where you would implement your feature from the other issue, where you should have access to...

interesting find! you can add a [`SpecialFormatter` subclass](https://github.com/tek/splain/blob/master/src/main/scala/splain/format/Formatters.scala). its first parameter is a `Type` that should contain `a.type =.= b.type`, you can then pattern match and turn it into a...

> The difficult part would be to find the code where the 'erasure' from a.type to Int happens: the code is displaying `Int =:= Int`, technically this is incorrect, as...

Wouldn't the tree algorithm work entirely on the root type? You could just check the option in `formatSpecial` and return a custom `Formatted` with the tree if it was enabled.

regarding the erasure, I would start by debug printing the type in a function like `symbolPath` in `Formatting` and then going up or down the call stack depending on what...

oh, huh. I would assume that the cause of this could be that the tests are executed in a different sbt scope by IntelliJ. If you can find out how...

yes, I made it up as I went along :slightly_smiling_face: I see you found a location where the singleton type was truncated, that's a little more obvious! since the tests...