better compile errors

getkyo · Sep 24, 2023 · 230986d · 230986d
1 parent ecc3cf6
commit 230986d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/kyo-core/shared/src/main/scala/kyo/concurrent/fibers.scala b/kyo-core/shared/src/main/scala/kyo/concurrent/fibers.scala
@@ -25,6 +25,7 @@ import scala.util.control.NonFatal
 
 import scheduler._
 import timers._
+import scala.annotation.implicitNotFound
 
 object fibers {
 
@@ -191,7 +192,11 @@ object fibers {
     private[kyo] val interrupted = IOs.fail(Interrupted)
 
     /*inline*/
-    def run[T](v: T > Fibers)(implicit ng: kyo.NotGiven[(Nothing > Any) => T]): Fiber[T] > IOs = {
+    def run[T](v: T > Fibers)(implicit
+        @implicitNotFound("Computation can have only `Fibers` pending") ng: kyo.NotGiven[(
+            Nothing > Any
+        ) => T]
+    ): Fiber[T] > IOs = {
       implicit val handler: DeepHandler[Fiber, Fibers] =
         new DeepHandler[Fiber, Fibers] {
           def pure[T](v: T) = Fiber.done(v)

diff --git a/kyo-core/shared/src/main/scala/kyo/ios.scala b/kyo-core/shared/src/main/scala/kyo/ios.scala
@@ -16,6 +16,7 @@ import core.internal._
 import tries._
 import options._
 import locals._
+import scala.annotation.implicitNotFound
 
 object ios {
 
@@ -65,7 +66,11 @@ object ios {
       }
 
     /*inline*/
-    def run[T](v: T > IOs)(implicit ng: kyo.NotGiven[(Nothing > Any) => T]): T = {
+    def run[T](v: T > IOs)(implicit
+        @implicitNotFound("Computation can have only `IOs` pending") ng: kyo.NotGiven[(
+            Nothing > Any
+        ) => T]
+    ): T = {
       val safepoint = Safepoint.noop[IO, IOs]
       @tailrec def runLoop(v: T > IOs): T =
         v match {