ghc/compiler/tests/typecheck/should_succeed/tc079.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 op1{-r3F,x-} =
   8     _/\_ a{-r3l-} -> \ tpl_B1 ->
   9         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  10 op2{-r3E,x-} =
  11     _/\_ a{-r3l-} -> \ tpl_B1 ->
  12         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  13 {- nonrec -}
  14 AbsBinds
  15 [a{-aI8-}]
  16 [d.Foo_aI2]
  17 [([a{-aI8-}], $mop1{-rGN,x-}, op1_aIG)]
  18     AbsBinds [] [] [([], op1_aIG, op1_aI5)]
  19         op1_aI5
  20             x_r3u   =   PrelBase.True{-5E,p-}{i}
  21 AbsBinds
  22 [a{-aI8-}]
  23 [d.Foo_aIb]
  24 [([a{-aI8-}], $mop2{-rGQ,x-}, op2_aIJ)]
  25     d.Foo_aIA =
  26         d.Foo_aIb
  27     op1_aIK =
  28         op1{-r3F,x-}
  29             a{-aI8-}
  30             d.Foo_aIA
  31     AbsBinds [b{-aIm-}] [d.Ord_aIw] [([b{-aIm-}], op2_aIJ, op2_aIg)]
  32         d.Ord_aIy =
  33             d.Ord_aIw
  34         <_aIL =
  35             PrelBase.<{-rd6,p-}
  36                 b{-aIm-}
  37                 d.Ord_aIy
  38         op2_aIg
  39             x_r3y y_r3A z_r3C
  40                     =   if (op1_aIK x_r3y)
  41                            PrelBase.&&{-r3D,p-} (y_r3A <_aIL z_r3C) then
  42                             y_r3A
  43                         else
  44                             z_r3C
  45 {- rec -}
  46 AbsBinds
  47 [a{-aGT-}]
  48 [d.Foo_aHg]
  49 [([a{-aGT-}], $d1{-rIM,x-}, d.Foo_aGK)]
  50     d.Foo_aHi =
  51         d.Foo_aGK
  52     $mop1_aIO =
  53         $mop1{-rGN,x-}
  54             [a{-aGT-}]
  55             d.Foo_aHi
  56     d.Foo_aHk =
  57         d.Foo_aGK
  58     $mop2_aIN =
  59         $mop2{-rGQ,x-}
  60             [a{-aGT-}]
  61             d.Foo_aHk
  62     AbsBinds [] [] [([], op1_aGM, op1_aGP)]
  63         op1_aGP
  64             =   $mop1_aIO
  65     AbsBinds [b{-aH7-}] [d.Ord_aHd] [([b{-aH7-}], op2_aGY, op2_aH1)]
  66         d.Ord_aHf =
  67             d.Ord_aHd
  68         $mop2_aIP =
  69             $mop2_aIN
  70                 b{-aH7-}
  71                 d.Ord_aHf
  72         op2_aH1
  73             =   $mop2_aIP
  74     d.Foo_aGK =
  75         ({-dict-} [] [op1_aGM, op2_aGY])
  76 {- rec -}
  77 AbsBinds [] [] [([], $d2{-rIQ,x-}, d.Foo_aHq)]
  78     AbsBinds [] [] [([], op1_aHs, op1_aHu)]
  79         op1_aHu
  80             =   $mop1_aII
  81     AbsBinds [b{-aHL-}] [d.Ord_aHR] [([b{-aHL-}], op2_aHC, op2_aHF)]
  82         d.Ord_aHV =
  83             d.Ord_aHR
  84         $mop2_aIR =
  85             $mop2_aIH
  86                 b{-aHL-}
  87                 d.Ord_aHV
  88         op2_aHF
  89             =   $mop2_aIR
  90     d.Foo_aHq =
  91         ({-dict-} [] [op1_aHs, op2_aHC])
  92 {- nonrec -}
  93 d.Foo_aIC =
  94     $d2{-rIQ,x-}
  95 $mop1_aII =
  96     $mop1{-rGN,x-}
  97         PrelBase.Int{-3g,p-}
  98         d.Foo_aIC
  99 d.Foo_aIF =
 100     d.Foo_aIC
 101 $mop2_aIH =
 102     $mop2{-rGQ,x-}
 103         PrelBase.Int{-3g,p-}
 104         d.Foo_aIF
 105 ghc: module version changed to 1; reason: no old .hi file
 106 _interface_ Test 1
 107 _instance_modules_
 108 ArrBase IO PrelNum
 109 _usages_
 110 PrelBase 1 :: $d14 1 $d15 1 $d26 1 $d27 1 $d32 1 $d34 1 $d49 1 $d51 1 $d6 1 $d7 1 && 1 Eq 1 Ord 1 Ordering 1;
 111 PrelNum 1 :: $d17 1 $d18 1;
 112 _exports_
 113 Test Foo(op1 op2);
 114 _instances_
 115 instance _forall_ [a] {Foo a} => {Foo [a]} = $d1;
 116 instance {Foo PrelBase.Int} = $d2;
 117 _declarations_
 118 1 $d1 _:_ _forall_ [a] {Foo a} => {Foo [a]} ;;
 119 1 $d2 _:_ {Foo PrelBase.Int} ;;
 120 1 $mop1 _:_ _forall_ [a] {Foo a} => a -> PrelBase.Bool ;;
 121 1 $mop2 _:_ _forall_ [a] {Foo a} => _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b ;;
 122 1 class Foo r3l where {op1 :: r3l -> PrelBase.Bool; op2 :: _forall_ [r3p] {PrelBase.Ord r3p} => r3l -> r3p -> r3p -> r3p} ;