ghc/tests/typecheck/should_compile/tc034.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 ANull{-r6,x-}{i} = _/\_ a_tr3p -> ANull{-r6,x-}{i} {_@_ a_tr3p}
   6 ANode{-r5,x-}{i} =
   7     _/\_ a_tr3p -> \ tpl_B1 tpl_B2 ->
   8         ANode{-r5,x-}{i} {_@_ a_tr3p tpl_B1 tpl_B2}
   9 AbsBinds [taCx] [d.Num_aCA] [([taCx], g{-r3q,x-}, g_aC9)]
  10     fromInt_aCK = PrelBase.fromInt{-8R,p-} taCx d.Num_aCA
  11     lit_aCO = fromInt_aCK PrelBase.I#{-5b,w-}{i} 2#
  12     fromInt_aCP = fromInt_aCK
  13     lit_aCQ = fromInt_aCP PrelBase.I#{-5b,w-}{i} 3#
  14     fromInt_aCR = fromInt_aCK
  15     lit_aCS = fromInt_aCR PrelBase.I#{-5b,w-}{i} 4#
  16     g_aC9 ANull{-r6,x-}{i} = lit_aCO
  17     g_aC9 (ANode{-r5,x-}{i} b_r3k (ANode{-r5,x-}{i} c_r3l d_r3m))
  18           | b_r3k = lit_aCQ
  19           | PrelBase.True{-5E,w-}{i} = lit_aCS
  20 AbsBinds [taCJ] [] [([taCJ], $d1{-rCN,x-}, d.Eval_aCI)]
  21     d.Eval_aCI = ({-dict-} [] [])
  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 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  28 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  29 _exports_
  30 ShouldSucceed g AList(ANull ANode) IntList;
  31 _instances_
  32 instance _forall_ [a] => {PrelBase.Eval (AList a)} = $d1;
  33 _declarations_
  34 1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (AList a)} ;;
  35 1 data AList a = ANull |  ANode a (AList a) ;
  36 1 type IntList = AList PrelBase.Int ;
  37 1 g _:_ _forall_ [ta] {PrelBase.Num ta} => AList PrelBase.Bool -> ta ;;