607ecc1b24a46a76a06687aefb456c3c62767315
[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 T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
6 [GblId[DataConWrapper],
7  Caf=NoCafRefs,
8  Str=DmdType m,
9  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
10          WorkFree=True, Expandable=True,
11          Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=False)
12          Tmpl= \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N}]
13 T2431.$WRefl = \ (@ a) -> T2431.Refl @ a @ a @~ <a>_N
14
15 absurd :: forall a. Int :~: Bool -> a
16 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
17 absurd = \ (@ a) (x :: Int :~: Bool) -> case x of _ [Occ=Dead] { }
18
19
20