diff options
| author | odersky <odersky@gmail.com> | 2017-04-09 16:28:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-09 16:28:56 +0200 |
| commit | b8bb34dd0ea68cfed09ed54604f659a787037d2d (patch) | |
| tree | 3387b92f511c18fa91a8417b6b74a43d798e4a19 /compiler/src/dotty/tools/dotc/typer | |
| parent | 4d76265fac7edafc2fcf29ce6873fdb252fbba0d (diff) | |
| parent | b159489576fc7afdee5b2d93e9465dbc87f8069e (diff) | |
| download | dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.tar.gz dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.tar.bz2 dotty-b8bb34dd0ea68cfed09ed54604f659a787037d2d.zip | |
Merge pull request #2204 from dotty-staging/fix/i2201
Fix #2201: Less aggressive type application reduction for better inference
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer')
0 files changed, 0 insertions, 0 deletions