diff options
| author | Matthias Zenger <mzenger@gmail.com> | 2004-03-08 10:51:36 +0000 |
|---|---|---|
| committer | Matthias Zenger <mzenger@gmail.com> | 2004-03-08 10:51:36 +0000 |
| commit | ce039b7db18521e8fadf244099ed90ad1020ec5e (patch) | |
| tree | fced47f3961d311587daeddcf6914e017be9fd2b /sources/scalac/util/Names.java | |
| parent | 8ba6023e7aa181b4e7e3206caf29c0550315f5b4 (diff) | |
| download | scala-ce039b7db18521e8fadf244099ed90ad1020ec5e.tar.gz scala-ce039b7db18521e8fadf244099ed90ad1020ec5e.tar.bz2 scala-ce039b7db18521e8fadf244099ed90ad1020ec5e.zip | |
Improved error messages for failed pattern matc...
Improved error messages for failed pattern matching expressions.
Diffstat (limited to 'sources/scalac/util/Names.java')
| -rw-r--r-- | sources/scalac/util/Names.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 72ad4eef61..9824c2cf9a 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -139,6 +139,7 @@ public class Names { public static final Name elem = Name.fromString("elem"); public static final Name elements = Name.fromString("elements"); public static final Name fail = Name.fromString("fail"); + public static final Name report = Name.fromString("report"); public static final Name false_ = Name.fromString("false"); public static final Name filter = Name.fromString("filter"); public static final Name flatmap = Name.fromString("flatMap"); |