From ad564dd2d9fcbfc16a70fea0b7cd221179851afa Mon Sep 17 00:00:00 2001
From: odersky <odersky@5e8d7ff9-d8ef-0310-90f0-a4852d11357a>
Date: Wed, 28 Jan 2009 19:16:22 +0000
Subject: [PATCH] added optional manifests

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@16995 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
---
 src/library/scala/reflect/NoManifest.scala  | 17 +++++++++++++++++
 src/library/scala/reflect/OptManifest.scala | 19 +++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100755 src/library/scala/reflect/NoManifest.scala
 create mode 100755 src/library/scala/reflect/OptManifest.scala

diff --git a/src/library/scala/reflect/NoManifest.scala b/src/library/scala/reflect/NoManifest.scala
new file mode 100755
index 000000000..06c13c9b3
--- /dev/null
+++ b/src/library/scala/reflect/NoManifest.scala
@@ -0,0 +1,17 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2007-2009, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+// $Id: Manifest.scala 16625 2008-11-25 16:04:12Z michelou $
+
+
+package scala.reflect
+
+/** <p> One of the branches of an OptManifest
+  */
+@serializable
+object NoManifest extends OptManifest[Nothing]
diff --git a/src/library/scala/reflect/OptManifest.scala b/src/library/scala/reflect/OptManifest.scala
new file mode 100755
index 000000000..0f07acae0
--- /dev/null
+++ b/src/library/scala/reflect/OptManifest.scala
@@ -0,0 +1,19 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2007-2009, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+// $Id: Manifest.scala 16625 2008-11-25 16:04:12Z michelou $
+
+
+package scala.reflect
+
+/** <p>
+  *   A <code>OptManifest[T]</code> is an optional @see Manifest.
+  *   It is either a Manifest or the value NoManifest
+  */
+@serializable
+trait OptManifest[+T]