diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-26 14:41:18 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-28 19:34:42 +0100 |
| commit | f449d9d3f83c7e28526cb827aa19b8eaebbb784b (patch) | |
| tree | ccffc2f825d9ca277a2cc253a6c1064b852b7617 /compiler/src/dotty/tools/dotc/typer | |
| parent | 783b978a4ebbe737a9b8467697a9f6970f99e907 (diff) | |
| download | dotty-f449d9d3f83c7e28526cb827aa19b8eaebbb784b.tar.gz dotty-f449d9d3f83c7e28526cb827aa19b8eaebbb784b.tar.bz2 dotty-f449d9d3f83c7e28526cb827aa19b8eaebbb784b.zip | |
Fix printing of refined applied types
If an applied type has a refinement, it was
printed before as one large refinement type
including the type parameter bindings.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions