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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- rec -}
   6 AbsBinds
   7 [a{-auS-}]
   8 [d.Foo_av1]
   9 [([a{-auS-}], $d1{-rvF,x-}, d.Foo_auJ)]
  10     d.Foo_av5 =
  11         d.Foo_auJ
  12     $mop1_avJ =
  13         ClassFoo.$mop1{-ruM,p-}
  14             [a{-auS-}]
  15             d.Foo_av5
  16     d.Foo_av7 =
  17         d.Foo_auJ
  18     $mop2_avI =
  19         ClassFoo.$mop2{-ruP,p-}
  20             [a{-auS-}]
  21             d.Foo_av7
  22     AbsBinds [] [] [([], op1_auL, op1_auO)]
  23         op1_auO
  24             =   $mop1_avJ
  25     AbsBinds [] [] [([], op2_auW, op2_auY)]
  26         op2_auY
  27             =   $mop2_avI
  28     d.Foo_auJ =
  29         ({-dict-} [] [op1_auL, op2_auW])
  30 {- rec -}
  31 AbsBinds [] [] [([], $d2{-rvK,x-}, d.Foo_avd)]
  32     AbsBinds [] [] [([], op1_avf, op1_avh)]
  33         op1_avh
  34             =   $mop1_avH
  35     AbsBinds [] [] [([], op2_avo, op2_avq)]
  36         op2_avq
  37             =   $mop2_avG
  38     d.Foo_avd =
  39         ({-dict-} [] [op1_avf, op2_avo])
  40 {- nonrec -}
  41 d.Foo_avB =
  42     $d2{-rvK,x-}
  43 $mop1_avH =
  44     ClassFoo.$mop1{-ruM,p-}
  45         PrelBase.Int{-3g,p-}
  46         d.Foo_avB
  47 d.Foo_avE =
  48     d.Foo_avB
  49 $mop2_avG =
  50     ClassFoo.$mop2{-ruP,p-}
  51         PrelBase.Int{-3g,p-}
  52         d.Foo_avE
  53 ghc: module version changed to 1; reason: no old .hi file
  54 _interface_ Bar 1
  55 _instance_modules_
  56 ArrBase Bar IO PrelNum
  57 _usages_
  58 ClassFoo 1 :: Foo 1;
  59 _exports_
  60 _instances_
  61 instance _forall_ [a] {ClassFoo.Foo a} => {ClassFoo.Foo [a]} = $d1;
  62 instance {ClassFoo.Foo PrelBase.Int} = $d2;
  63 _declarations_
  64 1 $d1 _:_ _forall_ [a] {ClassFoo.Foo a} => {ClassFoo.Foo [a]} ;;
  65 1 $d2 _:_ {ClassFoo.Foo PrelBase.Int} ;;