diff options
author | Matthias Zenger <mzenger@gmail.com> | 2003-06-19 14:00:23 +0000 |
---|---|---|
committer | Matthias Zenger <mzenger@gmail.com> | 2003-06-19 14:00:23 +0000 |
commit | 82f0cb3c2cd5b249d2d24a099a0f125925f13206 (patch) | |
tree | 409964ec7ce98884c841095accd24e7a8d796363 /sources/scalac/transformer/matching/PatternMatcher.java | |
parent | c7392f4c45c0d5008afafd8746a8eb6610f67db2 (diff) | |
download | scala-82f0cb3c2cd5b249d2d24a099a0f125925f13206.tar.gz scala-82f0cb3c2cd5b249d2d24a099a0f125925f13206.tar.bz2 scala-82f0cb3c2cd5b249d2d24a099a0f125925f13206.zip |
Added widen.
Diffstat (limited to 'sources/scalac/transformer/matching/PatternMatcher.java')
-rw-r--r-- | sources/scalac/transformer/matching/PatternMatcher.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java index f05b482e3a..d805529454 100644 --- a/sources/scalac/transformer/matching/PatternMatcher.java +++ b/sources/scalac/transformer/matching/PatternMatcher.java @@ -141,7 +141,7 @@ public class PatternMatcher { this.root.and = makeHeader/*mk.Header*/( _m.pos, _m.selector.type.widen(), gen.Ident( _m.pos, root.symbol() ) - .setType(_m.selector.type)); + .setType(_m.selector.type.widen())); this.resultVar = new TermSymbol(_m.pos, /*cf.*/fresh.newName( RESULT_N ), |