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 | |
| 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')
0 files changed, 0 insertions, 0 deletions