diff options
author | paltherr <paltherr@epfl.ch> | 2003-07-14 13:16:51 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-07-14 13:16:51 +0000 |
commit | 6391473b0de208e5db034ca1bd59782ab551278e (patch) | |
tree | 49bb3948940713826e66c70a2ae4fe898e20f3aa /sources | |
parent | be547c54509ba159f05f919cedf39799914b7ab2 (diff) | |
download | scala-6391473b0de208e5db034ca1bd59782ab551278e.tar.gz scala-6391473b0de208e5db034ca1bd59782ab551278e.tar.bz2 scala-6391473b0de208e5db034ca1bd59782ab551278e.zip |
- Fixed the code that generates value selection...
- Fixed the code that generates value selections (missing asSeenFrom)
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scalac/transformer/matching/AlgebraicMatcher.java | 2 | ||||
-rw-r--r-- | sources/scalac/transformer/matching/PatternMatcher.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sources/scalac/transformer/matching/AlgebraicMatcher.java b/sources/scalac/transformer/matching/AlgebraicMatcher.java index 6b0afd8fa5..67fc972798 100644 --- a/sources/scalac/transformer/matching/AlgebraicMatcher.java +++ b/sources/scalac/transformer/matching/AlgebraicMatcher.java @@ -356,7 +356,7 @@ public class AlgebraicMatcher extends PatternTool { Symbol typeSym = ((ClassSymbol) casted.type().symbol()) .caseFieldAccessor(index); - Type castType = getHeaderType( typeOf0( typeSym )); + Type castType = getHeaderType( typeOf0( typeSym )).asSeenFrom(typeOf(casted), typeSym.owner()); target.and = curHeader = mk.Header(pat.pos, castType, diff --git a/sources/scalac/transformer/matching/PatternMatcher.java b/sources/scalac/transformer/matching/PatternMatcher.java index c8d2db2cc6..f3f52d8074 100644 --- a/sources/scalac/transformer/matching/PatternMatcher.java +++ b/sources/scalac/transformer/matching/PatternMatcher.java @@ -542,7 +542,7 @@ public class PatternMatcher extends PatternTool { Symbol.EMPTY_ARRAY, getHeaderType(typeOf0(ts)))) .setSymbol(ts), - Tree.EMPTY_ARRAY).setType(getHeaderType(typeOf0(ts)))); + Tree.EMPTY_ARRAY).setType(getHeaderType(typeOf0(ts)).asSeenFrom(typeOf(casted), ts.owner()))); } curHeader.or = patternNode(pat, curHeader, env); return enter(patArgs, curHeader.or, casted, env); |