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 /bot/src | |
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 'bot/src')
0 files changed, 0 insertions, 0 deletions