From 626a9292d5c73c0c65f7b9740c70ab471d65ba83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Wed, 29 Oct 2025 15:07:49 +0100
Subject: [PATCH] Fix forkEffectScoped

---
 packages/effect-fc/src/Result.ts | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/packages/effect-fc/src/Result.ts b/packages/effect-fc/src/Result.ts
index 2ea70fa..c9bddc9 100644
--- a/packages/effect-fc/src/Result.ts
+++ b/packages/effect-fc/src/Result.ts
@@ -178,7 +178,7 @@ export const makeProgressLayer = <A, E, P = never>(
 
 
 export namespace forkEffectScoped {
-    export type ContextInput<R, P> = (R extends Progress<infer X>
+    export type InputContext<R, P> = (R extends Progress<infer X>
         ? [X] extends [P]
             ? R
             : never
@@ -188,15 +188,17 @@ export namespace forkEffectScoped {
     export interface Options<P = never> {
         readonly initialProgress?: P
     }
+
+    export type OutputContext<R> = Scope.Scope | Exclude<R, Progress<any> | Progress<never>>
 }
 
 export const forkEffectScoped = <A, E, R, P = never>(
-    effect: Effect.Effect<A, E, forkEffectScoped.ContextInput<R, NoInfer<P>>>,
+    effect: Effect.Effect<A, E, forkEffectScoped.InputContext<R, NoInfer<P>>>,
     options?: forkEffectScoped.Options<P>,
 ): Effect.Effect<
     Queue.Dequeue<Result<A, E, P>>,
     never,
-    Scope.Scope | Exclude<R, Progress<any>>
+    forkEffectScoped.OutputContext<R>
 > => Effect.Do.pipe(
     Effect.bind("queue", () => Queue.unbounded<Result<A, E, P>>()),
     Effect.bind("ref", () => Ref.make<Result<A, E, P>>(initial())),
@@ -218,12 +220,4 @@ export const forkEffectScoped = <A, E, R, P = never>(
         )
     )),
     Effect.map(({ queue }) => queue),
-)
-
-
-const t = forkEffectScoped(
-    Effect.gen(function*() {
-        yield* Progress()
-    }),
-    { initialProgress: "juif" }
-)
+) as Effect.Effect<Queue.Queue<Result<A, E, P>>, never, Scope.Scope>