diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T18013.stderr')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T18013.stderr | 30 |
1 files changed, 26 insertions, 4 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T18013.stderr b/testsuite/tests/simplCore/should_compile/T18013.stderr index 70998aecf8..45f9900830 100644 --- a/testsuite/tests/simplCore/should_compile/T18013.stderr +++ b/testsuite/tests/simplCore/should_compile/T18013.stderr @@ -155,14 +155,25 @@ mapMaybeRule [InlPrag=[2]] Nothing -> (# s1, T18013a.Result @s @(Maybe b) ww (GHC.Maybe.Nothing @b) #); Just x [Occ=Once1] -> - case ((ww1 s2 x) `cast` <Co:4>) s1 of + case ((ww1 s2 x) + `cast` <Co:4> :: IO (Result s b) + ~R# (GHC.Prim.State# GHC.Prim.RealWorld + -> (# GHC.Prim.State# GHC.Prim.RealWorld, + Result s b #))) + s1 + of { (# ipv [Occ=Once1], ipv1 [Occ=Once1!] #) -> case ipv1 of { Result t2 [Occ=Once1] c1 [Occ=Once1] -> (# ipv, T18013a.Result @s @(Maybe b) t2 (GHC.Maybe.Just @b c1) #) } } }) - `cast` <Co:13>) + `cast` <Co:13> :: (s + -> Maybe a + -> GHC.Prim.State# GHC.Prim.RealWorld + -> (# GHC.Prim.State# GHC.Prim.RealWorld, + Result s (Maybe b) #)) + ~R# (s -> Maybe a -> IO (Result s (Maybe b)))) }}] mapMaybeRule = \ (@a) (@b) (w :: Rule IO a b) -> @@ -183,13 +194,24 @@ mapMaybeRule case a1 of { Nothing -> (# s1, lvl #); Just x -> - case ((ww1 s2 x) `cast` <Co:4>) s1 of { (# ipv, ipv1 #) -> + case ((ww1 s2 x) + `cast` <Co:4> :: IO (Result s b) + ~R# (GHC.Prim.State# GHC.Prim.RealWorld + -> (# GHC.Prim.State# GHC.Prim.RealWorld, + Result s b #))) + s1 + of + { (# ipv, ipv1 #) -> case ipv1 of { Result t2 c1 -> (# ipv, T18013a.Result @s @(Maybe b) t2 (GHC.Maybe.Just @b c1) #) } } }) - `cast` <Co:13>) + `cast` <Co:13> :: (s + -> Maybe a + -> GHC.Prim.State# GHC.Prim.RealWorld + -> (# GHC.Prim.State# GHC.Prim.RealWorld, Result s (Maybe b) #)) + ~R# (s -> Maybe a -> IO (Result s (Maybe b)))) } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |