ghc/compiler/tests/deSugar/ds027.stderr

   1 ds027.hs:8:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `=='
   4 ds027.hs:9:
   5     Warning: Possibly incomplete patterns
   6         in the definition of function `/='
   7
   8
   9 ================================================================================
  10 Desugared:
  11 Rec {
  12 d.Eval_aGg  ::
  13     {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
  14 {-# L #-}
  15 d.Eval_aGg =
  16     PrelBase.void{-8G,p-}
  17 $d2{-rIX,x-}  ::
  18     {PrelBase.Eval{-24,p-} Foo{-r3n,x-}}
  19 {-# L #-}
  20 $d2{-rIX,x-} =
  21     d.Eval_aGg
  22 ==_aGo  ::
  23     Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
  24 {-# L #-}
  25 ==_aGo =
  26     \ ds_dJM  ::
  27           Foo{-r3n,x-}
  28       {-# L #-}
  29       ds_dJM ds_dJN  ::
  30                  Foo{-r3n,x-}
  31              {-# L #-}
  32              ds_dJN ->
  33         let {
  34           fail_dJO  ::
  35               PrelBase.Bool{-34,p-}
  36           {-# L #-}
  37           fail_dJO =
  38               GHCerr.patError{-8r,p-}
  39                   _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:8|function `=='"
  40         } in
  41           case ds_dJM of {
  42             Baz{-r3,x-}{i} ->
  43                 fail_dJO;
  44             Bar{-r4,x-}{i} ->
  45                 case ds_dJN of {
  46                   Bar{-r4,x-}{i} ->
  47                       fail_dJO;
  48                   Baz{-r3,x-}{i} ->
  49                       PrelBase.True{-5E,p-}{i};
  50                 };
  51           }
  52 ==_aJ7  ::
  53     Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
  54 {-# L #-}
  55 ==_aJ7 =
  56     ==_aGo
  57 /=_aGs  ::
  58     Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
  59 {-# L #-}
  60 /=_aGs =
  61     \ ds_dKq  ::
  62           Foo{-r3n,x-}
  63       {-# L #-}
  64       ds_dKq ds_dKr  ::
  65                  Foo{-r3n,x-}
  66              {-# L #-}
  67              ds_dKr ->
  68         let {
  69           fail_dKs  ::
  70               PrelBase.Bool{-34,p-}
  71           {-# L #-}
  72           fail_dKs =
  73               GHCerr.patError{-8r,p-}
  74                   _@_ PrelBase.Bool{-34,p-} _string_ "ds027.hs:9|function `/='"
  75         } in
  76           case ds_dKq of {
  77             Baz{-r3,x-}{i} ->
  78                 fail_dKs;
  79             Bar{-r4,x-}{i} ->
  80                 case ds_dKr of {
  81                   Bar{-r4,x-}{i} ->
  82                       fail_dKs;
  83                   Baz{-r3,x-}{i} ->
  84                       PrelBase.False{-58,p-}{i};
  85                 };
  86           }
  87 /=_aJg  ::
  88     Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-}
  89 {-# L #-}
  90 /=_aJg =
  91     /=_aGs
  92 d.Eq_aGl  ::
  93     {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
  94 {-# L #-}
  95 d.Eq_aGl =
  96     PrelTup.(,){-62,p-}{i}
  97         {_@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
  98          _@_ (Foo{-r3n,x-} -> Foo{-r3n,x-} -> PrelBase.Bool{-34,p-})
  99          ==_aJ7
 100          /=_aJg}
 101 $d1{-rJp,x-}  ::
 102     {PrelBase.Eq{-23,p-} Foo{-r3n,x-}}
 103 {-# L #-}
 104 $d1{-rJp,x-} =
 105     d.Eq_aGl
 106 Bar{-r4,x-}{i}  ::
 107     Foo{-r3n,x-}
 108 _A_ 0 {-# L #-}
 109 Bar{-r4,x-}{i} =
 110     Bar{-r4,x-}{i}
 111         {}
 112 Baz{-r3,x-}{i}  ::
 113     Foo{-r3n,x-}
 114 _A_ 0 {-# L #-}
 115 Baz{-r3,x-}{i} =
 116     Baz{-r3,x-}{i}
 117         {}
 118 end Rec }