Core pretty printer: Omit wild case binders
[ghc.git] / testsuite / tests / deSugar / should_compile / T2431.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 36, types: 30, coercions: 1}
4
5 -- RHS size: {terms: 2, types: 4, coercions: 1}
6 T2431.$WRefl [InlPrag=INLINE] :: forall a. a :~: a
7 [GblId[DataConWrapper],
8  Caf=NoCafRefs,
9  Str=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) ->
14                  T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))}]
15 T2431.$WRefl =
16   \ (@ a) ->
17     T2431.Refl @ a @ a @~ (<a>_N :: (a :: *) GHC.Prim.~# (a :: *))
18
19 -- RHS size: {terms: 4, types: 8, coercions: 0}
20 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]
47 T2431.$tc'Refl =
48   GHC.Types.TyCon
49     15026191172322750497##
50     3898273167927206410##
51     T2431.$trModule
52     $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]
62 T2431.$tc:~: =
63   GHC.Types.TyCon
64     9759653149176674453##
65     12942818337407067047##
66     T2431.$trModule
67     $tc:~:1
68
69
70