diff options
author | buraq <buraq@epfl.ch> | 2003-07-14 10:15:57 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-07-14 10:15:57 +0000 |
commit | 05b3783bba650d33729f0f13d04a656dbe09b229 (patch) | |
tree | 5672af794f30e5791df17b753f82c85ac7848f73 /sources/scalac/typechecker/DeSugarize.java | |
parent | e90fe22dc3fb01f61c2f5bc1f9ac217fc0b0fb2c (diff) | |
download | scala-05b3783bba650d33729f0f13d04a656dbe09b229.tar.gz scala-05b3783bba650d33729f0f13d04a656dbe09b229.tar.bz2 scala-05b3783bba650d33729f0f13d04a656dbe09b229.zip |
proper handling of variables in sequence patterns
Diffstat (limited to 'sources/scalac/typechecker/DeSugarize.java')
-rw-r--r-- | sources/scalac/typechecker/DeSugarize.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sources/scalac/typechecker/DeSugarize.java b/sources/scalac/typechecker/DeSugarize.java index 14ad9cc781..58b40ec390 100644 --- a/sources/scalac/typechecker/DeSugarize.java +++ b/sources/scalac/typechecker/DeSugarize.java @@ -616,7 +616,8 @@ public class DeSugarize implements Kinds, Modifiers { /** x => x @ _ * only within sequence patterns, for now. BE - * precondition: name != '_' + * precondition: name != '_' + * post: returns *unattributed* Bind tree */ public Tree IdentPattern( Tree tree ) { @@ -625,7 +626,7 @@ public class DeSugarize implements Kinds, Modifiers { if( name == Names.WILDCARD ) throw new ApplicationError("nothing to desugarize"); return make.Bind( tree.pos, name, - make.Ident( tree.pos, Name.fromString("_") )).setType( tree.type ); + make.Ident( tree.pos, Names.WILDCARD ).setType( tree.type )).setType( tree.type ); default: throw new ApplicationError("ident expected"); } |