+ds022.hs:5:
+ Warning: Possibly incomplete patterns
+ in the definition of function `f'
+ds022.hs:10:
+ Warning: Possibly incomplete patterns
+ in the definition of function `g'
+ds022.hs:15:
+ Warning: Possibly incomplete patterns
+ in the definition of function `h'
ds022.hs:22:
Warning: Pattern match(es) completely overlapped
in the definition of function `i'
ds022.hs:20:
Warning: Possibly incomplete patterns
in the definition of function `i'
-ds022.hs:15:
- Warning: Possibly incomplete patterns
- in the definition of function `h'
-ds022.hs:10:
- Warning: Possibly incomplete patterns
- in the definition of function `g'
-ds022.hs:5:
- Warning: Possibly incomplete patterns
- in the definition of function `f'
================================================================================
Desugared:
Rec {
-d.Eq_a13W ::
- {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
-{-# L #-}
-d.Eq_a13W =
- PrelBase.$d33{-rbH,p-}
-d.Eq_a13U ::
- {PrelBase.Eq{-23,p-} [PrelBase.Char{-38,p-}]}
-{-# L #-}
-d.Eq_a13U =
- PrelBase.$d27{-rbA,p-}
- _@_ PrelBase.Char{-38,p-} d.Eq_a13W
-==_a1pN ::
- [PrelBase.Char{-38,p-}]
- -> [PrelBase.Char{-38,p-}]
- -> PrelBase.Bool{-34,p-}
+i{-r3s,x-} :: _forall_
+ [taUw taUD taVd]
+ =>
+ {PrelNum.Fractional{-26,p-} taUD}
+ -> {PrelBase.Num{-2c,p-} taUw}
+ -> taUw
+ -> taUD
+ -> [taVd]
{-# L #-}
-==_a1pN =
- PrelBase.=={-8Y,p-}
- _@_ [PrelBase.Char{-38,p-}] d.Eq_a13U
-i{-r3E,x-} ::
- _forall_
- [t{-a11b-} t{-a11f-} t{-a11j-}]
- =>
- {PrelNum.Fractional{-26,p-} t{-a11f-}}
- -> {PrelBase.Num{-2c,p-} t{-a11b-}}
- -> t{-a11b-}
- -> t{-a11f-}
- -> [t{-a11j-}]
-{-# L #-}
-i{-r3E,x-} =
- _/\_ t{-a11b-} t{-a11f-} t{-a11j-} -> \ d.Fractional_a11r ::
- {PrelNum.Fractional{-26,p-} t{-a11f-}}
- {-# L #-}
- d.Fractional_a11r d.Num_a11m ::
- {PrelBase.Num{-2c,p-} t{-a11b-}}
- {-# L #-}
- d.Num_a11m ->
- let {
- d.Eq_a11o ::
- {PrelBase.Eq{-23,p-} t{-a11b-}}
- {-# L #-}
- d.Eq_a11o =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a11b-} d.Num_a11m } in
- let {
- d.Num_a13X ::
- {PrelBase.Num{-2c,p-} t{-a11f-}}
- {-# L #-}
- d.Num_a13X =
- PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
- _@_ t{-a11f-} d.Fractional_a11r } in
- let {
- d.Eq_a11t ::
- {PrelBase.Eq{-23,p-} t{-a11f-}}
- {-# L #-}
- d.Eq_a11t =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a11f-} d.Num_a13X } in
- let {
- fromInt_a1rt ::
- PrelBase.Int{-3g,p-} -> t{-a11b-}
- {-# L #-}
- fromInt_a1rt =
- PrelBase.fromInt{-8R,p-}
- _@_ t{-a11b-} d.Num_a11m } in
- let { lit_a1rs ::
- t{-a11b-}
- {-# L #-}
- lit_a1rs =
- let {
- ds_d1s9 ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1s9 =
- PrelBase.I#{-5b,p-}{i}
- 1
- } in
- fromInt_a1rt
- ds_d1s9
- } in
- let {
- ==_a1rr ::
- t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1rr =
- PrelBase.=={-8Y,p-}
- _@_ t{-a11b-} d.Eq_a11o } in
- let {
- fromRational_a1rq ::
- PrelNum.Rational{-3r,p-} -> t{-a11f-}
- {-# L #-}
- fromRational_a1rq =
- PrelNum.fromRational{-8T,p-}
- _@_ t{-a11f-} d.Fractional_a11r } in
- let {
- lit_a1rp ::
- t{-a11f-}
- {-# L #-}
- lit_a1rp =
- fromRational_a1rq
- _rational_ 11 10 } in
- let {
- ==_a1ro ::
- t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1ro =
- PrelBase.=={-8Y,p-}
- _@_ t{-a11f-} d.Eq_a11t } in
- let {
- fromInt_a1rn ::
- PrelBase.Int{-3g,p-} -> t{-a11b-}
- {-# L #-}
- fromInt_a1rn =
- fromInt_a1rt } in
- let { lit_a1rm ::
- t{-a11b-}
- {-# L #-}
- lit_a1rm =
- let {
- ds_d1sR ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1sR =
- PrelBase.I#{-5b,p-}{i}
- 2
- } in
- fromInt_a1rn
- ds_d1sR
- } in
- let {
- ==_a1rl ::
- t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1rl =
- ==_a1rr } in
- let {
- fromRational_a1rk ::
- PrelNum.Rational{-3r,p-} -> t{-a11f-}
- {-# L #-}
- fromRational_a1rk =
- fromRational_a1rq } in
- let {
- lit_a1rj ::
- t{-a11f-}
- {-# L #-}
- lit_a1rj =
- fromRational_a1rk
- _rational_ 11 5 } in
- let {
- ==_a1ri ::
- t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1ri =
- ==_a1ro } in
- let {
- lit_a1rh ::
- t{-a11b-}
- {-# L #-}
- lit_a1rh =
- lit_a1rs } in
- let {
- ==_a1rg ::
- t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1rg =
- ==_a1rr } in
- let {
- lit_a1rf ::
- t{-a11f-}
- {-# L #-}
- lit_a1rf =
- lit_a1rp } in
- let {
- ==_a1re ::
- t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1re =
- ==_a1ro } in
- let {
- lit_a1rd ::
- t{-a11b-}
- {-# L #-}
- lit_a1rd =
- lit_a1rm } in
- let {
- ==_a1rc ::
- t{-a11b-} -> t{-a11b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1rc =
- ==_a1rr } in
- let {
- lit_a1rb ::
- t{-a11f-}
- {-# L #-}
- lit_a1rb =
- lit_a1rj } in
- let {
- ==_a1ra ::
- t{-a11f-} -> t{-a11f-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1ra =
- ==_a1ro
- } in
- \ ds_d1tC ::
- t{-a11b-}
- {-# L #-}
- ds_d1tC ds_d1tF ::
- t{-a11f-}
- {-# L #-}
- ds_d1tF ->
+i{-r3s,x-} =
+ _/\_ taUw taUD taVd -> \ d.Fractional_aVl :: {PrelNum.Fractional{-26,p-} taUD}
+ {-# L #-}
+ d.Fractional_aVl d.Num_aVg :: {PrelBase.Num{-2c,p-} taUw}
+ {-# L #-}
+ d.Num_aVg ->
+ _letrec_ {
+ d.Eq_aVi :: {PrelBase.Eq{-23,p-} taUw}
+ {-# L #-}
+ d.Eq_aVi =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taUw d.Num_aVg;
+ d.Num_aY9 :: {PrelBase.Num{-2c,p-} taUD}
+ {-# L #-}
+ d.Num_aY9 =
+ PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
+ _@_ taUD d.Fractional_aVl;
+ d.Eq_aVn :: {PrelBase.Eq{-23,p-} taUD}
+ {-# L #-}
+ d.Eq_aVn =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taUD d.Num_aY9;
+ fromInt_a1l6 :: PrelBase.Int{-3g,W-} -> taUw
+ {-# L #-}
+ fromInt_a1l6 =
+ PrelBase.fromInt{-8R,p-} _@_ taUw d.Num_aVg;
+ lit_a1l7 :: taUw
+ {-# L #-}
+ lit_a1l7 =
let {
- fail_d1tG ::
- [t{-a11j-}]
+ ds_d1nQ :: PrelBase.Int{-3g,W-}
{-# L #-}
- fail_d1tG =
- GHCerr.patError{-8r,p-}
- _@_ [t{-a11j-}] _string_ "ds022.hs:20|function `i'" } in
+ ds_d1nQ =
+ PrelBase.I#{-5b,w-}{i} 1
+ } in fromInt_a1l6 ds_d1nQ;
+ ==_a1l8 :: taUw -> taUw -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1l8 =
+ PrelBase.=={-8Y,p-} _@_ taUw d.Eq_aVi;
+ fromRational_a1l9 :: PrelNum.Rational{-3r,p-} -> taUD
+ {-# L #-}
+ fromRational_a1l9 =
+ PrelNum.fromRational{-8T,p-} _@_ taUD d.Fractional_aVl;
+ lit_a1la :: taUD
+ {-# L #-}
+ lit_a1la =
+ fromRational_a1l9 _rational_ 11 10;
+ ==_a1lb :: taUD -> taUD -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1lb =
+ PrelBase.=={-8Y,p-} _@_ taUD d.Eq_aVn;
+ fromInt_a1lc :: PrelBase.Int{-3g,W-} -> taUw
+ {-# L #-}
+ fromInt_a1lc =
+ fromInt_a1l6;
+ lit_a1ld :: taUw
+ {-# L #-}
+ lit_a1ld =
let {
- fail_d1uo ::
- [t{-a11j-}]
+ ds_d1oy :: PrelBase.Int{-3g,W-}
{-# L #-}
- fail_d1uo =
- case
- ==_a1rl
- lit_a1rm ds_d1tC
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1ri
- lit_a1rj ds_d1tF
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11j-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1tG;
- };
- PrelBase.False{-58,p-}{i} ->
- fail_d1tG;
- }
- } in
- case
- ==_a1rr
- lit_a1rs ds_d1tC
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1ro
- lit_a1rp ds_d1tF
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11j-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1uo;
- };
- PrelBase.False{-58,p-}{i} ->
- fail_d1uo;
- }
-h{-r3F,x-} ::
- _forall_
- [t{-a11Q-}]
- =>
- PrelBase.Char{-38,p-} -> [PrelBase.Char{-38,p-}] -> [t{-a11Q-}]
-{-# L #-}
-h{-r3F,x-} =
- _/\_ t{-a11Q-} ->
- let {
- ==_a1v3 ::
- [PrelBase.Char{-38,p-}]
- -> [PrelBase.Char{-38,p-}]
- -> PrelBase.Bool{-34,p-}
+ ds_d1oy =
+ PrelBase.I#{-5b,w-}{i} 2
+ } in fromInt_a1lc ds_d1oy;
+ ==_a1le :: taUw -> taUw -> PrelBase.Bool{-34,W-}
{-# L #-}
- ==_a1v3 =
- ==_a1pN
- } in
- \ ds_d1vj ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1vj ds_d1vk ::
- [PrelBase.Char{-38,p-}]
- {-# L #-}
- ds_d1vk ->
- let {
- fail_d1vl ::
- [t{-a11Q-}]
+ ==_a1le =
+ ==_a1l8;
+ fromRational_a1lf :: PrelNum.Rational{-3r,p-} -> taUD
+ {-# L #-}
+ fromRational_a1lf =
+ fromRational_a1l9;
+ lit_a1lg :: taUD
+ {-# L #-}
+ lit_a1lg =
+ fromRational_a1lf _rational_ 11 5;
+ ==_a1lh :: taUD -> taUD -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1lh =
+ ==_a1lb;
+ lit_a1li :: taUw
+ {-# L #-}
+ lit_a1li =
+ lit_a1l7;
+ ==_a1lj :: taUw -> taUw -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1lj =
+ ==_a1l8;
+ lit_a1lk :: taUD
+ {-# L #-}
+ lit_a1lk =
+ lit_a1la;
+ ==_a1ll :: taUD -> taUD -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1ll =
+ ==_a1lb;
+ lit_a1lm :: taUw
+ {-# L #-}
+ lit_a1lm =
+ lit_a1ld;
+ ==_a1ln :: taUw -> taUw -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1ln =
+ ==_a1l8;
+ lit_a1lo :: taUD
+ {-# L #-}
+ lit_a1lo =
+ lit_a1lg;
+ ==_a1lp :: taUD -> taUD -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1lp =
+ ==_a1lb;
+ i_aUr :: taUw -> taUD -> [taVd]
+ {-# L #-}
+ i_aUr =
+ \ ds_d1pk :: taUw
{-# L #-}
- fail_d1vl =
- GHCerr.patError{-8r,p-}
- _@_ [t{-a11Q-}] _string_ "ds022.hs:15|function `h'"
- } in
- case ds_d1vj of { PrelBase.C#{-54,p-}{i} ds_d1vu ->
- case# ds_d1vu of {
- 'a' ->
- case ds_d1vk of {
- PrelBase.:{-55,p-}{i} ds_d1vK ds_d1vJ ->
- fail_d1vl;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11Q-};
- };
- ''' ->
- case
- ==_a1v3
- _string_ "foo" ds_d1vk
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11Q-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1vl;
- };
- '"' ->
- case ds_d1vk of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d1vl;
- PrelBase.:{-55,p-}{i} ds_d1wC ds_d1wD ->
- case ds_d1wC of { PrelBase.C#{-54,p-}{i} ds_d1wM ->
- case# ds_d1wM of {
- 'b' ->
- case ds_d1wD of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d1vl;
- PrelBase.:{-55,p-}{i} ds_d1x7 ds_d1x8 ->
- case ds_d1x7 of { PrelBase.C#{-54,p-}{i} ds_d1xh ->
- case# ds_d1xh of {
- 'a' ->
- case ds_d1x8 of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d1vl;
- PrelBase.:{-55,p-}{i} ds_d1xC ds_d1xD ->
- case
- ds_d1xC
- of {
- PrelBase.C#{-54,p-}{i} ds_d1xM ->
- case# ds_d1xM of {
- 'r' ->
- case ds_d1xD of {
- PrelBase.:{-55,p-}{i} ds_d1y2 ds_d1y1 ->
- fail_d1vl;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11Q-};
- };
- ds_d1yd ->
- fail_d1vl;
- };};
- };
- ds_d1yg ->
- fail_d1vl;
- };};
- };
- ds_d1yj ->
- fail_d1vl;
- };};
- };
- '¨' ->
- let {
- blob_r3D ::
- [PrelBase.Char{-38,p-}]
+ ds_d1pk ds_d1pn :: taUD
{-# L #-}
- blob_r3D =
- ds_d1vk
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a11Q-};
- ds_d1yx ->
- fail_d1vl;
- };}
-g{-r3G,x-} ::
- _forall_
- [t{-a12s-} t{-a12w-} t{-a12A-}]
- =>
- {PrelNum.Fractional{-26,p-} t{-a12w-}}
- -> {PrelBase.Num{-2c,p-} t{-a12s-}}
- -> t{-a12s-}
- -> t{-a12w-}
- -> [t{-a12A-}]
-{-# L #-}
-g{-r3G,x-} =
- _/\_ t{-a12s-} t{-a12w-} t{-a12A-} -> \ d.Fractional_a12I ::
- {PrelNum.Fractional{-26,p-} t{-a12w-}}
- {-# L #-}
- d.Fractional_a12I d.Num_a12D ::
- {PrelBase.Num{-2c,p-} t{-a12s-}}
- {-# L #-}
- d.Num_a12D ->
- let {
- d.Eq_a12F ::
- {PrelBase.Eq{-23,p-} t{-a12s-}}
- {-# L #-}
- d.Eq_a12F =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a12s-} d.Num_a12D } in
- let {
- d.Num_a13Y ::
- {PrelBase.Num{-2c,p-} t{-a12w-}}
- {-# L #-}
- d.Num_a13Y =
- PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
- _@_ t{-a12w-} d.Fractional_a12I } in
- let {
- d.Eq_a12K ::
- {PrelBase.Eq{-23,p-} t{-a12w-}}
- {-# L #-}
- d.Eq_a12K =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a12w-} d.Num_a13Y } in
- let {
- fromInteger_a1zV ::
- PrelBase.Integer{-3h,p-} -> t{-a12s-}
- {-# L #-}
- fromInteger_a1zV =
- PrelBase.fromInteger{-8S,p-}
- _@_ t{-a12s-} d.Num_a12D } in
- let {
- lit_a1zU ::
- t{-a12s-}
- {-# L #-}
- lit_a1zU =
- fromInteger_a1zV
- _integer_ 11111111111111111111111 } in
- let {
- ==_a1zT ::
- t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zT =
- PrelBase.=={-8Y,p-}
- _@_ t{-a12s-} d.Eq_a12F } in
- let {
- fromRational_a1zS ::
- PrelNum.Rational{-3r,p-} -> t{-a12w-}
- {-# L #-}
- fromRational_a1zS =
- PrelNum.fromRational{-8T,p-}
- _@_ t{-a12w-} d.Fractional_a12I } in
- let {
- lit_a1zR ::
- t{-a12w-}
- {-# L #-}
- lit_a1zR =
- fromRational_a1zS
- _rational_ 111111111111111111 100000000000000000 } in
- let {
- ==_a1zQ ::
- t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zQ =
- PrelBase.=={-8Y,p-}
- _@_ t{-a12w-} d.Eq_a12K } in
- let {
- fromInteger_a1zP ::
- PrelBase.Integer{-3h,p-} -> t{-a12s-}
- {-# L #-}
- fromInteger_a1zP =
- fromInteger_a1zV } in
- let {
- lit_a1zO ::
- t{-a12s-}
- {-# L #-}
- lit_a1zO =
- fromInteger_a1zP
- _integer_ 22222222222222222222222 } in
- let {
- ==_a1zN ::
- t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zN =
- ==_a1zT } in
- let {
- fromRational_a1zM ::
- PrelNum.Rational{-3r,p-} -> t{-a12w-}
- {-# L #-}
- fromRational_a1zM =
- fromRational_a1zS } in
- let {
- lit_a1zL ::
- t{-a12w-}
- {-# L #-}
- lit_a1zL =
- fromRational_a1zM
- _rational_ 111111111111111111 50000000000000000 } in
- let {
- ==_a1zK ::
- t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zK =
- ==_a1zQ } in
- let {
- fromInteger_a1zJ ::
- PrelBase.Integer{-3h,p-} -> t{-a12s-}
- {-# L #-}
- fromInteger_a1zJ =
- fromInteger_a1zV } in
- let {
- lit_a1zI ::
- t{-a12s-}
- {-# L #-}
- lit_a1zI =
- fromInteger_a1zJ
- _integer_ 33333333333333333333333 } in
- let {
- ==_a1zH ::
- t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zH =
- ==_a1zT } in
- let {
- fromRational_a1zG ::
- PrelNum.Rational{-3r,p-} -> t{-a12w-}
- {-# L #-}
- fromRational_a1zG =
- fromRational_a1zS } in
- let {
- lit_a1zF ::
- t{-a12w-}
- {-# L #-}
- lit_a1zF =
- fromRational_a1zG
- _rational_ 333333333333333333 100000000000000000 } in
- let {
- ==_a1zE ::
- t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zE =
- ==_a1zQ } in
- let {
- fromInteger_a1zD ::
- PrelBase.Integer{-3h,p-} -> t{-a12s-}
- {-# L #-}
- fromInteger_a1zD =
- fromInteger_a1zV } in
- let {
- lit_a1zC ::
- t{-a12s-}
- {-# L #-}
- lit_a1zC =
- fromInteger_a1zD
- _integer_ 44444444444444444444444 } in
- let {
- ==_a1zB ::
- t{-a12s-} -> t{-a12s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zB =
- ==_a1zT } in
- let {
- fromRational_a1zA ::
- PrelNum.Rational{-3r,p-} -> t{-a12w-}
- {-# L #-}
- fromRational_a1zA =
- fromRational_a1zS } in
- let {
- lit_a1zz ::
- t{-a12w-}
- {-# L #-}
- lit_a1zz =
- fromRational_a1zA
- _rational_ 111111111111111111 25000000000000000 } in
- let {
- ==_a1zy ::
- t{-a12w-} -> t{-a12w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1zy =
- ==_a1zQ
- } in
- \ ds_d1Cc ::
- t{-a12s-}
- {-# L #-}
- ds_d1Cc ds_d1Cf ::
- t{-a12w-}
- {-# L #-}
- ds_d1Cf ->
- let {
- fail_d1Cg ::
- [t{-a12A-}]
- {-# L #-}
- fail_d1Cg =
- GHCerr.patError{-8r,p-}
- _@_ [t{-a12A-}] _string_ "ds022.hs:10|function `g'" } in
- let { fail_d1Eo ::
- [t{-a12A-}]
+ ds_d1pn ->
+ let {
+ fail_d1po :: [taVd]
{-# L #-}
- fail_d1Eo =
- let { fail_d1DG ::
- [t{-a12A-}]
- {-# L #-}
- fail_d1DG =
+ fail_d1po =
+ GHCerr.patError{-8r,w-}
+ _@_ [taVd] _string_ "ds022.hs:20|function `i'" } in
let {
- fail_d1CY ::
- [t{-a12A-}]
+ fail_d1q6 :: [taVd]
{-# L #-}
- fail_d1CY =
- case
- ==_a1zB
- lit_a1zC ds_d1Cc
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1zy
- lit_a1zz ds_d1Cf
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a12A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Cg;
+ fail_d1q6 =
+ case ==_a1le lit_a1ld ds_d1pk of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1lh lit_a1lg ds_d1pn of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVd;
+ PrelBase.False{-58,w-}{i} -> fail_d1po;
};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Cg;
+ PrelBase.False{-58,w-}{i} -> fail_d1po;
}
} in
- case
- ==_a1zH
- lit_a1zI ds_d1Cc
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1zE
- lit_a1zF ds_d1Cf
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a12A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1CY;
+ case ==_a1l8 lit_a1l7 ds_d1pk of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1lb lit_a1la ds_d1pn of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVd;
+ PrelBase.False{-58,w-}{i} -> fail_d1q6;
};
- PrelBase.False{-58,p-}{i} ->
- fail_d1CY;
- }
- } in
- case
- ==_a1zN
- lit_a1zO ds_d1Cc
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1zK
- lit_a1zL ds_d1Cf
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a12A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1DG;
- };
- PrelBase.False{-58,p-}{i} ->
- fail_d1DG;
- }
- } in
- case
- ==_a1zT
- lit_a1zU ds_d1Cc
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1zQ
- lit_a1zR ds_d1Cf
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a12A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Eo;
+ PrelBase.False{-58,w-}{i} -> fail_d1q6;
};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Eo;
- }
-f{-r3H,x-} ::
- _forall_
- [t{-a13s-} t{-a13w-} t{-a13A-}]
- =>
- {PrelNum.Fractional{-26,p-} t{-a13w-}}
- -> {PrelBase.Num{-2c,p-} t{-a13s-}}
- -> t{-a13s-}
- -> t{-a13w-}
- -> [t{-a13A-}]
+ } in i_aUr
+h{-r3t,x-} :: _forall_
+ [taVQ]
+ =>
+ PrelBase.Char{-38,W-} -> [PrelBase.Char{-38,W-}] -> [taVQ]
{-# L #-}
-f{-r3H,x-} =
- _/\_ t{-a13s-} t{-a13w-} t{-a13A-} -> \ d.Fractional_a13I ::
- {PrelNum.Fractional{-26,p-} t{-a13w-}}
- {-# L #-}
- d.Fractional_a13I d.Num_a13D ::
- {PrelBase.Num{-2c,p-} t{-a13s-}}
- {-# L #-}
- d.Num_a13D ->
- let {
- d.Eq_a13F ::
- {PrelBase.Eq{-23,p-} t{-a13s-}}
- {-# L #-}
- d.Eq_a13F =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a13s-} d.Num_a13D } in
- let {
- d.Num_a13Z ::
- {PrelBase.Num{-2c,p-} t{-a13w-}}
- {-# L #-}
- d.Num_a13Z =
- PrelNum.scsel_FractionalPrelBaseNum{-a1rM,p-}
- _@_ t{-a13w-} d.Fractional_a13I } in
- let {
- d.Eq_a13K ::
- {PrelBase.Eq{-23,p-} t{-a13w-}}
- {-# L #-}
- d.Eq_a13K =
- PrelBase.scsel_NumPrelBaseEq{-a1rD,p-}
- _@_ t{-a13w-} d.Num_a13Z } in
- let {
- fromInt_a1Gk ::
- PrelBase.Int{-3g,p-} -> t{-a13s-}
- {-# L #-}
- fromInt_a1Gk =
- PrelBase.fromInt{-8R,p-}
- _@_ t{-a13s-} d.Num_a13D } in
- let { lit_a1Gj ::
- t{-a13s-}
- {-# L #-}
- lit_a1Gj =
- let {
- ds_d1GY ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1GY =
- PrelBase.I#{-5b,p-}{i}
- 1
- } in
- fromInt_a1Gk
- ds_d1GY
- } in
- let {
- ==_a1Gi ::
- t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1Gi =
- PrelBase.=={-8Y,p-}
- _@_ t{-a13s-} d.Eq_a13F } in
- let {
- fromRational_a1Gh ::
- PrelNum.Rational{-3r,p-} -> t{-a13w-}
- {-# L #-}
- fromRational_a1Gh =
- PrelNum.fromRational{-8T,p-}
- _@_ t{-a13w-} d.Fractional_a13I } in
- let {
- lit_a1Gg ::
- t{-a13w-}
- {-# L #-}
- lit_a1Gg =
- fromRational_a1Gh
- _rational_ 11 10 } in
- let {
- ==_a1Gf ::
- t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1Gf =
- PrelBase.=={-8Y,p-}
- _@_ t{-a13w-} d.Eq_a13K } in
- let {
- fromInt_a1Ge ::
- PrelBase.Int{-3g,p-} -> t{-a13s-}
- {-# L #-}
- fromInt_a1Ge =
- fromInt_a1Gk } in
- let { lit_a1Gd ::
- t{-a13s-}
- {-# L #-}
- lit_a1Gd =
- let {
- ds_d1HG ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1HG =
- PrelBase.I#{-5b,p-}{i}
- 2
- } in
- fromInt_a1Ge
- ds_d1HG
- } in
- let {
- ==_a1Gc ::
- t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1Gc =
- ==_a1Gi } in
- let {
- fromRational_a1Gb ::
- PrelNum.Rational{-3r,p-} -> t{-a13w-}
- {-# L #-}
- fromRational_a1Gb =
- fromRational_a1Gh } in
- let {
- lit_a1Ga ::
- t{-a13w-}
- {-# L #-}
- lit_a1Ga =
- fromRational_a1Gb
- _rational_ 11 5 } in
- let {
- ==_a1G9 ::
- t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1G9 =
- ==_a1Gf } in
- let {
- fromInt_a1G8 ::
- PrelBase.Int{-3g,p-} -> t{-a13s-}
- {-# L #-}
- fromInt_a1G8 =
- fromInt_a1Gk } in
- let { lit_a1G7 ::
- t{-a13s-}
- {-# L #-}
- lit_a1G7 =
- let {
- ds_d1I3 ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1I3 =
- PrelBase.I#{-5b,p-}{i}
- 3
- } in
- fromInt_a1G8
- ds_d1I3
- } in
- let {
- ==_a1G6 ::
- t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1G6 =
- ==_a1Gi } in
- let {
- fromRational_a1G5 ::
- PrelNum.Rational{-3r,p-} -> t{-a13w-}
- {-# L #-}
- fromRational_a1G5 =
- fromRational_a1Gh } in
- let {
- lit_a1G4 ::
- t{-a13w-}
- {-# L #-}
- lit_a1G4 =
- fromRational_a1G5
- _rational_ 33 10 } in
- let {
- ==_a1G3 ::
- t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1G3 =
- ==_a1Gf } in
- let {
- fromInt_a1G2 ::
- PrelBase.Int{-3g,p-} -> t{-a13s-}
- {-# L #-}
- fromInt_a1G2 =
- fromInt_a1Gk } in
- let { lit_a1G1 ::
- t{-a13s-}
- {-# L #-}
- lit_a1G1 =
- let {
- ds_d1Iq ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1Iq =
- PrelBase.I#{-5b,p-}{i}
- 4
- } in
- fromInt_a1G2
- ds_d1Iq
- } in
- let {
- ==_a1G0 ::
- t{-a13s-} -> t{-a13s-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1G0 =
- ==_a1Gi } in
- let {
- fromRational_a1FZ ::
- PrelNum.Rational{-3r,p-} -> t{-a13w-}
- {-# L #-}
- fromRational_a1FZ =
- fromRational_a1Gh } in
- let {
- lit_a1FY ::
- t{-a13w-}
- {-# L #-}
- lit_a1FY =
- fromRational_a1FZ
- _rational_ 22 5 } in
- let {
- ==_a1FX ::
- t{-a13w-} -> t{-a13w-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1FX =
- ==_a1Gf
- } in
- \ ds_d1Jb ::
- t{-a13s-}
- {-# L #-}
- ds_d1Jb ds_d1Je ::
- t{-a13w-}
+h{-r3t,x-} =
+ _/\_ taVQ ->
+ _letrec_ {
+ ==_a1qR :: [PrelBase.Char{-38,W-}]
+ -> [PrelBase.Char{-38,W-}]
+ -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1qR =
+ ==_a1l5;
+ h_aVt :: PrelBase.Char{-38,W-}
+ -> [PrelBase.Char{-38,W-}]
+ -> [taVQ]
+ {-# L #-}
+ h_aVt =
+ \ ds_d1rb :: PrelBase.Char{-38,W-}
+ {-# L #-}
+ ds_d1rb ds_d1rc :: [PrelBase.Char{-38,W-}]
+ {-# L #-}
+ ds_d1rc ->
+ let {
+ fail_d1rd :: [taVQ]
{-# L #-}
- ds_d1Je ->
- let {
- fail_d1Jf ::
- [t{-a13A-}]
+ fail_d1rd =
+ GHCerr.patError{-8r,w-}
+ _@_ [taVQ] _string_ "ds022.hs:15|function `h'"
+ } in
+ case ds_d1rb of { PrelBase.C#{-54,w-}{i} ds_d1rm ->
+ case# ds_d1rm of {
+ 'a' ->
+ case ds_d1rc of {
+ PrelBase.:{-55,w-}{i} ds_d1rB ds_d1rC -> fail_d1rd;
+ PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVQ;
+ };
+ ''' ->
+ case ==_a1qR _string_ "foo" ds_d1rc of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taVQ;
+ PrelBase.False{-58,w-}{i} -> fail_d1rd;
+ };
+ '"' ->
+ case ds_d1rc of {
+ PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
+ PrelBase.:{-55,w-}{i} ds_d1su ds_d1sv ->
+ case ds_d1su of { PrelBase.C#{-54,w-}{i} ds_d1sE ->
+ case# ds_d1sE of {
+ 'b' ->
+ case ds_d1sv of {
+ PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
+ PrelBase.:{-55,w-}{i} ds_d1sZ ds_d1t0 ->
+ case ds_d1sZ of { PrelBase.C#{-54,w-}{i} ds_d1t9 ->
+ case# ds_d1t9 of {
+ 'a' ->
+ case ds_d1t0 of {
+ PrelBase.[]{-5i,w-}{i} -> fail_d1rd;
+ PrelBase.:{-55,w-}{i} ds_d1tu ds_d1tv ->
+ case
+ ds_d1tu
+ of {
+ PrelBase.C#{-54,w-}{i} ds_d1tE ->
+ case# ds_d1tE of {
+ 'r' ->
+ case ds_d1tv of {
+ PrelBase.:{-55,w-}{i} ds_d1tT ds_d1tU ->
+ fail_d1rd;
+ PrelBase.[]{-5i,w-}{i} ->
+ PrelBase.[]{-5i,w-}{i} _@_ taVQ;
+ };
+ ds_d1u5 -> fail_d1rd;
+ };};
+ };
+ ds_d1u8 -> fail_d1rd;
+ };};
+ };
+ ds_d1ub -> fail_d1rd;
+ };};
+ };
+ '¨' ->
+ let {
+ blob_r3r :: [PrelBase.Char{-38,W-}]
+ {-# L #-}
+ blob_r3r =
+ ds_d1rc
+ } in PrelBase.[]{-5i,w-}{i} _@_ taVQ;
+ ds_d1up -> fail_d1rd;
+ };};
+ } in h_aVt
+g{-r3u,x-} :: _forall_
+ [taVZ taW6 taWG]
+ =>
+ {PrelNum.Fractional{-26,p-} taW6}
+ -> {PrelBase.Num{-2c,p-} taVZ}
+ -> taVZ
+ -> taW6
+ -> [taWG]
+{-# L #-}
+g{-r3u,x-} =
+ _/\_ taVZ taW6 taWG -> \ d.Fractional_aWO :: {PrelNum.Fractional{-26,p-} taW6}
+ {-# L #-}
+ d.Fractional_aWO d.Num_aWJ :: {PrelBase.Num{-2c,p-} taVZ}
+ {-# L #-}
+ d.Num_aWJ ->
+ _letrec_ {
+ d.Eq_aWL :: {PrelBase.Eq{-23,p-} taVZ}
+ {-# L #-}
+ d.Eq_aWL =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taVZ d.Num_aWJ;
+ d.Num_aYa :: {PrelBase.Num{-2c,p-} taW6}
+ {-# L #-}
+ d.Num_aYa =
+ PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
+ _@_ taW6 d.Fractional_aWO;
+ d.Eq_aWQ :: {PrelBase.Eq{-23,p-} taW6}
+ {-# L #-}
+ d.Eq_aWQ =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taW6 d.Num_aYa;
+ fromInteger_a1uM :: PrelBase.Integer{-3h,W-} -> taVZ
+ {-# L #-}
+ fromInteger_a1uM =
+ PrelBase.fromInteger{-8S,p-} _@_ taVZ d.Num_aWJ;
+ lit_a1uN :: taVZ
+ {-# L #-}
+ lit_a1uN =
+ fromInteger_a1uM _integer_ 11111111111111111111111;
+ ==_a1uO :: taVZ -> taVZ -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1uO =
+ PrelBase.=={-8Y,p-} _@_ taVZ d.Eq_aWL;
+ fromRational_a1uP :: PrelNum.Rational{-3r,p-} -> taW6
+ {-# L #-}
+ fromRational_a1uP =
+ PrelNum.fromRational{-8T,p-} _@_ taW6 d.Fractional_aWO;
+ lit_a1uQ :: taW6
+ {-# L #-}
+ lit_a1uQ =
+ fromRational_a1uP
+ _rational_ 111111111111111111 100000000000000000;
+ ==_a1uR :: taW6 -> taW6 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1uR =
+ PrelBase.=={-8Y,p-} _@_ taW6 d.Eq_aWQ;
+ fromInteger_a1uS :: PrelBase.Integer{-3h,W-} -> taVZ
+ {-# L #-}
+ fromInteger_a1uS =
+ fromInteger_a1uM;
+ lit_a1uT :: taVZ
+ {-# L #-}
+ lit_a1uT =
+ fromInteger_a1uS _integer_ 22222222222222222222222;
+ ==_a1uU :: taVZ -> taVZ -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1uU =
+ ==_a1uO;
+ fromRational_a1uV :: PrelNum.Rational{-3r,p-} -> taW6
+ {-# L #-}
+ fromRational_a1uV =
+ fromRational_a1uP;
+ lit_a1uW :: taW6
+ {-# L #-}
+ lit_a1uW =
+ fromRational_a1uV _rational_ 111111111111111111 50000000000000000;
+ ==_a1uX :: taW6 -> taW6 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1uX =
+ ==_a1uR;
+ fromInteger_a1uY :: PrelBase.Integer{-3h,W-} -> taVZ
+ {-# L #-}
+ fromInteger_a1uY =
+ fromInteger_a1uM;
+ lit_a1uZ :: taVZ
+ {-# L #-}
+ lit_a1uZ =
+ fromInteger_a1uY _integer_ 33333333333333333333333;
+ ==_a1v0 :: taVZ -> taVZ -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1v0 =
+ ==_a1uO;
+ fromRational_a1v1 :: PrelNum.Rational{-3r,p-} -> taW6
+ {-# L #-}
+ fromRational_a1v1 =
+ fromRational_a1uP;
+ lit_a1v2 :: taW6
+ {-# L #-}
+ lit_a1v2 =
+ fromRational_a1v1
+ _rational_ 333333333333333333 100000000000000000;
+ ==_a1v3 :: taW6 -> taW6 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1v3 =
+ ==_a1uR;
+ fromInteger_a1v4 :: PrelBase.Integer{-3h,W-} -> taVZ
+ {-# L #-}
+ fromInteger_a1v4 =
+ fromInteger_a1uM;
+ lit_a1v5 :: taVZ
+ {-# L #-}
+ lit_a1v5 =
+ fromInteger_a1v4 _integer_ 44444444444444444444444;
+ ==_a1v6 :: taVZ -> taVZ -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1v6 =
+ ==_a1uO;
+ fromRational_a1v7 :: PrelNum.Rational{-3r,p-} -> taW6
+ {-# L #-}
+ fromRational_a1v7 =
+ fromRational_a1uP;
+ lit_a1v8 :: taW6
+ {-# L #-}
+ lit_a1v8 =
+ fromRational_a1v7 _rational_ 111111111111111111 25000000000000000;
+ ==_a1v9 :: taW6 -> taW6 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1v9 =
+ ==_a1uR;
+ g_aVU :: taVZ -> taW6 -> [taWG]
+ {-# L #-}
+ g_aVU =
+ \ ds_d1z4 :: taVZ
{-# L #-}
- fail_d1Jf =
- GHCerr.patError{-8r,p-}
- _@_ [t{-a13A-}] _string_ "ds022.hs:5|function `f'" } in
- let { fail_d1Ln ::
- [t{-a13A-}]
+ ds_d1z4 ds_d1z7 :: taW6
+ {-# L #-}
+ ds_d1z7 ->
+ let {
+ fail_d1z8 :: [taWG]
{-# L #-}
- fail_d1Ln =
- let { fail_d1KF ::
- [t{-a13A-}]
- {-# L #-}
- fail_d1KF =
+ fail_d1z8 =
+ GHCerr.patError{-8r,w-}
+ _@_ [taWG] _string_ "ds022.hs:10|function `g'" } in
+ let { fail_d1Bg :: [taWG]
+ {-# L #-}
+ fail_d1Bg =
+ let { fail_d1Ay :: [taWG]
+ {-# L #-}
+ fail_d1Ay =
+ let {
+ fail_d1zQ :: [taWG]
+ {-# L #-}
+ fail_d1zQ =
+ case ==_a1v6 lit_a1v5 ds_d1z4 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1v9 lit_a1v8 ds_d1z7 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
+ PrelBase.False{-58,w-}{i} -> fail_d1z8;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1z8;
+ }
+ } in
+ case ==_a1v0 lit_a1uZ ds_d1z4 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1v3 lit_a1v2 ds_d1z7 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
+ PrelBase.False{-58,w-}{i} -> fail_d1zQ;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1zQ;
+ }
+ } in
+ case ==_a1uU lit_a1uT ds_d1z4 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1uX lit_a1uW ds_d1z7 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
+ PrelBase.False{-58,w-}{i} -> fail_d1Ay;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1Ay;
+ }
+ } in
+ case ==_a1uO lit_a1uN ds_d1z4 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1uR lit_a1uQ ds_d1z7 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taWG;
+ PrelBase.False{-58,w-}{i} -> fail_d1Bg;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1Bg;
+ };
+ } in g_aVU
+f{-r3v,x-} :: _forall_
+ [taX5 taXc taXM]
+ =>
+ {PrelNum.Fractional{-26,p-} taXc}
+ -> {PrelBase.Num{-2c,p-} taX5}
+ -> taX5
+ -> taXc
+ -> [taXM]
+{-# L #-}
+f{-r3v,x-} =
+ _/\_ taX5 taXc taXM -> \ d.Fractional_aXU :: {PrelNum.Fractional{-26,p-} taXc}
+ {-# L #-}
+ d.Fractional_aXU d.Num_aXP :: {PrelBase.Num{-2c,p-} taX5}
+ {-# L #-}
+ d.Num_aXP ->
+ _letrec_ {
+ d.Eq_aXR :: {PrelBase.Eq{-23,p-} taX5}
+ {-# L #-}
+ d.Eq_aXR =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taX5 d.Num_aXP;
+ d.Num_aYb :: {PrelBase.Num{-2c,p-} taXc}
+ {-# L #-}
+ d.Num_aYb =
+ PrelNum.scsel_FractionalPrelBaseNum{-a1nt,p-}
+ _@_ taXc d.Fractional_aXU;
+ d.Eq_aXW :: {PrelBase.Eq{-23,p-} taXc}
+ {-# L #-}
+ d.Eq_aXW =
+ PrelBase.scsel_NumPrelBaseEq{-a1ls,p-} _@_ taXc d.Num_aYb;
+ fromInt_a1Cb :: PrelBase.Int{-3g,W-} -> taX5
+ {-# L #-}
+ fromInt_a1Cb =
+ PrelBase.fromInt{-8R,p-} _@_ taX5 d.Num_aXP;
+ lit_a1Cc :: taX5
+ {-# L #-}
+ lit_a1Cc =
+ let {
+ ds_d1EP :: PrelBase.Int{-3g,W-}
+ {-# L #-}
+ ds_d1EP =
+ PrelBase.I#{-5b,w-}{i} 1
+ } in fromInt_a1Cb ds_d1EP;
+ ==_a1Cd :: taX5 -> taX5 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cd =
+ PrelBase.=={-8Y,p-} _@_ taX5 d.Eq_aXR;
+ fromRational_a1Ce :: PrelNum.Rational{-3r,p-} -> taXc
+ {-# L #-}
+ fromRational_a1Ce =
+ PrelNum.fromRational{-8T,p-} _@_ taXc d.Fractional_aXU;
+ lit_a1Cf :: taXc
+ {-# L #-}
+ lit_a1Cf =
+ fromRational_a1Ce _rational_ 11 10;
+ ==_a1Cg :: taXc -> taXc -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cg =
+ PrelBase.=={-8Y,p-} _@_ taXc d.Eq_aXW;
+ fromInt_a1Ch :: PrelBase.Int{-3g,W-} -> taX5
+ {-# L #-}
+ fromInt_a1Ch =
+ fromInt_a1Cb;
+ lit_a1Ci :: taX5
+ {-# L #-}
+ lit_a1Ci =
+ let {
+ ds_d1Fx :: PrelBase.Int{-3g,W-}
+ {-# L #-}
+ ds_d1Fx =
+ PrelBase.I#{-5b,w-}{i} 2
+ } in fromInt_a1Ch ds_d1Fx;
+ ==_a1Cj :: taX5 -> taX5 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cj =
+ ==_a1Cd;
+ fromRational_a1Ck :: PrelNum.Rational{-3r,p-} -> taXc
+ {-# L #-}
+ fromRational_a1Ck =
+ fromRational_a1Ce;
+ lit_a1Cl :: taXc
+ {-# L #-}
+ lit_a1Cl =
+ fromRational_a1Ck _rational_ 11 5;
+ ==_a1Cm :: taXc -> taXc -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cm =
+ ==_a1Cg;
+ fromInt_a1Cn :: PrelBase.Int{-3g,W-} -> taX5
+ {-# L #-}
+ fromInt_a1Cn =
+ fromInt_a1Cb;
+ lit_a1Co :: taX5
+ {-# L #-}
+ lit_a1Co =
+ let {
+ ds_d1FU :: PrelBase.Int{-3g,W-}
+ {-# L #-}
+ ds_d1FU =
+ PrelBase.I#{-5b,w-}{i} 3
+ } in fromInt_a1Cn ds_d1FU;
+ ==_a1Cp :: taX5 -> taX5 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cp =
+ ==_a1Cd;
+ fromRational_a1Cq :: PrelNum.Rational{-3r,p-} -> taXc
+ {-# L #-}
+ fromRational_a1Cq =
+ fromRational_a1Ce;
+ lit_a1Cr :: taXc
+ {-# L #-}
+ lit_a1Cr =
+ fromRational_a1Cq _rational_ 33 10;
+ ==_a1Cs :: taXc -> taXc -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cs =
+ ==_a1Cg;
+ fromInt_a1Ct :: PrelBase.Int{-3g,W-} -> taX5
+ {-# L #-}
+ fromInt_a1Ct =
+ fromInt_a1Cb;
+ lit_a1Cu :: taX5
+ {-# L #-}
+ lit_a1Cu =
+ let {
+ ds_d1Gh :: PrelBase.Int{-3g,W-}
+ {-# L #-}
+ ds_d1Gh =
+ PrelBase.I#{-5b,w-}{i} 4
+ } in fromInt_a1Ct ds_d1Gh;
+ ==_a1Cv :: taX5 -> taX5 -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cv =
+ ==_a1Cd;
+ fromRational_a1Cw :: PrelNum.Rational{-3r,p-} -> taXc
+ {-# L #-}
+ fromRational_a1Cw =
+ fromRational_a1Ce;
+ lit_a1Cx :: taXc
+ {-# L #-}
+ lit_a1Cx =
+ fromRational_a1Cw _rational_ 22 5;
+ ==_a1Cy :: taXc -> taXc -> PrelBase.Bool{-34,W-}
+ {-# L #-}
+ ==_a1Cy =
+ ==_a1Cg;
+ f_aX0 :: taX5 -> taXc -> [taXM]
+ {-# L #-}
+ f_aX0 =
+ \ ds_d1H3 :: taX5
+ {-# L #-}
+ ds_d1H3 ds_d1H6 :: taXc
+ {-# L #-}
+ ds_d1H6 ->
let {
- fail_d1JX ::
- [t{-a13A-}]
+ fail_d1H7 :: [taXM]
{-# L #-}
- fail_d1JX =
- case
- ==_a1G0
- lit_a1G1 ds_d1Jb
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1FX
- lit_a1FY ds_d1Je
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a13A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Jf;
+ fail_d1H7 =
+ GHCerr.patError{-8r,w-}
+ _@_ [taXM] _string_ "ds022.hs:5|function `f'" } in
+ let { fail_d1Jf :: [taXM]
+ {-# L #-}
+ fail_d1Jf =
+ let { fail_d1Ix :: [taXM]
+ {-# L #-}
+ fail_d1Ix =
+ let {
+ fail_d1HP :: [taXM]
+ {-# L #-}
+ fail_d1HP =
+ case ==_a1Cv lit_a1Cu ds_d1H3 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1Cy lit_a1Cx ds_d1H6 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
+ PrelBase.False{-58,w-}{i} -> fail_d1H7;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1H7;
+ }
+ } in
+ case ==_a1Cp lit_a1Co ds_d1H3 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1Cs lit_a1Cr ds_d1H6 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
+ PrelBase.False{-58,w-}{i} -> fail_d1HP;
};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Jf;
+ PrelBase.False{-58,w-}{i} -> fail_d1HP;
}
- } in
- case
- ==_a1G6
- lit_a1G7 ds_d1Jb
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1G3
- lit_a1G4 ds_d1Je
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a13A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1JX;
+ } in
+ case ==_a1Cj lit_a1Ci ds_d1H3 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1Cm lit_a1Cl ds_d1H6 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
+ PrelBase.False{-58,w-}{i} -> fail_d1Ix;
};
- PrelBase.False{-58,p-}{i} ->
- fail_d1JX;
+ PrelBase.False{-58,w-}{i} -> fail_d1Ix;
}
- } in
- case
- ==_a1Gc
- lit_a1Gd ds_d1Jb
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1G9
- lit_a1Ga ds_d1Je
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a13A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1KF;
- };
- PrelBase.False{-58,p-}{i} ->
- fail_d1KF;
- }
- } in
- case
- ==_a1Gi
- lit_a1Gj ds_d1Jb
- of {
- PrelBase.True{-5E,p-}{i} ->
- case
- ==_a1Gf
- lit_a1Gg ds_d1Je
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a13A-};
- PrelBase.False{-58,p-}{i} ->
- fail_d1Ln;
- };
- PrelBase.False{-58,p-}{i} ->
- fail_d1Ln;
- }
+ } in
+ case ==_a1Cd lit_a1Cc ds_d1H3 of {
+ PrelBase.True{-5E,w-}{i} ->
+ case ==_a1Cg lit_a1Cf ds_d1H6 of {
+ PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taXM;
+ PrelBase.False{-58,w-}{i} -> fail_d1Jf;
+ };
+ PrelBase.False{-58,w-}{i} -> fail_d1Jf;
+ };
+ } in f_aX0
+d.Eq_aY8 :: {PrelBase.Eq{-23,p-} PrelBase.Char{-38,W-}}
+{-# L #-}
+d.Eq_aY8 =
+ PrelBase.$d34{-raE,p-}
+d.Eq_aY6 :: {PrelBase.Eq{-23,p-} [PrelBase.Char{-38,W-}]}
+{-# L #-}
+d.Eq_aY6 =
+ PrelBase.$d28{-rax,p-} _@_ PrelBase.Char{-38,W-} d.Eq_aY8
+==_a1l5 :: [PrelBase.Char{-38,W-}]
+ -> [PrelBase.Char{-38,W-}]
+ -> PrelBase.Bool{-34,W-}
+{-# L #-}
+==_a1l5 =
+ PrelBase.=={-8Y,p-} _@_ [PrelBase.Char{-38,W-}] d.Eq_aY6
end Rec }
projects / ghc-hetmet.git / blobdiff