diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-29 19:12:29 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:34:59 +0200 |
commit | 5daae278392ed6fabd45c9fa55aded970ca2a348 (patch) | |
tree | 3ddec4b259a4c359efdff5fa4392a88819d336fe /scalastyle-config.xml | |
parent | 4bf43f82c88dbeb0578e289b37ce1a7580aa22f2 (diff) | |
download | dotty-5daae278392ed6fabd45c9fa55aded970ca2a348.tar.gz dotty-5daae278392ed6fabd45c9fa55aded970ca2a348.tar.bz2 dotty-5daae278392ed6fabd45c9fa55aded970ca2a348.zip |
Multiple fixes
- Swap order of tests in lookupRefined
- Change joins of BindingKinds.
A type parameter joint with a normal refinement represents
a type parameter that has been filled in. So the Binding attribute
should be removed.
- Fix printing of type lambdas under new hk scheme
- refine isRef for hk type
The new definition avoids that a higher-kinded type "isRef"
of an underlying class. I.e. `[X] -> Any` is not longer a ref
to `Any`.
- Fix withBindingKind for type aliases
Old definition converted aliases to type bounds.
- Multiple fixes to BetaReduce
- Fix logic for hk subtype tests
- Make isHK more precise
Diffstat (limited to 'scalastyle-config.xml')
0 files changed, 0 insertions, 0 deletions