ds027.hs:8:
Warning: Possibly incomplete patterns
in the definition of function `=='
-
-
-================================================================================
-Desugared:
-Rec {
-Bar{-r4,x-}{i} :: Foo{-r3m,x-}
-_A_ 0 {-# L #-}
-Bar{-r4,x-}{i} =
- Bar{-r4,x-}{i} {}
-Baz{-r3,x-}{i} :: Foo{-r3m,x-}
-_A_ 0 {-# L #-}
-Baz{-r3,x-}{i} =
- Baz{-r3,x-}{i} {}
-d.Eval_aB7 :: {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
-{-# L #-}
-d.Eval_aB7 =
- PrelBase.void{-8G,w-}
-$d2{-rE9,x-} :: {PrelBase.Eval{-24,p-} Foo{-r3m,x-}}
-{-# L #-}
-$d2{-rE9,x-} =
- d.Eval_aB7
-==_aBg :: Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-==_aBg =
- \ ds_dEQ :: Foo{-r3m,x-}
- {-# L #-}
- ds_dEQ ds_dER :: Foo{-r3m,x-}
- {-# L #-}
- ds_dER ->
- let {
- fail_dES :: PrelBase.Bool{-34,W-}
- {-# L #-}
- fail_dES =
- GHCerr.patError{-8r,w-}
- _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:8|function `=='"
- } in
- case ds_dEQ of {
- Baz{-r3,x-}{i} -> fail_dES;
- Bar{-r4,x-}{i} ->
- case ds_dER of {
- Bar{-r4,x-}{i} -> fail_dES;
- Baz{-r3,x-}{i} -> PrelBase.True{-5E,w-}{i};
- };
- }
-==_aEk :: Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-==_aEk =
- ==_aBg
-/=_aBl :: Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-/=_aBl =
- \ ds_dFu :: Foo{-r3m,x-}
- {-# L #-}
- ds_dFu ds_dFv :: Foo{-r3m,x-}
- {-# L #-}
- ds_dFv ->
- let {
- fail_dFw :: PrelBase.Bool{-34,W-}
- {-# L #-}
- fail_dFw =
- GHCerr.patError{-8r,w-}
- _@_ PrelBase.Bool{-34,W-} _string_ "ds027.hs:9|function `/='"
- } in
- case ds_dFu of {
- Baz{-r3,x-}{i} -> fail_dFw;
- Bar{-r4,x-}{i} ->
- case ds_dFv of {
- Bar{-r4,x-}{i} -> fail_dFw;
- Baz{-r3,x-}{i} -> PrelBase.False{-58,w-}{i};
- };
- }
-/=_aEt :: Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-}
-{-# L #-}
-/=_aEt =
- /=_aBl
-d.Eq_aBc :: {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
-{-# L #-}
-d.Eq_aBc =
- PrelTup.(,){-62,w-}{i}
- {_@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
- _@_ (Foo{-r3m,x-} -> Foo{-r3m,x-} -> PrelBase.Bool{-34,W-})
- ==_aEk
- /=_aEt}
-$d1{-rEb,x-} :: {PrelBase.Eq{-23,p-} Foo{-r3m,x-}}
-{-# L #-}
-$d1{-rEb,x-} =
- d.Eq_aBc
-end Rec }