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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 d.Num_aH6 =
   7     PrelNum.$d33{-rxe,p-}
   8 fromInt_aH7 =
   9     PrelBase.fromInt{-8R,p-}
  10         PrelBase.Integer{-3h,p-}
  11         d.Num_aH6
  12 lit_aH8 =
  13     fromInt_aH7 PrelBase.I#{-5b,p-}{i} 2#
  14 {- nonrec -}
  15 AbsBinds [t{-aGW-}] [d.Num_aH1] [([t{-aGW-}], f{-r3f,x-}, f_aGF)]
  16     d.Eq_aGZ =
  17         PrelBase.scsel_NumPrelBaseEq{-aHb,p-}
  18             t{-aGW-}
  19             d.Num_aH1
  20     ==_aHa =
  21         PrelBase.=={-8Y,p-}
  22             t{-aGW-}
  23             d.Eq_aGZ
  24     fromInteger_aH9 =
  25         PrelBase.fromInteger{-8S,p-}
  26             t{-aGW-}
  27             d.Num_aH1
  28     f_aGF
  29         (x_r3d PrelBase.:{-55,p-}{i} xs_r3e)
  30                 =   if x_r3d ==_aHa (fromInteger_aH9 lit_aH8) then
  31                         xs_r3e
  32                     else
  33                         PrelBase.[]{-5i,p-}{i}
  34                             t{-aGW-}
  35 {- nonrec -}
  36 tc038.hs:3:
  37     Warning: Possibly incomplete patterns
  38         in the definition of function `f'
  39 ghc: module version changed to 1; reason: no old .hi file
  40 _interface_ ShouldSucceed 1
  41 _instance_modules_
  42 ArrBase IO PrelNum
  43 _usages_
  44 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;
  45 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  46 _exports_
  47 ShouldSucceed f;
  48 _declarations_
  49 1 f _:_ _forall_ [a] {PrelBase.Num a} => [a] -> [a] ;;