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