@@ -375,42 +375,6 @@ object Dsl extends LowPriorityDsl0 {
375
375
): Dsl .Derived .StackUnsafe [Keyword , TailRec [Domain ], Value ] =
376
376
Dsl .Derived .StackUnsafe (derivedTailRecDsl)
377
377
378
- private def derivedThrowableTailRecDsl [Keyword , LeftDomain , Value ](implicit
379
- restDsl : Dsl .Searching [Keyword , LeftDomain !! Throwable , Value ]
380
- ): Dsl [Keyword , TailRec [LeftDomain ] !! Throwable , Value ] =
381
- Dsl {
382
- (
383
- keyword : Keyword ,
384
- handler : (Value => TailRec [LeftDomain ] !! Throwable )
385
- ) => (tailRecFailureHandler : Throwable => TailRec [LeftDomain ]) =>
386
- TailCalls .done(
387
- restDsl(
388
- keyword,
389
- { value => failureHandler =>
390
- handler(value) { e =>
391
- TailCalls .done(failureHandler(e))
392
- }.result
393
- }
394
- ) { e =>
395
- tailRecFailureHandler(e).result
396
- }
397
- )
398
- }
399
- given [Keyword , LeftDomain , TailRecValue ](using
400
- Dsl .IsStackSafe [LeftDomain ],
401
- Dsl .Searching [Keyword , LeftDomain !! Throwable , TailRecValue ]
402
- ): Dsl .Derived .StackSafe [Keyword , TailRec [
403
- LeftDomain
404
- ] !! Throwable , TailRecValue ] =
405
- Dsl .Derived .StackSafe (derivedThrowableTailRecDsl)
406
- given [Keyword , LeftDomain , TailRecValue ](using
407
- util.NotGiven [Dsl .IsStackSafe [LeftDomain ]],
408
- Dsl .Searching [Keyword , LeftDomain !! Throwable , TailRecValue ]
409
- ): Dsl .Derived .StackUnsafe [Keyword , TailRec [
410
- LeftDomain
411
- ] !! Throwable , TailRecValue ] =
412
- Dsl .Derived .StackUnsafe (derivedThrowableTailRecDsl)
413
-
414
378
private [dsl] type !! [R , + A ] = (A => R ) => R
415
379
416
380
@ FunctionalInterface
0 commit comments