Skip to content

Commit f77bac4

Browse files
authored
Let Run be an opaque type (#547)
1 parent dad2986 commit f77bac4

File tree

1 file changed

+3
-6
lines changed
  • Dsl/src/main/scala/com/thoughtworks/dsl

1 file changed

+3
-6
lines changed

Dsl/src/main/scala/com/thoughtworks/dsl/Dsl.scala

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -491,18 +491,15 @@ object Dsl extends LowPriorityDsl0 {
491491

492492
}
493493

494-
trait Run[Keyword, Domain, Value] extends (Keyword => Domain)
494+
opaque type Run[Keyword, Domain, Value] <: Keyword => Domain =
495+
Keyword => Domain
495496

496497
object Run {
497498

498499
given [Keyword, Domain, Value](using
499500
dsl: /*=>*/ PolyCont[Keyword, Domain, Value],
500501
lift: /*=>*/ Lift[Value, Domain]
501-
): Run[Keyword, Domain, Value] with {
502-
@inline def apply(keyword: Keyword): Domain = {
503-
dsl.cpsApply(keyword, lift)
504-
}
505-
}
502+
): Run[Keyword, Domain, Value] = { dsl.cpsApply(_, lift) }
506503

507504
}
508505

0 commit comments

Comments
 (0)