Made Plan covariant in K again

runarorama · Dec 28, 2012 · 20f721f · 20f721f
1 parent 2d28a64
commit 20f721f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/com/clarifi/machines/Plan.scala b/src/main/scala/com/clarifi/machines/Plan.scala
@@ -12,7 +12,7 @@ import scalaz._
  * inputs selected by `K` and writes values of type `O`. The `Plan` has
  * intermediate results of type `A` which are placeholders for further plans.
  */
-sealed trait Plan[K, +O, +A] {
+sealed trait Plan[+K, +O, +A] {
 
   /**
    * Substitute into the variables in this `Plan`.