@@ -338,13 +338,16 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
338338 }
339339 summon[
340340 reified.type <:<
341- Typed [Suspend [FlatMap [
342- Pure [Int ],
343- Match .WithIndex [(0 ), Pure [LazyList [Nothing ]]] +:
344- Match .WithIndex [(1 ), FlatMap [Yield [Int ], Pure [
345- LazyList [Int ]
346- ]]] +: Nothing
347- ]], LazyList [Int ]]
341+ Typed [
342+ Suspend [FlatMap [
343+ Pure [Int ],
344+ Match .WithIndex [(0 ), Pure [LazyList [Nothing ]]] +:
345+ Match .WithIndex [(1 ), FlatMap [Yield [Int ], Pure [
346+ LazyList [Int ]
347+ ]]] +: Nothing
348+ ]],
349+ LazyList [Int ]
350+ ]
348351 ]
349352 reified.as[LazyList [Int ]]
350353 }
@@ -366,16 +369,19 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
366369
367370 summon[
368371 reified.type <:<
369- Typed [Suspend [keywords.TryCatchFinally [
370- Await [Future [String ]],
371- Match .WithIndex [0 , FlatMap [
372- Await [Future [Int ]],
373- FlatMap [Await [
374- Future [Int ]
375- ], Pure [String ]]
376- ]] +: Nothing ,
377- Pure [Unit ]
378- ]], String ]
372+ Typed [
373+ Suspend [keywords.TryCatchFinally [
374+ Await [Future [String ]],
375+ Match .WithIndex [0 , FlatMap [
376+ Await [Future [Int ]],
377+ FlatMap [Await [
378+ Future [Int ]
379+ ], Pure [String ]]
380+ ]] +: Nothing ,
381+ Pure [Unit ]
382+ ]],
383+ String
384+ ]
379385 ]
380386
381387 val fs = reified.as[Future [String ]]
@@ -415,17 +421,23 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
415421
416422 summon[
417423 reified.type <:<
418- Typed [Suspend [keywords.TryCatch [FlatMap [
419- Await [Future [Int ]],
420- FlatMap [Await [
421- Future [Int ]
422- ], Pure [String ]]
423- ], Match .WithIndex [0 , FlatMap [
424- Await [Future [Int ]],
425- FlatMap [Await [
426- Future [Int ]
427- ], Pure [String ]]
428- ]] +: Nothing ]], String ]
424+ Typed [
425+ Suspend [keywords.TryCatch [
426+ FlatMap [
427+ Await [Future [Int ]],
428+ FlatMap [Await [
429+ Future [Int ]
430+ ], Pure [String ]]
431+ ],
432+ Match .WithIndex [0 , FlatMap [
433+ Await [Future [Int ]],
434+ FlatMap [Await [
435+ Future [Int ]
436+ ], Pure [String ]]
437+ ]] +: Nothing
438+ ]],
439+ String
440+ ]
429441 ]
430442 reified.to[Future ].map {
431443 _ should be(" Cannot divide 3 by 0" )
@@ -465,19 +477,22 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
465477 }
466478 summon[
467479 reified.type <:<
468- com.thoughtworks.dsl.keywords.Typed [Suspend [
469- com.thoughtworks.dsl.keywords.FlatMap [
470- com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
471- A .type
472- ]],
480+ com.thoughtworks.dsl.keywords.Typed [
481+ Suspend [
473482 com.thoughtworks.dsl.keywords.FlatMap [
474483 com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
475- String
484+ A . type
476485 ]],
477- com.thoughtworks.dsl.keywords.Pure [String ]
486+ com.thoughtworks.dsl.keywords.FlatMap [
487+ com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
488+ String
489+ ]],
490+ com.thoughtworks.dsl.keywords.Pure [String ]
491+ ]
478492 ]
479- ]
480- ], String ]
493+ ],
494+ String
495+ ]
481496 ]
482497 reified.to[Future ].map(_ should be(" X" ))
483498 }
@@ -490,19 +505,22 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
490505 }
491506 summon[
492507 reified.type <:<
493- com.thoughtworks.dsl.keywords.Typed [Suspend [
494- com.thoughtworks.dsl.keywords.FlatMap [
495- com.thoughtworks.dsl.keywords.Await [concurrent.Future [
496- CharSequence
497- ]],
508+ com.thoughtworks.dsl.keywords.Typed [
509+ Suspend [
498510 com.thoughtworks.dsl.keywords.FlatMap [
499- com.thoughtworks.dsl.keywords.Await [
500- scala.concurrent.Future [CharSequence ]
501- ],
502- com.thoughtworks.dsl.keywords.Pure [Object ]
511+ com.thoughtworks.dsl.keywords.Await [concurrent.Future [
512+ CharSequence
513+ ]],
514+ com.thoughtworks.dsl.keywords.FlatMap [
515+ com.thoughtworks.dsl.keywords.Await [
516+ scala.concurrent.Future [CharSequence ]
517+ ],
518+ com.thoughtworks.dsl.keywords.Pure [Object ]
519+ ]
503520 ]
504- ]
505- ], AnyRef ]
521+ ],
522+ AnyRef
523+ ]
506524 ]
507525 reified.to[Future ].map(_ should be(" x" ))
508526 }
@@ -536,16 +554,19 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
536554 }
537555 summon[
538556 reified.type <:<
539- com.thoughtworks.dsl.keywords.Typed [Suspend [
540- com.thoughtworks.dsl.keywords.FlatMap [
541- com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
542- Int => Int
543- ]],
544- com.thoughtworks.dsl.keywords.Await [
545- scala.concurrent.Future [Any => Boolean ]
557+ com.thoughtworks.dsl.keywords.Typed [
558+ Suspend [
559+ com.thoughtworks.dsl.keywords.FlatMap [
560+ com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
561+ Int => Int
562+ ]],
563+ com.thoughtworks.dsl.keywords.Await [
564+ scala.concurrent.Future [Any => Boolean ]
565+ ]
546566 ]
547- ]
548- ], Any => Boolean ]
567+ ],
568+ Any => Boolean
569+ ]
549570 ]
550571 reified.to[Future ].map {
551572 _ should be(a[Function1 [_, _]])
@@ -559,19 +580,22 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
559580 }
560581 summon[
561582 reified.type <:<
562- com.thoughtworks.dsl.keywords.Typed [Suspend [
563- com.thoughtworks.dsl.keywords. FlatMap [
583+ com.thoughtworks.dsl.keywords.Typed [
584+ Suspend [
564585 com.thoughtworks.dsl.keywords.FlatMap [
565- com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
566- Int => Int
567- ]],
568- com.thoughtworks.dsl.keywords.Pure [Any => Boolean ]
569- ],
570- com.thoughtworks.dsl.keywords.Await [
571- scala.concurrent.Future [Any => Boolean ]
586+ com.thoughtworks.dsl.keywords.FlatMap [
587+ com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
588+ Int => Int
589+ ]],
590+ com.thoughtworks.dsl.keywords.Pure [Any => Boolean ]
591+ ],
592+ com.thoughtworks.dsl.keywords.Await [
593+ scala.concurrent.Future [Any => Boolean ]
594+ ]
572595 ]
573- ]
574- ], Any => Boolean ]
596+ ],
597+ Any => Boolean
598+ ]
575599 ]
576600 reified.to[Future ].map {
577601 _ should be(a[Function1 [_, _]])
@@ -585,19 +609,22 @@ class AwaitTest extends AsyncFreeSpec with Matchers with Inside {
585609 }
586610 summon[
587611 reified.type <:<
588- com.thoughtworks.dsl.keywords.Typed [Suspend [
589- com.thoughtworks.dsl.keywords. FlatMap [
612+ com.thoughtworks.dsl.keywords.Typed [
613+ Suspend [
590614 com.thoughtworks.dsl.keywords.FlatMap [
591- com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
592- Int => Int
593- ]],
594- com.thoughtworks.dsl.keywords.Pure [Any => Boolean ]
595- ],
596- com.thoughtworks.dsl.keywords.Await [
597- scala.concurrent.Future [Any => Boolean ]
615+ com.thoughtworks.dsl.keywords.FlatMap [
616+ com.thoughtworks.dsl.keywords.Await [scala.concurrent.Future [
617+ Int => Int
618+ ]],
619+ com.thoughtworks.dsl.keywords.Pure [Any => Boolean ]
620+ ],
621+ com.thoughtworks.dsl.keywords.Await [
622+ scala.concurrent.Future [Any => Boolean ]
623+ ]
598624 ]
599- ]
600- ], Any => Boolean ]
625+ ],
626+ Any => Boolean
627+ ]
601628 ]
602629 reified.to[Future ].map {
603630 _ should be(a[Function1 [_, _]])
0 commit comments