f9b07605b98c643c01af2516cfc9e0b594eeecf2
[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 T2431.:~: a
6 [GblId[DataConWrapper],
7  Caf=NoCafRefs,
8  Str=DmdType,
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 T2431.absurd
16   :: forall a. GHC.Types.Int T2431.:~: GHC.Types.Bool -> a
17 [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType <L,U>b]
18 T2431.absurd =
19   \ (@ a) (x :: GHC.Types.Int T2431.:~: GHC.Types.Bool) ->
20     case x of _ [Occ=Dead] { }
21
22
23