Make demand analysis understand catch
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 30, coercions: 1}
4
5 -- RHS size: {terms: 2, types: 4, coercions: 1}
6 T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
7 [GblId[DataConWrapper],
8  Caf=NoCafRefs,
9  Str=DmdType m,
10  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
11          WorkFree=True, Expandable=True,
12          Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=False)
13          Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: a GHC.Prim.~# a)}]
14 T2431.$WRefl =
15   \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: a GHC.Prim.~# a)
16
17 -- RHS size: {terms: 2, types: 0, coercions: 0}
18 a :: GHC.Types.TrName
19 [GblId, Caf=NoCafRefs, Str=DmdType]
20 a = GHC.Types.TrNameS "main"#
21
22 -- RHS size: {terms: 2, types: 0, coercions: 0}
23 a1 :: GHC.Types.TrName
24 [GblId, Caf=NoCafRefs, Str=DmdType]
25 a1 = GHC.Types.TrNameS "T2431"#
26
27 -- RHS size: {terms: 3, types: 0, coercions: 0}
28 T2431.$trModule :: GHC.Types.Module
29 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
30 T2431.$trModule = GHC.Types.Module a a1
31
32 -- RHS size: {terms: 2, types: 0, coercions: 0}
33 a2 :: GHC.Types.TrName
34 [GblId, Caf=NoCafRefs, Str=DmdType]
35 a2 = GHC.Types.TrNameS "'Refl"#
36
37 -- RHS size: {terms: 5, types: 0, coercions: 0}
38 T2431.$tc'Refl :: GHC.Types.TyCon
39 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
40 T2431.$tc'Refl =
41   GHC.Types.TyCon
42     15026191172322750497## 3898273167927206410## T2431.$trModule a2
43
44 -- RHS size: {terms: 2, types: 0, coercions: 0}
45 a3 :: GHC.Types.TrName
46 [GblId, Caf=NoCafRefs, Str=DmdType]
47 a3 = GHC.Types.TrNameS ":~:"#
48
49 -- RHS size: {terms: 5, types: 0, coercions: 0}
50 T2431.$tc:~: :: GHC.Types.TyCon
51 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
52 T2431.$tc:~: =
53   GHC.Types.TyCon
54     9759653149176674453## 12942818337407067047## T2431.$trModule a3
55
56 -- RHS size: {terms: 4, types: 8, coercions: 0}
57 absurd :: forall a. Int :~: Bool -> a
58 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>x]
59 absurd = \ (@ a4) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { }
60
61
62