Merge pull request #3248 from adriaanm/dist-cleanup-licenses

Clean up Scala distribution a bit.

1 files changed, 0 insertions, 22 deletions

diff --git a/docs/examples/gadts.scala b/docs/examples/gadts.scala
deleted file mode 100644
index d2792f4ada..0000000000
--- a/docs/examples/gadts.scala
+++ /dev/null
@@ -1,22 +0,0 @@
-package examples
-
-object gadts extends Application {
-
-  abstract class Term[T]
-  case class Lit(x: Int) extends Term[Int]
-  case class Succ(t: Term[Int]) extends Term[Int]
-  case class IsZero(t: Term[Int]) extends Term[Boolean]
-  case class If[T](c: Term[Boolean],
-                   t1: Term[T],
-                   t2: Term[T]) extends Term[T]
-
-  def eval[T](t: Term[T]): T = t match {
-    case Lit(n)        => n
-    case Succ(u)       => eval(u) + 1
-    case IsZero(u)     => eval(u) == 0
-    case If(c, u1, u2) => eval(if (eval(c)) u1 else u2)
-  }
-  println(
-    eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41)))))
-}
-