diff options
| author | Matthias Zenger <mzenger@gmail.com> | 2003-08-28 12:39:52 +0000 |
|---|---|---|
| committer | Matthias Zenger <mzenger@gmail.com> | 2003-08-28 12:39:52 +0000 |
| commit | 1ba1b5f0d6f3fea116ea5858842bb539257f511b (patch) | |
| tree | 146f4390cba330ec0f94a6bfeb51fc1e5e642761 /sources/scalac/util/Names.java | |
| parent | 1f02ae13680bcf874db01096105c22b4d5d3f042 (diff) | |
| download | scala-1ba1b5f0d6f3fea116ea5858842bb539257f511b.tar.gz scala-1ba1b5f0d6f3fea116ea5858842bb539257f511b.tar.bz2 scala-1ba1b5f0d6f3fea116ea5858842bb539257f511b.zip | |
Added support for case class tags.
Diffstat (limited to 'sources/scalac/util/Names.java')
| -rw-r--r-- | sources/scalac/util/Names.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 8c7ecdb5c4..10ddafedb9 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -141,6 +141,8 @@ public class Names { public static final Name true_ = Name.fromString("true"); public static final Name update = Name.fromString("update"); + public static final Name tag = Name.fromString("$tag"); + public static final Name ZNOT = encode("!"), ZAND = encode("&&"), |