summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile/T17240.stderr
blob: cce538b59d63a93f7a0f5974e8eb996bad825a1c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

==================== Derived instances ====================
Derived class instances:
  instance GHC.Classes.Eq T17240.Nullary where
    (GHC.Classes.==) a b
      = case (GHC.Prim.dataToTag# a) of
          a#
            -> case (GHC.Prim.dataToTag# b) of
                 b# -> (GHC.Prim.tagToEnum# (a# GHC.Prim.==# b#))
  
  instance GHC.Classes.Eq T17240.T where
    (GHC.Classes.==) a b
      = case
            (case (GHC.Prim.dataToTag# a) of
               a# -> case (GHC.Prim.dataToTag# b) of b# -> a# GHC.Prim./=# b#)
        of
          1# -> GHC.Types.False
          _ -> case a of
                 (T17240.B a1)
                   -> case b of (T17240.B b1) -> ((a1 GHC.Classes.== b1))
                 (T17240.C a1)
                   -> case b of (T17240.C b1) -> ((a1 GHC.Classes.== b1))
                 (T17240.D a1)
                   -> case b of (T17240.D b1) -> ((a1 GHC.Classes.== b1))
                 _ -> GHC.Types.True
  

Derived type family instances:



==================== Filling in method body ====================
GHC.Classes.Eq [T17240.Nullary]
  GHC.Classes./= = GHC.Classes.$dm/= @(T17240.Nullary)



==================== Filling in method body ====================
GHC.Classes.Eq [T17240.T]
  GHC.Classes./= = GHC.Classes.$dm/= @(T17240.T)