Closed amsen20 closed 4 months ago
https://github.com/lampepfl/gears/blob/dadad1a5ba062151062e5fd4ad3ebf92a538e3ba/jvm/src/main/scala/async/JvmAsyncOperations.scala#L5
For IO-intensive programs, it is needed to run a long IO job and be able to cancel the job during the execution of the IO job too. This function can help to do that on JVM but it is private.
https://github.com/lampepfl/gears/blob/dadad1a5ba062151062e5fd4ad3ebf92a538e3ba/jvm/src/main/scala/async/JvmAsyncOperations.scala#L5
For IO-intensive programs, it is needed to run a long IO job and be able to cancel the job during the execution of the IO job too. This function can help to do that on JVM but it is private.