T2431.stderr 1.96 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

==================== Tidy Core ====================
3
Result size of Tidy Core = {terms: 36, types: 30, coercions: 1}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
4

5
-- RHS size: {terms: 2, types: 4, coercions: 1}
6
T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
Simon Peyton Jones's avatar
Simon Peyton Jones committed
7 8
[GblId[DataConWrapper],
 Caf=NoCafRefs,
9
 Str=m,
Simon Peyton Jones's avatar
Simon Peyton Jones committed
10 11 12
 Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=False)
13 14
         Tmpl= \ (@ a) ->
                 T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))}]
15
T2431.$WRefl =
16 17
  \ (@ a) ->
    T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))
Simon Peyton Jones's avatar
Simon Peyton Jones committed
18

19 20
-- RHS size: {terms: 4, types: 8, coercions: 0}
absurd :: forall a. Int :~: Bool -> a
21
[GblId, Arity=1, Caf=NoCafRefs, Str=<L,U>x]
22
absurd = \ (@ a) (x :: Int :~: Bool) -> case x of { }
23

24
-- RHS size: {terms: 2, types: 0, coercions: 0}
25
$trModule1 :: GHC.Types.TrName
26
[GblId, Caf=NoCafRefs]
27
$trModule1 = GHC.Types.TrNameS "main"#
28 29

-- RHS size: {terms: 2, types: 0, coercions: 0}
30
$trModule2 :: GHC.Types.TrName
31
[GblId, Caf=NoCafRefs]
32
$trModule2 = GHC.Types.TrNameS "T2431"#
33 34

-- RHS size: {terms: 3, types: 0, coercions: 0}
35
T2431.$trModule :: GHC.Types.Module
36
[GblId, Caf=NoCafRefs]
37
T2431.$trModule = GHC.Types.Module $trModule1 $trModule2
38 39

-- RHS size: {terms: 2, types: 0, coercions: 0}
40
$tc'Refl1 :: GHC.Types.TrName
41
[GblId, Caf=NoCafRefs]
42
$tc'Refl1 = GHC.Types.TrNameS "'Refl"#
43 44

-- RHS size: {terms: 5, types: 0, coercions: 0}
45
T2431.$tc'Refl :: GHC.Types.TyCon
46
[GblId, Caf=NoCafRefs]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
47 48
T2431.$tc'Refl =
  GHC.Types.TyCon
49 50 51 52
    15026191172322750497##
    3898273167927206410##
    T2431.$trModule
    $tc'Refl1
53 54

-- RHS size: {terms: 2, types: 0, coercions: 0}
55
$tc:~:1 :: GHC.Types.TrName
56
[GblId, Caf=NoCafRefs]
57
$tc:~:1 = GHC.Types.TrNameS ":~:"#
58 59

-- RHS size: {terms: 5, types: 0, coercions: 0}
60
T2431.$tc:~: :: GHC.Types.TyCon
61
[GblId, Caf=NoCafRefs]
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
62 63
T2431.$tc:~: =
  GHC.Types.TyCon
64 65 66 67
    9759653149176674453##
    12942818337407067047##
    T2431.$trModule
    $tc:~:1
68

Simon Peyton Jones's avatar
Simon Peyton Jones committed
69 70