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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 FF{-r5,x-}{i} =
   7     FF{-r5,x-}{i}
   8         {}
   9 TT{-r4,x-}{i} =
  10     TT{-r4,x-}{i}
  11         {}
  12 {- rec -}
  13 AbsBinds [] [] [([], $d1{-rG8,x-}, d.Eval_aG5)]
  14     d.Eval_aG5 =
  15         ({-dict-} [] [])
  16 {- nonrec -}
  17 {- nonrec -}
  18 AbsBinds [] [] [([], idb{-r6,x-}, idb_aFY)]
  19     idb_aFY
  20         x_r3k   =   x_r3k
  21 {- nonrec -}
  22 ghc: module version changed to 1; reason: no old .hi file
  23 _interface_ ShouldSucceed 1
  24 _instance_modules_
  25 ArrBase IO PrelNum
  26 _usages_
  27 PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d46 1 Eval 1;
  28 _exports_
  29 ShouldSucceed idb Boolean(FF TT);
  30 _instances_
  31 instance {PrelBase.Eval Boolean} = $d1;
  32 _declarations_
  33 1 $d1 _:_ {PrelBase.Eval Boolean} ;;
  34 1 data Boolean = FF |  TT ;
  35 1 idb _:_ Boolean -> Boolean ;;