diff options
author | Paul Phillips <paulp@improving.org> | 2012-05-26 12:49:01 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-05-26 12:49:01 -0700 |
commit | cf6cd56e14daef93ff82d8da4e7247df11d748f9 (patch) | |
tree | ef4c22502253d40427bfb94c2d37cd4796d73977 /src/compiler/scala/reflect/internal/Names.scala | |
parent | 688c558b0257636f8f46240616b8b3d448847a47 (diff) | |
download | scala-cf6cd56e14daef93ff82d8da4e7247df11d748f9.tar.gz scala-cf6cd56e14daef93ff82d8da4e7247df11d748f9.tar.bz2 scala-cf6cd56e14daef93ff82d8da4e7247df11d748f9.zip |
Help our new exhaustiveness checker.
...be a little less chatty.
Diffstat (limited to 'src/compiler/scala/reflect/internal/Names.scala')
-rw-r--r-- | src/compiler/scala/reflect/internal/Names.scala | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/compiler/scala/reflect/internal/Names.scala b/src/compiler/scala/reflect/internal/Names.scala index 23eaa1088c..17924f0c0c 100644 --- a/src/compiler/scala/reflect/internal/Names.scala +++ b/src/compiler/scala/reflect/internal/Names.scala @@ -431,13 +431,16 @@ trait Names extends api.Names { /** A name that contains no operator chars nor dollar signs. * TODO - see if it's any faster to do something along these lines. + * Cute: now that exhaustivity kind of works, the mere presence of + * this trait causes TermName and TypeName to stop being exhaustive. + * Commented out. */ - trait AlphaNumName extends Name { - final override def encode = thisName - final override def decodedName = thisName - final override def decode = toString - final override def isOperatorName = false - } + // trait AlphaNumName extends Name { + // final override def encode = thisName + // final override def decodedName = thisName + // final override def decode = toString + // final override def isOperatorName = false + // } /** TermName_S and TypeName_S have fields containing the string version of the name. * TermName_R and TypeName_R recreate it each time toString is called. |