From 05b3783bba650d33729f0f13d04a656dbe09b229 Mon Sep 17 00:00:00 2001
From: buraq <buraq@epfl.ch>
Date: Mon, 14 Jul 2003 10:15:57 +0000
Subject: proper handling of variables in sequence patterns

---
 sources/scalac/typechecker/DeSugarize.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'sources/scalac/typechecker/DeSugarize.java')

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");
             }
-- 
cgit v1.2.3