diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:09 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:15 +0100 |
commit | 7d1d93e95113802bee77b9d2b89475a56be46bf7 (patch) | |
tree | 994d5cf39aa3ab813d5b13f4b36bce2c8fcdda6c /.gitattributes | |
parent | 93dd1cf1fdbf56ca3c153aa5a25fb4c48782acf5 (diff) | |
download | dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.gz dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.bz2 dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.zip |
Push `|' into corresponding RefinedTypes in approximateUnion
This gives in general a supertype, that's OK for approximation.
See ee76fda for an explanation.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions