diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2013-02-07 18:45:34 +0100 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2013-02-07 19:03:16 +0100 |
commit | 0d68a874e2158d9739abd3977ae0d9edd4a76e59 (patch) | |
tree | 00a45b678ef24b5258c4fa948d01076968461444 /docs | |
parent | 3d318be51f8e8cdec314565920327486212f5020 (diff) | |
download | scala-0d68a874e2158d9739abd3977ae0d9edd4a76e59.tar.gz scala-0d68a874e2158d9739abd3977ae0d9edd4a76e59.tar.bz2 scala-0d68a874e2158d9739abd3977ae0d9edd4a76e59.zip |
SI-6113 typeOf now works for type lambdas
It's not a problem to have an abstract type symbol in a ground type tag
if that symbol is defined in the type being reified.
This mechanics was already built in for existentials, now we extend it to
include type params of poly types.
Credit goes to @katefree
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions