diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-02-07 18:30:46 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-02-07 18:30:46 +0000 |
| commit | 67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70 (patch) | |
| tree | de57c9ef5cba16ea71ded0c3c20118ae74006873 /src/library | |
| parent | 9be1288dec994c96ab4619b7e3ffb096664ba01a (diff) | |
| download | scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.tar.gz scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.tar.bz2 scala-67cf4f5e32bc036788ff7a5426a5f5c0bb07fb70.zip | |
changed non-exhaustivity to attributes
Diffstat (limited to 'src/library')
| -rwxr-xr-x | src/library/scala/unsealed.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/library/scala/unsealed.scala b/src/library/scala/unsealed.scala new file mode 100755 index 0000000000..5ea51ae144 --- /dev/null +++ b/src/library/scala/unsealed.scala @@ -0,0 +1,18 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ + +// $Id: remote.scala 9400 2006-11-28 17:22:45 +0000 (Tue, 28 Nov 2006) michelou $ + + +package scala + +/** + * An attribute that gets applied to a selector in a match expression. + * If it is present, exhaustiveness warnings for that expression will be suppressed. + */ +class unsealed extends Attribute {} |