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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 ANull{-r6,x-}{i} =
   7     _/\_ a{-r3p-} ->
   8         ANull{-r6,x-}{i}
   9             {_@_ a{-r3p-}}
  10 ANode{-r5,x-}{i} =
  11     _/\_ a{-r3p-} -> \ tpl_B1 tpl_B2 ->
  12         ANode{-r5,x-}{i}
  13             {_@_ a{-r3p-} tpl_B1 tpl_B2}
  14 {- rec -}
  15 AbsBinds [a{-aHA-}] [] [([a{-aHA-}], $d1{-rHD,x-}, d.Eval_aHz)]
  16     d.Eval_aHz =
  17         ({-dict-} [] [])
  18 {- nonrec -}
  19 {- nonrec -}
  20 AbsBinds [t{-aHn-}] [d.Num_aHr] [([t{-aHn-}], g{-r3q,x-}, g_aH1)]
  21     fromInt_aHJ =
  22         PrelBase.fromInt{-8R,p-}
  23             t{-aHn-}
  24             d.Num_aHr
  25     lit_aHI =
  26         fromInt_aHJ PrelBase.I#{-5b,p-}{i} 2#
  27     fromInt_aHH =
  28         fromInt_aHJ
  29     lit_aHG =
  30         fromInt_aHH PrelBase.I#{-5b,p-}{i} 3#
  31     fromInt_aHF =
  32         fromInt_aHJ
  33     lit_aHE =
  34         fromInt_aHF PrelBase.I#{-5b,p-}{i} 4#
  35     g_aH1
  36         ANull{-r6,x-}{i}
  37                 =   lit_aHI
  38     g_aH1
  39         (ANode{-r5,x-}{i} b_r3k (ANode{-r5,x-}{i} c_r3l d_r3m))
  40                 | [b_r3k] =
  41                     lit_aHG
  42                 | [PrelBase.True{-5E,p-}{i}] =
  43                     lit_aHE
  44 {- nonrec -}
  45 tc034.hs:7:
  46     Warning: Possibly incomplete patterns
  47         in the definition of function `g'
  48 ghc: module version changed to 1; reason: no old .hi file
  49 _interface_ ShouldSucceed 1
  50 _instance_modules_
  51 ArrBase IO PrelNum
  52 _usages_
  53 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  54 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  55 _exports_
  56 ShouldSucceed g AList(ANull ANode) IntList;
  57 _instances_
  58 instance _forall_ [a] => {PrelBase.Eval (AList a)} = $d1;
  59 _declarations_
  60 1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (AList a)} ;;
  61 1 data AList r3p = ANull |  ANode r3p (AList r3p) ;
  62 1 type IntList = AList PrelBase.Int ;
  63 1 g _:_ _forall_ [a] {PrelBase.Num a} => AList PrelBase.Bool -> a ;;