1 files changed, 0 insertions, 37 deletions
diff --git a/src/scalap/scala/tools/scalap/scalax/rules/Arrows.scala b/src/scalap/scala/tools/scalap/scalax/rules/Arrows.scala
deleted file mode 100644
index f8761ca0ed..0000000000
--- a/src/scalap/scala/tools/scalap/scalax/rules/Arrows.scala
+++ /dev/null
@@ -1,37 +0,0 @@
-package scala.tools.scalap
-package scalax
-package rules
-
-trait Arrows extends UnitFunctors  {
-  type Arr[-A, +B] <: Arrow[A, B]
-  type M[+B] = Arr[Nothing, B]
-
-  def arrow[A, B](f : A => B) : Arr[A, B]
-  def diag[A] = arrow[A, (A, A)] { a => (a, a) }
-
-  override def unit[B](b : => B) : M[B] = arrow { any : Any => b }
-
-  trait Arrow[-A, +B] extends Functor[B] { this : Arr[A, B] =>
-
-    def map[C](f : B => C) = comp(arrow(f))
-    def comp[C](bc : => Arr[B, C]) : Arr[A, C]
-    def fst[C] : Arr[(A, C), (B, C)]
-  }
-}
-
-trait ApplicativeArrows extends Arrows {
-  type Arr[-A, +B] <: ApplicativeArrow[A, B]
-
-  def app[A, B] : Arr[(Arr[A, B], A), B]
-
-  trait ApplicativeArrow[-A, +B] extends Arrow[A, B] { self : Arr[A, B] =>
-    def flatMap[SubA <: A, C](f : B => Arr[SubA, C]) : Arr[SubA, C] =
-      diag[SubA].comp(map(f).fst[SubA]).comp(app[SubA, C])
-  }
-}
-
-trait ArrowMonads extends ApplicativeArrows with Monads {
-  type Arr[-A, +B] <: ApplicativeArrow[A, B] with Monad[B]
-
-  override def unit[A](a : => A) : M[A] = arrow[Unit, A](Unit => a)
-}