cd14bd1754caeb04eac219cd8cce86ab62d0c480
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 8, types: 19, 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: 4, types: 7, coercions: 0}
17 absurd :: forall a. Int :~: Bool -> a
18 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
19 absurd = \ (@ a) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { }
20
21
22