Showing inferred types of Scala expressions

Question

How can I see the types inferred by the Scala compiler for expressions etc.? I have some code with complicated type inference and implicit conversions, and it\'s hard to see wha

Answer 1

Hoist the expression to a non-local def or val, without an explicit type - then it will appear in the Outline view in Eclipse, with an inferred type assigned.

However, this isn't an ideal solution because it requires some work, and it can't be used when recursion is involved.

Answer 2

This exact feature has been added in Eclipse Scala IDE 3.0!

Select any portion of code and press Ctrl-Shift-W T (replacing Ctrl by Cmd on Mac) to see the inferred type.

Answer 3

It needs to be

scalacOptions in Compile ++= Seq("-Xprint-types", "-Xprint:typer")

instead.

Unfortunately the output isn't very readable. :(