diff options
author | Paul Phillips <paulp@improving.org> | 2011-05-14 16:55:44 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-05-14 16:55:44 +0000 |
commit | b7e7cf14bb3b06cdf9c7f7a8ccfe2d3220af95c4 (patch) | |
tree | e7b88d28690b3c2c317c2fdfdba804bd09f454b7 /project/build.properties | |
parent | 77207165674431d6c55ccab77733a483e07f01ad (diff) | |
download | scala-b7e7cf14bb3b06cdf9c7f7a8ccfe2d3220af95c4.tar.gz scala-b7e7cf14bb3b06cdf9c7f7a8ccfe2d3220af95c4.tar.bz2 scala-b7e7cf14bb3b06cdf9c7f7a8ccfe2d3220af95c4.zip |
Change Types#narrow to create an existential ra...
Change Types#narrow to create an existential rather than a refinement
type, as the comment indicated was a desirable outcome. (Definitely)
review by odersky.
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions