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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 Node{-r2,x-}{i} =
   7     \ tpl_B1 tpl_B2 ->
   8         Node{-r2,x-}{i}
   9             {tpl_B1 tpl_B2}
  10 {- rec -}
  11 AbsBinds [] [] [([], $d1{-rFX,x-}, d.Eval_aFU)]
  12     d.Eval_aFU =
  13         ({-dict-} [] [])
  14 {- nonrec -}
  15 ghc: module version changed to 1; reason: no old .hi file
  16 _interface_ ShouldSucceed 1
  17 _instance_modules_
  18 ArrBase IO PrelNum
  19 _usages_
  20 PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d46 1 Eval 1;
  21 _exports_
  22 ShouldSucceed Rec(Node);
  23 _instances_
  24 instance {PrelBase.Eval Rec} = $d1;
  25 _declarations_
  26 1 $d1 _:_ {PrelBase.Eval Rec} ;;
  27 1 data Rec = Node PrelBase.Int Rec ;