1 files changed, 24 insertions, 0 deletions
diff --git a/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/CheckedBehavior.scala b/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/CheckedBehavior.scala
new file mode 100644
index 0000000..4668b3c
--- /dev/null
+++ b/examples/scala-js/tools/shared/src/main/scala/scala/scalajs/tools/sem/CheckedBehavior.scala
@@ -0,0 +1,24 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___      __ ____  Scala.js tools             **
+**    / __/ __// _ | / /  / _ | __ / // __/  (c) 2014, LAMP/EPFL        **
+**  __\ \/ /__/ __ |/ /__/ __ |/_// /_\ \    http://scala-js.org/       **
+** /____/\___/_/ |_/____/_/ | |__/ /____/                               **
+**                          |/____/                                     **
+\*                                                                      */
+
+
+package scala.scalajs.tools.sem
+
+sealed abstract class CheckedBehavior {
+  import CheckedBehavior._
+  def optimized: CheckedBehavior = this match {
+    case Fatal => Unchecked
+    case _     => this
+  }
+}
+
+object CheckedBehavior {
+  case object Compliant extends CheckedBehavior
+  case object Fatal extends CheckedBehavior
+  case object Unchecked extends CheckedBehavior
+}