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