This may be the problem. I don’t remember exactly what I was trying to do, only that it was very difficult. Of course nobody uses show_types any more. Larry > On 24 Jun 2015, at 15:13, Dmitriy Traytel <traytel at in.tum.de> wrote: > > You can hover in the output panel, but you won't see types of constants there.