diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-24 13:28:55 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-24 13:28:55 +0200 |
commit | de336bccbbd5671f97e7889b5260e963c8317b1d (patch) | |
tree | 4d5ffd493777955cfc414442b78d1d8d027b577b /src/dotty/tools/dotc/typer | |
parent | 3f5af18620f5274fefe9683542fd4f02ec099dfd (diff) | |
download | dotty-de336bccbbd5671f97e7889b5260e963c8317b1d.tar.gz dotty-de336bccbbd5671f97e7889b5260e963c8317b1d.tar.bz2 dotty-de336bccbbd5671f97e7889b5260e963c8317b1d.zip |
Change in how type variables are printed.
Uninstantiated type variables are now marked with ? instead of ''. The marking with '' is ambiguous becuase it could also mean an instantiated type variable that refers to another instantiated type variable.
Diffstat (limited to 'src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions