diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-20 10:07:24 +0100 |
---|---|---|
committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:30 +0100 |
commit | 07939c96715cd5adf7f220d239f61b73dd00edc3 (patch) | |
tree | de23b24f90ffc32bcbf6a22447cf93a5521abbd5 /.gitignore | |
parent | 7e1343e86a0d2575d596198d0f889b7d64cdb5a4 (diff) | |
download | dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.tar.gz dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.tar.bz2 dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.zip |
Fix of t1279a: baseTypeWithArgs
baseTypeWithArgs now also keeps track of refinements in the subtypes. Without
that, the approximated lub in t1279a is too coarse and the program fails to typecheck.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions