diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:16:31 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:16:31 +0200 |
| commit | b3d683a4088f3db894c026070449637ec74e92fd (patch) | |
| tree | e7c57dda7013d64b25cdf9a6874db42bb836e18f /tests | |
| parent | 529346d241459f0d20e607fb5ea78b6091c8bc12 (diff) | |
| download | dotty-b3d683a4088f3db894c026070449637ec74e92fd.tar.gz dotty-b3d683a4088f3db894c026070449637ec74e92fd.tar.bz2 dotty-b3d683a4088f3db894c026070449637ec74e92fd.zip | |
Explain skolem types
Strictly speaking, all the info about a skolem type is printed, e.g.
A(?2)
But it's reassuring to have an explanation line like
?2 is an unknown value of type A
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions