diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-22 21:32:51 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 12:27:57 +0100 |
| commit | 6074c108b66ec9cd2230852addb60782a8b17e0a (patch) | |
| tree | f63eca7bf384b63a70fa19888c4288ab1243ce12 /testsuite/tests/eyeball/inline4.hs | |
| parent | 754a2f2bb7416bd7fe453ba7bcb7c089f5ef3b8f (diff) | |
| download | haskell-6074c108b66ec9cd2230852addb60782a8b17e0a.tar.gz | |
Testsuite: delete Windows line endings [skip ci] (#11631)
Diffstat (limited to 'testsuite/tests/eyeball/inline4.hs')
| -rw-r--r-- | testsuite/tests/eyeball/inline4.hs | 80 |
1 files changed, 40 insertions, 40 deletions
diff --git a/testsuite/tests/eyeball/inline4.hs b/testsuite/tests/eyeball/inline4.hs index 2648c9e039..a673de9b2a 100644 --- a/testsuite/tests/eyeball/inline4.hs +++ b/testsuite/tests/eyeball/inline4.hs @@ -1,40 +1,40 @@ -module CmmTx where
-
-data TxRes a = TxRes Bool a
-
-instance Monad TxRes where
- return = TxRes False
-
-{- Here you can get a simplifier loop thus:
-NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52
-NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52
-NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52
-NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52
-
-Reason: 'a' is inline (not pre/post unconditionally; just ordinary inlining)
-Then, since ($dm>>) has arity 3, the rhs of (>>) is a PAP, so the arg is
-floated out, past the big lambdas.
-
-See Note [Unsaturated functions] in SimplUtils
-
-------------------------------------------------------------
-a_s9f{v} [lid] =
- base:GHC.Base.:DMonad{v r5} [gid]
- @ main:CmmTx.TxRes{tc rd}
- >>={v a6E} [lid]
- >>{v a6H} [lid]
- return{v a6J} [lid]
- fail{v a6M} [lid]
->>{v a6H} [lid] [ALWAYS LoopBreaker Nothing] :: forall a{tv a6F} [tv]
- b{tv a6G} [tv].
- main:CmmTx.TxRes{tc rd} a{tv a6F} [tv]
- -> main:CmmTx.TxRes{tc rd} b{tv a6G} [tv]
- -> main:CmmTx.TxRes{tc rd} b{tv a6G} [tv]
-[Arity 2
- Str: DmdType LL]
->>{v a6H} [lid] =
- \ (@ a{tv a78} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d})
- (@ b{tv a79} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}) ->
- base:GHC.Base.$dm>>{v r5f} [gid]
- @ main:CmmTx.TxRes{tc rd} a_s9f{v} [lid] @ a{tv a78} [sk] @ b{tv a79} [sk]
- -}
+module CmmTx where + +data TxRes a = TxRes Bool a + +instance Monad TxRes where + return = TxRes False + +{- Here you can get a simplifier loop thus: +NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52 +NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52 +NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52 +NOTE: Simplifier still going after 4 iterations; bailing out. Size = 52 + +Reason: 'a' is inline (not pre/post unconditionally; just ordinary inlining) +Then, since ($dm>>) has arity 3, the rhs of (>>) is a PAP, so the arg is +floated out, past the big lambdas. + +See Note [Unsaturated functions] in SimplUtils + +------------------------------------------------------------ +a_s9f{v} [lid] = + base:GHC.Base.:DMonad{v r5} [gid] + @ main:CmmTx.TxRes{tc rd} + >>={v a6E} [lid] + >>{v a6H} [lid] + return{v a6J} [lid] + fail{v a6M} [lid] +>>{v a6H} [lid] [ALWAYS LoopBreaker Nothing] :: forall a{tv a6F} [tv] + b{tv a6G} [tv]. + main:CmmTx.TxRes{tc rd} a{tv a6F} [tv] + -> main:CmmTx.TxRes{tc rd} b{tv a6G} [tv] + -> main:CmmTx.TxRes{tc rd} b{tv a6G} [tv] +[Arity 2 + Str: DmdType LL] +>>{v a6H} [lid] = + \ (@ a{tv a78} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}) + (@ b{tv a79} [sk] :: ghc-prim:GHC.Prim.*{(w) tc 34d}) -> + base:GHC.Base.$dm>>{v r5f} [gid] + @ main:CmmTx.TxRes{tc rd} a_s9f{v} [lid] @ a{tv a78} [sk] @ b{tv a79} [sk] + -} |