diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-08 19:05:54 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-20 13:02:40 +0100 |
commit | 4611bdf0972fc01dfdfa647a0e84e3bccf98ea05 (patch) | |
tree | 9621204b229428480b0909f6af2796577029dc97 /src/dotty/tools/dotc/core/Definitions.scala | |
parent | 021c251869ddeccc9ff91ab5c0867a11f3c8cea3 (diff) | |
download | dotty-4611bdf0972fc01dfdfa647a0e84e3bccf98ea05.tar.gz dotty-4611bdf0972fc01dfdfa647a0e84e3bccf98ea05.tar.bz2 dotty-4611bdf0972fc01dfdfa647a0e84e3bccf98ea05.zip |
Appromiximate union types by intersections.
Appromiximate union types by intersections of their common base classes. Controlled by option -Xkeep-unions.
If option is set, no approximation is done.
Motivations for approximating: There are two. First, union types are departure from Scala 2. From time to
time they lead to failure of inference. One example experiences in Dotty was in a foldLeft, where the accumulator
type was inferred to be Tree before and was now a union of two tree specific kinds. Tree was the correct type, whereas
the union type was too specific. These failures are not common (in the Dotty codebase there were 3, I believe), but
they cause considerable difficulty to diagnose. So it seems safer to have a compatibility mode with Scala 2.
The second motivation is that union types can become large and unwieldy. A function like TreeCopier has a result
type consisting of ~ 40 alternatives, where the alternative type would be just Tree.
Once we gain more experience with union types, we might consider flipping the option, and making union types the
default. But for now it is safer this way, I believe.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
0 files changed, 0 insertions, 0 deletions