Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 27, types: 24, coercions: 1}
4
5 -- RHS size: {terms: 2, types: 3, 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 ~# a)}]
14 T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ (<a>_N :: a ~# a)
15
16 -- RHS size: {terms: 2, types: 0, coercions: 0}
17 a :: TrName
18 [GblId, Caf=NoCafRefs, Str=DmdType]
19 a = TrNameS "main"#
20
21 -- RHS size: {terms: 2, types: 0, coercions: 0}
22 a1 :: TrName
23 [GblId, Caf=NoCafRefs, Str=DmdType]
24 a1 = TrNameS "T2431"#
25
26 -- RHS size: {terms: 3, types: 0, coercions: 0}
27 T2431.$trModule :: Module
28 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
29 T2431.$trModule = Module a a1
30
31 -- RHS size: {terms: 2, types: 0, coercions: 0}
32 a2 :: TrName
33 [GblId, Caf=NoCafRefs, Str=DmdType]
34 a2 = TrNameS ":~:"#
35
36 -- RHS size: {terms: 5, types: 0, coercions: 0}
37 T2431.$tc:~: :: TyCon
38 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
39 T2431.$tc:~: = TyCon 0## 0## T2431.$trModule a2
40
41 -- RHS size: {terms: 4, types: 7, coercions: 0}
42 absurd :: forall a. Int :~: Bool -> a
43 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
44 absurd = \ (@ a3) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { }
45
46
47