Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
[ghc.git] / testsuite / tests / simplCore / should_compile / T4930.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 20, types: 10, coercions: 0}
4
5 lvl :: [GHC.Types.Char]
6 [GblId]
7 lvl = GHC.CString.unpackCString# "Too small"
8
9 T4930.foo1 :: GHC.Types.Int
10 [GblId, Str=DmdType b]
11 T4930.foo1 = GHC.Err.error @ GHC.Types.Int lvl
12
13 T4930.foo :: GHC.Types.Int -> GHC.Types.Int
14 [GblId,
15  Arity=1,
16  Str=DmdType U(L)m,
17  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
18          ConLike=True, Cheap=True, Expandable=True,
19          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
20          Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
21                  case n of _ { GHC.Types.I# x ->
22                  case GHC.Prim.<# x 5 of _ {
23                    GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
24                    GHC.Types.True -> T4930.foo1
25                  }
26                  }}]
27 T4930.foo =
28   \ (n :: GHC.Types.Int) ->
29     case n of _ { GHC.Types.I# x ->
30     case GHC.Prim.<# x 5 of _ {
31       GHC.Types.False -> GHC.Types.I# (GHC.Prim.+# x 5);
32       GHC.Types.True -> T4930.foo1
33     }
34     }
35
36
37