diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-29 20:18:49 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:05 +0200 |
| commit | 4093e138f682ce0c78eed36861962c1e68022098 (patch) | |
| tree | ea20634122da8d69da478777391834fc8bac7da1 /bin/dotr | |
| parent | dca10528b40632860696d65cfe699d6dfcb62ec0 (diff) | |
| download | dotty-4093e138f682ce0c78eed36861962c1e68022098.tar.gz dotty-4093e138f682ce0c78eed36861962c1e68022098.tar.bz2 dotty-4093e138f682ce0c78eed36861962c1e68022098.zip | |
Don't dealias when applying types
Keep the higher-kinded application instead. This should be
better for inference. We have to evaluate the performance impact.
Maybe dealias if the kind stays the same?
Also, reduce Nothing[...] to Nothing
Nothing cannot be a type constructor in a
HK application because it does not have type
parameters. Avoid the problemn by the reduction above.
Diffstat (limited to 'bin/dotr')
0 files changed, 0 insertions, 0 deletions