ghc/tests/deriving/should_compile/drv005.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 Foo1{-r4,x-}{i} = Foo1{-r4,x-}{i} {}
   6 Foo2{-r3,x-}{i} = Foo2{-r3,x-}{i} {}
   7 Foo3{-r6,x-}{i} = Foo3{-r6,x-}{i} {}
   8 Foo4{-r8,x-}{i} = Foo4{-r8,x-}{i} {}
   9 Foo5{-ra,x-}{i} = Foo5{-ra,x-}{i} {}
  10 Foo6{-rc,x-}{i} = Foo6{-rc,x-}{i} {}
  11 Foo7{-re,x-}{i} = Foo7{-re,x-}{i} {}
  12 Foo8{-rg,x-}{i} = Foo8{-rg,x-}{i} {}
  13 AbsBinds [] [] [([], con2tag_Foo#_rBo, con2tag_Foo#_aCh)]
  14     con2tag_Foo#_aCh Foo1{-r4,x-}{i} = 0#
  15     con2tag_Foo#_aCh Foo2{-r3,x-}{i} = 1#
  16     con2tag_Foo#_aCh Foo3{-r6,x-}{i} = 2#
  17     con2tag_Foo#_aCh Foo4{-r8,x-}{i} = 3#
  18     con2tag_Foo#_aCh Foo5{-ra,x-}{i} = 4#
  19     con2tag_Foo#_aCh Foo6{-rc,x-}{i} = 5#
  20     con2tag_Foo#_aCh Foo7{-re,x-}{i} = 6#
  21     con2tag_Foo#_aCh Foo8{-rg,x-}{i} = 7#
  22 AbsBinds [] [] [([], maxtag_Foo#_rBn, maxtag_Foo#_aCm)]
  23     maxtag_Foo#_aCm = PrelBase.I#{-5b,w-}{i} 7#
  24 AbsBinds [] [] [([], tag2con_Foo#_rBm, tag2con_Foo#_aCp)]
  25     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 0#) = Foo1{-r4,x-}{i}
  26     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 1#) = Foo2{-r3,x-}{i}
  27     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 2#) = Foo3{-r6,x-}{i}
  28     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 3#) = Foo4{-r8,x-}{i}
  29     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 4#) = Foo5{-ra,x-}{i}
  30     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 5#) = Foo6{-rc,x-}{i}
  31     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 6#) = Foo7{-re,x-}{i}
  32     tag2con_Foo#_aCp (PrelBase.I#{-5b,w-}{i} 7#) = Foo8{-rg,x-}{i}
  33     tag2con_Foo#_aCp _
  34                      = IOBase.error{-87,w-} Foo{-r12,x-} "Urk! in TcGenDeriv"
  35 AbsBinds [] [] [([], $d1{-rEx,x-}, d.Enum_aCB)]
  36     map_aEF = map_aEA
  37     AbsBinds [] [] [([], toEnum_aEG, toEnum_aCF)]
  38         toEnum_aCF a_rBL = tag2con_Foo#_rBm a_rBL
  39     AbsBinds [] [] [([], fromEnum_aEH, fromEnum_aCL)]
  40         fromEnum_aCL a_rC4
  41                      = case con2tag_Foo#_rBo a_rC4 of
  42                          a#_rC6 -> PrelBase.I#{-5b,w-}{i} a#_rC6
  43     AbsBinds [] [] [([], enumFrom_aEI, enumFrom_aCV)]
  44         enumFrom_aCV a_rBP
  45                      = case con2tag_Foo#_rBo a_rBP of
  46                          a#_rBR
  47                          -> map_aEA [PrelBase.Int{-3g,W-}, Foo{-r12,x-}] tag2con_Foo#_rBm
  48                                                                          enumFromTo_aEB PrelBase.I#{-5b,w-}{i} a#_rBR
  49                                                                                         maxtag_Foo#_rBn
  50     AbsBinds [] [] [([], enumFromThen_aEJ, enumFromThen_aDk)]
  51         enumFromThen_aDk a_rBV b_rBW
  52                          = case con2tag_Foo#_rBo a_rBV of
  53                              a#_rBY
  54                              -> case con2tag_Foo#_rBo b_rBW of
  55                                   b#_rC0
  56                                   -> map_aEF [PrelBase.Int{-3g,W-}, Foo{-r12,x-}] tag2con_Foo#_rBm
  57                                                                                   enumFromThenTo_aEC PrelBase.I#{-5b,w-}{i} a#_rBY
  58                                                                                                      PrelBase.I#{-5b,w-}{i} b#_rC0
  59                                                                                                      maxtag_Foo#_rBn
  60     AbsBinds [] [] [([], enumFromTo_aEK, enumFromTo_aDP)]
  61         enumFromTo_aDP = $menumFromTo_aED
  62     AbsBinds [] [] [([], enumFromThenTo_aEL, enumFromThenTo_aDZ)]
  63         enumFromThenTo_aDZ = $menumFromThenTo_aEE
  64     d.Enum_aCB =
  65         ({-dict-}
  66          []
  67          [toEnum_aEG, fromEnum_aEH, enumFrom_aEI, enumFromThen_aEJ, enumFromTo_aEK, enumFromThenTo_aEL])
  68 AbsBinds [] [] [([], $d2{-rEz,x-}, d.Eval_aEj)]
  69     d.Eval_aEj = ({-dict-} [] [])
  70 d.Functor_aEl = PrelBase.$d26{-raq,p-}
  71 map_aEA = PrelBase.map{-r11,p-} PrelBase.[]{-3j,W-} d.Functor_aEl
  72 d.Enum_aEo = PrelBase.$d6{-rb0,p-}
  73 enumFromTo_aEB =
  74     PrelBase.enumFromTo{-8W,p-} PrelBase.Int{-3g,W-} d.Enum_aEo
  75 d.Enum_aEr = d.Enum_aEo
  76 enumFromThenTo_aEC =
  77     PrelBase.enumFromThenTo{-8X,p-} PrelBase.Int{-3g,W-} d.Enum_aEr
  78 d.Enum_aEt = $d1{-rEx,x-}
  79 $menumFromTo_aED =
  80     PrelBase.$menumFromTo{-rfe,p-} Foo{-r12,x-} d.Enum_aEt
  81 d.Enum_aEw = d.Enum_aEt
  82 $menumFromThenTo_aEE =
  83     PrelBase.$menumFromThenTo{-rfd,p-} Foo{-r12,x-} d.Enum_aEw
  84 ghc: module version changed to 1; reason: no old .hi file
  85 _interface_ ShouldSucceed 1
  86 _instance_modules_
  87 ArrBase IO PrelNum
  88 _usages_
  89 PrelBase 1 :: $d14 1 $d2 1 $d26 1 $d31 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 $d6 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
  90 PrelNum 1 :: $d8 1;
  91 _exports_
  92 ShouldSucceed Foo(Foo1 Foo2 Foo3 Foo4 Foo5 Foo6 Foo7 Foo8);
  93 _instances_
  94 instance {PrelBase.Enum Foo} = $d1;
  95 instance {PrelBase.Eval Foo} = $d2;
  96 _declarations_
  97 1 $d1 _:_ {PrelBase.Enum Foo} ;;
  98 1 $d2 _:_ {PrelBase.Eval Foo} ;;
  99 1 data Foo = Foo1 |  Foo2 |  Foo3 |  Foo4 |  Foo5 |  Foo6 |  Foo7 |  Foo8 ;