Fix
Lint / lint (push) Failing after 11s

This commit is contained in:
Julien Valverdé
2026-05-26 04:20:26 +02:00
parent 5c1fdbad43
commit 1320fbce18
+4 -4
View File
@@ -29,10 +29,10 @@ Effect.gen(function*() {
Lens.focusObjectOn("users"), Lens.focusObjectOn("users"),
Lens.focusArrayAt(0), Lens.focusArrayAt(0),
Lens.focusObjectOn("name"), Lens.focusObjectOn("name"),
Lens.catchAllRead(() => Lens.makeLazy({ Lens.catchAllRead(() => Lens.make({
sourceGet: Effect.succeed("User not found"), get: Effect.succeed("User not found"),
sourceChanges: Stream.make("User not found"), changes: Stream.make("User not found"),
sourceCommit: () => Console.log("Test"), commit: () => Console.log("Test"),
withLock: Effect.unsafeMakeSemaphore(1).withPermits(1), withLock: Effect.unsafeMakeSemaphore(1).withPermits(1),
})), })),
) )