ghc/tests/deSugar/should_compile/ds027.stderr

   1 ds027.hs:9:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `/='
   4 ds027.hs:8:
   5     Warning: Possibly incomplete patterns
   6         in the definition of function `=='
   7
   8
   9 ================================================================================
  10 Desugared:
  11 Rec {
  12 Bar{-r4,x-}{i}  ::  Foo{-r3m,x-}
  13 _A_ 0 {-# L #-}
  14 Bar{-r4,x-}{i} =
  15     Bar{-r4,x-}{i} {}
  16 Baz{-r3,x-}{i}  ::  Foo{-r3m,x-}
  17 _A_ 0 {-# L #-}
  18 Baz{-r3,x-}{i} =
  19     Baz{-r3,x-}{i} {}
  20 d.Eval_aB7  ::  {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
  21 {-# L #-}
  22 d.Eval_aB7 =
  23     PrelBase.void{-8G,w-}
  24 $d2{-rE9,x-}  ::  {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
  25 {-# L #-}
  26 $d2{-rE9,x-} =
  27     d.Eval_aB7
  28 ==_aBg  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
  29 {-# L #-}
  30 ==_aBg =
  31     \ ds_dEQ  ::  Foo{-r3m,x-}
  32       {-# L #-}
  33       ds_dEQ ds_dER  ::  Foo{-r3m,x-}
  34              {-# L #-}
  35              ds_dER ->
  36         let {
  37           fail_dES  ::  PrelBase.Bool{-34,W-}
  38           {-# L #-}
  39           fail_dES =
  40               GHCerr.patError{-8r,w-}
  41                   _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:8|function `=='"
  42         } in
  43           case ds_dEQ of {
  44             Baz{-r3,x-}{i} -> fail_dES;
  45             Bar{-r4,x-}{i} ->
  46                 case ds_dER of {
  47                   Bar{-r4,x-}{i} -> fail_dES;
  48                   Baz{-r3,x-}{i} -> PrelBase.True{-5E,w-}{i};
  49                 };
  50           }
  51 ==_aEk  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
  52 {-# L #-}
  53 ==_aEk =
  54     ==_aBg
  55 /=_aBl  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
  56 {-# L #-}
  57 /=_aBl =
  58     \ ds_dFu  ::  Foo{-r3m,x-}
  59       {-# L #-}
  60       ds_dFu ds_dFv  ::  Foo{-r3m,x-}
  61              {-# L #-}
  62              ds_dFv ->
  63         let {
  64           fail_dFw  ::  PrelBase.Bool{-34,W-}
  65           {-# L #-}
  66           fail_dFw =
  67               GHCerr.patError{-8r,w-}
  68                   _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:9|function `/='"
  69         } in
  70           case ds_dFu of {
  71             Baz{-r3,x-}{i} -> fail_dFw;
  72             Bar{-r4,x-}{i} ->
  73                 case ds_dFv of {
  74                   Bar{-r4,x-}{i} -> fail_dFw;
  75                   Baz{-r3,x-}{i} -> PrelBase.False{-58,w-}{i};
  76                 };
  77           }
  78 /=_aEt  ::  Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
  79 {-# L #-}
  80 /=_aEt =
  81     /=_aBl
  82 d.Eq_aBc  ::  {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
  83 {-# L #-}
  84 d.Eq_aBc =
  85     PrelTup.(,){-62,w-}{i}
  86         {_@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
  87          _@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
  88          ==_aEk
  89          /=_aEt}
  90 $d1{-rEb,x-}  ::  {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
  91 {-# L #-}
  92 $d1{-rEb,x-} =
  93     d.Eq_aBc
  94 end Rec }