Bug Report: Incorrect Type Inference with `Effect.repeat`

I feel like there is a bug with Effect.repeat 🤔
import { NodeRuntime } from "@effect/platform-node"
import { Console, Effect } from "effect"
import { DevToolsLive } from "./DevTools"

// const program: Effect.Effect<string[], never, never>
const program = Effect.repeat(Effect.succeed(["hello"]), { times: 1 }).pipe(Effect.tap(Console.log))

program.pipe(
  Effect.provide(DevToolsLive),
  NodeRuntime.runMain
)
// Print: [ [ 'hello' ], 1 ]


the type of program is incorrect (string[] instead of [string[], number])

https://effect.website/play#9c73a5835297
Was this page helpful?