+++ /dev/null
-ds020.hs:20:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
-ds020.hs:16:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `d'
-ds020.hs:17:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `d'
-ds020.hs:9:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `b'
-ds020.hs:6:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `a'
-
-
-================================================================================
-Desugared:
-Rec {
-d.Eq_a1aR ::
- {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
-{-# L #-}
-d.Eq_a1aR =
- PrelBase.$d7{-rqT,p-}
-==_a1h7 ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-==_a1h7 =
- PrelBase.=={-8Y,p-}
- _@_ PrelBase.Int{-3g,p-} d.Eq_a1aR
-d.Num_a1aV ::
- {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
-{-# L #-}
-d.Num_a1aV =
- PrelBase.$d3{-rqn,p-}
-fromInt_a1h6 ::
- PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
-{-# L #-}
-fromInt_a1h6 =
- PrelBase.fromInt{-8R,p-}
- _@_ PrelBase.Int{-3g,p-} d.Num_a1aV
-lit_a1h5 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1h5 =
- let {
- ds_d1SI ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1SI =
- PrelBase.I#{-5b,p-}{i}
- 2
- } in
- fromInt_a1h6
- ds_d1SI
-fromInt_a1h4 ::
- PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
-{-# L #-}
-fromInt_a1h4 =
- fromInt_a1h6
-lit_a1h3 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1h3 =
- let {
- ds_d1SX ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1SX =
- PrelBase.I#{-5b,p-}{i}
- 4
- } in
- fromInt_a1h4
- ds_d1SX
-fromInt_a1h2 ::
- PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
-{-# L #-}
-fromInt_a1h2 =
- fromInt_a1h6
-lit_a1h1 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1h1 =
- let {
- ds_d1Tc ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1Tc =
- PrelBase.I#{-5b,p-}{i}
- 3
- } in
- fromInt_a1h2
- ds_d1Tc
-d.Ord_a1b0 ::
- {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
-{-# L #-}
-d.Ord_a1b0 =
- PrelBase.$d6{-rqS,p-}
->_a1h0 ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
->_a1h0 =
- PrelBase.>{-rs3,p-}
- _@_ PrelBase.Int{-3g,p-} d.Ord_a1b0
-lit_a1gZ ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gZ =
- lit_a1h1
-lit_a1gY ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gY =
- lit_a1h3
-fromInt_a1gX ::
- PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
-{-# L #-}
-fromInt_a1gX =
- fromInt_a1h6
-lit_a1gW ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gW =
- let {
- ds_d1TC ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d1TC =
- PrelBase.I#{-5b,p-}{i}
- 5
- } in
- fromInt_a1gX
- ds_d1TC
-d.Ord_a1b4 ::
- {PrelBase.Ord{-2d,p-} PrelBase.Int{-3g,p-}}
-{-# L #-}
-d.Ord_a1b4 =
- d.Ord_a1b0
-<=_a1gV ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-<=_a1gV =
- PrelBase.<={-rs2,p-}
- _@_ PrelBase.Int{-3g,p-} d.Ord_a1b4
-lit_a1gU ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gU =
- lit_a1h5
-lit_a1gT ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gT =
- lit_a1h1
-==_a1gS ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-==_a1gS =
- ==_a1h7
-lit_a1gR ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gR =
- lit_a1h5
-lit_a1gQ ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gQ =
- lit_a1h3
-lit_a1gP ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1gP =
- lit_a1h1
-==_a1hb ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-==_a1hb =
- ==_a1gS
-==_a1ha ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
-{-# L #-}
-==_a1ha =
- ==_a1gS
-lit_a1h9 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1h9 =
- lit_a1gQ
-lit_a1h8 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1h8 =
- lit_a1gR
-ds_d1Q9 ::
- (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
-{-# L #-}
-ds_d1Q9 =
- let { ds_d1Zt ::
- (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})))
- {-# L #-}
- ds_d1Zt =
- let {
- eq4_a12Q ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq4_a12Q =
- ==_a1ha
- lit_a1h9 lit_a1h8 } in
- let {
- eq4_r4b ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq4_r4b =
- eq4_a12Q } in
- let {
- lit_a1Uy ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- lit_a1Uy =
- lit_a1gP } in
- let {
- eq3_a13e ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq3_a13e =
- ==_a1hb
- lit_a1gP lit_a1Uy } in
- let {
- eq3_r4a ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq3_r4a =
- eq3_a13e } in
- let {
- eq2_a13A ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq2_a13A =
- ==_a1gS
- lit_a1gR lit_a1gQ } in
- let {
- eq2_r49 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq2_r49 =
- eq2_a13A
- } in
- case eq2_r49 of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- ds_d1Va ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Va =
- PrelBase.C#{-54,p-}{i}
- {'a'} } in
- let { ds_d1Ve ::
- (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- {-# L #-}
- ds_d1Ve =
- let {
- ds_d1Vu ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Vu =
- PrelBase.C#{-54,p-}{i}
- {'a'} } in
- let { ds_d1Vy ::
- (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- {-# L #-}
- ds_d1Vy =
- let {
- ds_d1VO ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1VO =
- PrelBase.C#{-54,p-}{i}
- {'a'} } in
- let {
- ds_d1VS ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1VS =
- PrelBase.C#{-54,p-}{i}
- {'a'}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- ds_d1VO
- ds_d1VS}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- ds_d1Vu
- ds_d1Vy}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- ds_d1Va
- ds_d1Ve};
- PrelBase.False{-58,p-}{i} ->
- case eq3_r4a of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- ds_d1Wm ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Wm =
- PrelBase.C#{-54,p-}{i}
- {'b'} } in
- let { ds_d1Wq ::
- (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- {-# L #-}
- ds_d1Wq =
- let {
- ds_d1WG ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1WG =
- PrelBase.C#{-54,p-}{i}
- {'b'} } in
- let { ds_d1WK ::
- (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- {-# L #-}
- ds_d1WK =
- let {
- ds_d1X0 ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1X0 =
- PrelBase.C#{-54,p-}{i}
- {'b'} } in
- let {
- ds_d1X4 ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1X4 =
- PrelBase.C#{-54,p-}{i}
- {'b'}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- ds_d1X0
- ds_d1X4}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- ds_d1WG
- ds_d1WK}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- ds_d1Wm
- ds_d1Wq};
- PrelBase.False{-58,p-}{i} ->
- case eq4_r4b of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- ds_d1Xy ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Xy =
- PrelBase.C#{-54,p-}{i}
- {'c'} } in
- let { ds_d1XC ::
- (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- {-# L #-}
- ds_d1XC =
- let {
- ds_d1XS ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1XS =
- PrelBase.C#{-54,p-}{i}
- {'c'} } in
- let { ds_d1XW ::
- (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- {-# L #-}
- ds_d1XW =
- let {
- ds_d1Yc ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Yc =
- PrelBase.C#{-54,p-}{i}
- {'c'} } in
- let {
- ds_d1Yg ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Yg =
- PrelBase.C#{-54,p-}{i}
- {'c'}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- ds_d1Yc
- ds_d1Yg}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- ds_d1XS
- ds_d1XW}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- ds_d1Xy
- ds_d1XC};
- PrelBase.False{-58,p-}{i} ->
- let {
- ds_d1YC ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1YC =
- PrelBase.C#{-54,p-}{i}
- {'d'} } in
- let { ds_d1YG ::
- (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- {-# L #-}
- ds_d1YG =
- let {
- ds_d1YW ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1YW =
- PrelBase.C#{-54,p-}{i}
- {'d'} } in
- let { ds_d1Z0 ::
- (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- {-# L #-}
- ds_d1Z0 =
- let {
- ds_d1Zg ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Zg =
- PrelBase.C#{-54,p-}{i}
- {'d'} } in
- let {
- ds_d1Zk ::
- PrelBase.Char{-38,p-}
- {-# L #-}
- ds_d1Zk =
- PrelBase.C#{-54,p-}{i}
- {'d'}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- ds_d1Zg
- ds_d1Zk}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-})
- ds_d1YW
- ds_d1Z0}
- } in
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ (PrelBase.Char{-38,p-}, (PrelBase.Char{-38,p-}, PrelBase.Char{-38,p-}))
- ds_d1YC
- ds_d1YG};
- };
- };
- }
- } in
- case ds_d1Zt of { PrelTup.(,){-62,p-}{i} x4_a12r ds_d1ZC ->
- case ds_d1ZC of { PrelTup.(,){-62,p-}{i} y4_a12s ds_d1ZL ->
- case ds_d1ZL of { PrelTup.(,){-62,p-}{i} z4_a12t a4_a12u ->
- PrelTup.(,,,){-64,p-}{i}
- {_@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- _@_ PrelBase.Char{-38,p-}
- x4_a12r
- y4_a12s
- z4_a12t
- a4_a12u};};};}
-x4_a12r ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-x4_a12r =
- case
- ds_d1Q9
- of {
- PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u ->
- x4_a12r;}
-y4_a12s ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-y4_a12s =
- case
- ds_d1Q9
- of {
- PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u ->
- y4_a12s;}
-z4_a12t ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-z4_a12t =
- case
- ds_d1Q9
- of {
- PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u ->
- z4_a12t;}
-a4_a12u ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-a4_a12u =
- case
- ds_d1Q9
- of {
- PrelTup.(,,,){-64,p-}{i} x4_a12r y4_a12s z4_a12t a4_a12u ->
- a4_a12u;}
-x4{-r4f,x-} ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-x4{-r4f,x-} =
- x4_a12r
-y4{-r4e,x-} ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-y4{-r4e,x-} =
- y4_a12s
-z4{-r4d,x-} ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-z4{-r4d,x-} =
- z4_a12t
-a4{-r4c,x-} ::
- PrelBase.Char{-38,p-}
-{-# L #-}
-a4{-r4c,x-} =
- a4_a12u
-lit_a1QK ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-lit_a1QK =
- lit_a1gZ
-ds_d1QP ::
- (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
-{-# L #-}
-ds_d1QP =
- case
- >_a1h0
- x3_a148 lit_a1gZ
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Int{-3g,p-}
- _@_ PrelBase.Int{-3g,p-}
- lit_a1gY
- lit_a1gW};
- PrelBase.False{-58,p-}{i} ->
- case
- <=_a1gV
- x3_a148 lit_a1QK
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelTup.(,){-62,p-}{i}
- {_@_ PrelBase.Int{-3g,p-}
- _@_ PrelBase.Int{-3g,p-}
- lit_a1gU
- lit_a1gT};
- PrelBase.False{-58,p-}{i} ->
- GHCerr.nonExhaustiveGuardsError{-8l,p-}
- _@_ (PrelBase.Int{-3g,p-}, PrelBase.Int{-3g,p-})
- _string_ "ds020.hs:42|";
- };
- }
-x3_a148 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-x3_a148 =
- case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149 ->
- x3_a148;}
-y3_a149 ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-y3_a149 =
- case ds_d1QP of { PrelTup.(,){-62,p-}{i} x3_a148 y3_a149 ->
- y3_a149;}
-x3{-r4h,x-} ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-x3{-r4h,x-} =
- x3_a148
-y3{-r4g,x-} ::
- PrelBase.Int{-3g,p-}
-{-# L #-}
-y3{-r4g,x-} =
- y3_a149
-ds_d1Ra ::
- _forall_ [t{-a16h-}] => (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
-{-# L #-}
-ds_d1Ra =
- _/\_ t{-a16h-} ->
- _letrec_ {
- ==_a1mv ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1mv =
- ==_a1h7;
- ==_a1mu ::
- PrelBase.Int{-3g,p-}
- -> PrelBase.Int{-3g,p-}
- -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a1mu =
- ==_a1h7;
- lit_a1mt ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- lit_a1mt =
- lit_a1h3;
- lit_a1ms ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- lit_a1ms =
- lit_a1h5;
- ds_d22I ::
- (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
- {-# L #-}
- ds_d22I =
- let { ds_d257 ::
- [t{-a16h-}]
- {-# L #-}
- ds_d257 =
- let {
- eq4_a158 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq4_a158 =
- ==_a1mu
- lit_a1mt lit_a1ms } in
- let {
- eq4_r41 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq4_r41 =
- eq4_a158 } in
- let {
- lit_a23v ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- lit_a23v =
- lit_a1h1 } in
- let {
- eq3_a15w ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq3_a15w =
- ==_a1mv
- lit_a1h1 lit_a23v } in
- let {
- eq3_r40 ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq3_r40 =
- eq3_a15w } in
- let {
- eq2_a15S ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq2_a15S =
- ==_a1h7
- lit_a1h5 lit_a1h3 } in
- let {
- eq2_r3Z ::
- PrelBase.Bool{-34,p-}
- {-# L #-}
- eq2_r3Z =
- eq2_a15S
- } in
- case eq2_r3Z of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a16h-};
- PrelBase.False{-58,p-}{i} ->
- case eq3_r40 of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- ds_d24m ::
- [t{-a16h-}]
- {-# L #-}
- ds_d24m =
- PrelBase.[]{-5i,p-}{i}
- {_@_ t{-a16h-}}
- } in
- PrelBase.:{-55,p-}{i}
- {_@_ t{-a16h-} x2_a14U ds_d24m};
- PrelBase.False{-58,p-}{i} ->
- case eq4_r41 of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- ds_d24M ::
- [t{-a16h-}]
- {-# L #-}
- ds_d24M =
- PrelBase.[]{-5i,p-}{i}
- {_@_ t{-a16h-}}
- } in
- PrelBase.:{-55,p-}{i}
- {_@_ t{-a16h-} x2_a14U ds_d24M};
- PrelBase.False{-58,p-}{i} ->
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a16h-};
- };
- };
- }
- } in
- let {
- fail_d258 ::
- (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
- {-# L #-}
- fail_d258 =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ (t{-a16h-}, t{-a16h-}, [t{-a16h-}])
- _string_ "ds020.hs:39|(x2 PrelBase.: (xs2 PrelBase.: ys2))"
- } in
- case ds_d257 of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d258;
- PrelBase.:{-55,p-}{i} x2_a14U ds_d25l ->
- case ds_d25l of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d258;
- PrelBase.:{-55,p-}{i} xs2_a14V ys2_a14W ->
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16h-}
- _@_ t{-a16h-}
- _@_ [t{-a16h-}]
- x2_a14U
- xs2_a14V
- ys2_a14W};
- };
- };
- x2_a14U ::
- t{-a16h-}
- {-# L #-}
- x2_a14U =
- case
- ds_d22I
- of {
- PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W ->
- x2_a14U;};
- xs2_a14V ::
- t{-a16h-}
- {-# L #-}
- xs2_a14V =
- case
- ds_d22I
- of {
- PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W ->
- xs2_a14V;};
- ys2_a14W ::
- [t{-a16h-}]
- {-# L #-}
- ys2_a14W =
- case
- ds_d22I
- of {
- PrelTup.(,,){-63,p-}{i} x2_a14U xs2_a14V ys2_a14W ->
- ys2_a14W;};
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16h-}
- _@_ t{-a16h-}
- _@_ [t{-a16h-}]
- x2_a14U
- xs2_a14V
- ys2_a14W}
-x2{-r4k,x-} ::
- _forall_ [t{-a16h-}] => t{-a16h-}
-{-# L #-}
-x2{-r4k,x-} =
- _/\_ t{-a16h-} ->
- case
- ds_d1Ra
- _@_ t{-a16h-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d26G ds_d26I ds_d26H ->
- ds_d26G;}
-xs2{-r4j,x-} ::
- _forall_ [t{-a16h-}] => t{-a16h-}
-{-# L #-}
-xs2{-r4j,x-} =
- _/\_ t{-a16h-} ->
- case
- ds_d1Ra
- _@_ t{-a16h-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d26Z ds_d26X ds_d26Y ->
- ds_d26X;}
-ys2{-r4i,x-} ::
- _forall_ [t{-a16h-}] => [t{-a16h-}]
-{-# L #-}
-ys2{-r4i,x-} =
- _/\_ t{-a16h-} ->
- case
- ds_d1Ra
- _@_ t{-a16h-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d27g ds_d27f ds_d27e ->
- ds_d27e;}
-ds_d1Rr ::
- _forall_ [t{-a16I-}] => (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
-{-# L #-}
-ds_d1Rr =
- _/\_ t{-a16I-} ->
- let { ds_d28P ::
- (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
- {-# L #-}
- ds_d28P =
- let {
- ds_d27Z ::
- [t{-a16I-}]
- {-# L #-}
- ds_d27Z =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a16I-} } in
- let {
- fail_d280 ::
- (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
- {-# L #-}
- fail_d280 =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ (t{-a16I-}, t{-a16I-}, [t{-a16I-}])
- _string_ "ds020.hs:30|(~x PrelBase.: (~xs PrelBase.: ~ys))"
- } in
- case ds_d27Z of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d280;
- PrelBase.:{-55,p-}{i} x_a16u ds_d28d ->
- case ds_d28d of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d280;
- PrelBase.:{-55,p-}{i} xs_a16v ys_a16w ->
- let {
- ys_a16w ::
- [t{-a16I-}]
- {-# L #-}
- ys_a16w =
- ys_a16w } in
- let {
- xs_a16v ::
- t{-a16I-}
- {-# L #-}
- xs_a16v =
- xs_a16v } in
- let {
- x_a16u ::
- t{-a16I-}
- {-# L #-}
- x_a16u =
- x_a16u
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16I-}
- _@_ t{-a16I-}
- _@_ [t{-a16I-}]
- x_a16u
- xs_a16v
- ys_a16w};
- };
- }
- } in
- let {
- x_a16u ::
- t{-a16I-}
- {-# L #-}
- x_a16u =
- case
- ds_d28P
- of {
- PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w ->
- x_a16u;} } in
- let {
- xs_a16v ::
- t{-a16I-}
- {-# L #-}
- xs_a16v =
- case
- ds_d28P
- of {
- PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w ->
- xs_a16v;} } in
- let {
- ys_a16w ::
- [t{-a16I-}]
- {-# L #-}
- ys_a16w =
- case
- ds_d28P
- of {
- PrelTup.(,,){-63,p-}{i} x_a16u xs_a16v ys_a16w ->
- ys_a16w;}
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16I-}
- _@_ t{-a16I-}
- _@_ [t{-a16I-}]
- x_a16u
- xs_a16v
- ys_a16w}
-x{-r4n,x-} ::
- _forall_ [t{-a16I-}] => t{-a16I-}
-{-# L #-}
-x{-r4n,x-} =
- _/\_ t{-a16I-} ->
- case
- ds_d1Rr
- _@_ t{-a16I-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d29s ds_d29u ds_d29t ->
- ds_d29s;}
-xs{-r4m,x-} ::
- _forall_ [t{-a16I-}] => t{-a16I-}
-{-# L #-}
-xs{-r4m,x-} =
- _/\_ t{-a16I-} ->
- case
- ds_d1Rr
- _@_ t{-a16I-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d29L ds_d29J ds_d29K ->
- ds_d29J;}
-ys{-r4l,x-} ::
- _forall_ [t{-a16I-}] => [t{-a16I-}]
-{-# L #-}
-ys{-r4l,x-} =
- _/\_ t{-a16I-} ->
- case
- ds_d1Rr
- _@_ t{-a16I-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2a2 ds_d2a1 ds_d2a0 ->
- ds_d2a0;}
-ds_d1RI ::
- _forall_ [t{-a16Y-}] => (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
-{-# L #-}
-ds_d1RI =
- _/\_ t{-a16Y-} ->
- let { ds_d2bs ::
- (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
- {-# L #-}
- ds_d2bs =
- let {
- ds_d2aL ::
- [t{-a16Y-}]
- {-# L #-}
- ds_d2aL =
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a16Y-} } in
- let {
- fail_d2aM ::
- (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
- {-# L #-}
- fail_d2aM =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ (t{-a16Y-}, t{-a16Y-}, [t{-a16Y-}])
- _string_ "ds020.hs:29|(x1 PrelBase.: (xs1 PrelBase.: ys1))"
- } in
- case ds_d2aL of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d2aM;
- PrelBase.:{-55,p-}{i} x1_a16K ds_d2aZ ->
- case ds_d2aZ of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d2aM;
- PrelBase.:{-55,p-}{i} xs1_a16L ys1_a16M ->
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16Y-}
- _@_ t{-a16Y-}
- _@_ [t{-a16Y-}]
- x1_a16K
- xs1_a16L
- ys1_a16M};
- };
- }
- } in
- let {
- x1_a16K ::
- t{-a16Y-}
- {-# L #-}
- x1_a16K =
- case
- ds_d2bs
- of {
- PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M ->
- x1_a16K;} } in
- let {
- xs1_a16L ::
- t{-a16Y-}
- {-# L #-}
- xs1_a16L =
- case
- ds_d2bs
- of {
- PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M ->
- xs1_a16L;} } in
- let {
- ys1_a16M ::
- [t{-a16Y-}]
- {-# L #-}
- ys1_a16M =
- case
- ds_d2bs
- of {
- PrelTup.(,,){-63,p-}{i} x1_a16K xs1_a16L ys1_a16M ->
- ys1_a16M;}
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a16Y-}
- _@_ t{-a16Y-}
- _@_ [t{-a16Y-}]
- x1_a16K
- xs1_a16L
- ys1_a16M}
-x1{-r4q,x-} ::
- _forall_ [t{-a16Y-}] => t{-a16Y-}
-{-# L #-}
-x1{-r4q,x-} =
- _/\_ t{-a16Y-} ->
- case
- ds_d1RI
- _@_ t{-a16Y-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2c5 ds_d2c7 ds_d2c6 ->
- ds_d2c5;}
-xs1{-r4p,x-} ::
- _forall_ [t{-a16Y-}] => t{-a16Y-}
-{-# L #-}
-xs1{-r4p,x-} =
- _/\_ t{-a16Y-} ->
- case
- ds_d1RI
- _@_ t{-a16Y-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2co ds_d2cm ds_d2cn ->
- ds_d2cm;}
-ys1{-r4o,x-} ::
- _forall_ [t{-a16Y-}] => [t{-a16Y-}]
-{-# L #-}
-ys1{-r4o,x-} =
- _/\_ t{-a16Y-} ->
- case
- ds_d1RI
- _@_ t{-a16Y-}
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2cF ds_d2cE ds_d2cD ->
- ds_d2cD;}
-ds_d1RZ ::
- PrelBase.(){-40,p-}
-{-# L #-}
-ds_d1RZ =
- let { ds_d2dp ::
- ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
- {-# L #-}
- ds_d2dp =
- let {
- ds_d2cZ ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2cZ =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-} } in
- let {
- ds_d2d3 ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2d3 =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-} } in
- let {
- ds_d2d7 ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2d7 =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-}
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ [GHC.Void{-3T,p-}]
- _@_ [GHC.Void{-3T,p-}]
- _@_ [GHC.Void{-3T,p-}]
- ds_d2cZ
- ds_d2d3
- ds_d2d7}
- } in
- case
- ds_d2dp
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2dQ ds_d2dP ds_d2dO ->
- let { ds_d2eg ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2eg =
- let {
- fail_d2dR ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2dR =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
- } in
- case ds_d2dO of {
- PrelBase.:{-55,p-}{i} ds_d2dZ ds_d2dY ->
- fail_d2dR;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- }
- } in
- let { ds_d2eG ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2eG =
- let {
- fail_d2eh ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2eh =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
- } in
- case ds_d2dP of {
- PrelBase.:{-55,p-}{i} ds_d2ep ds_d2eo ->
- fail_d2eh;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- }
- } in
- let { ds_d2uC ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uC =
- let {
- fail_d2eH ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2eH =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:27|PrelBase.[]"
- } in
- case ds_d2dQ of {
- PrelBase.:{-55,p-}{i} ds_d2eP ds_d2eO ->
- fail_d2eH;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- }
- } in
- PrelBase.(){-60,p-}{i}
- {};}
-ds_d1S4 ::
- PrelBase.(){-40,p-}
-{-# L #-}
-ds_d1S4 =
- let { ds_d2fM ::
- ([GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}], [GHC.Void{-3T,p-}])
- {-# L #-}
- ds_d2fM =
- let {
- ds_d2ff ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2ff =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-} } in
- let {
- ds_d2fj ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2fj =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-} } in
- let {
- ds_d2fn ::
- [GHC.Void{-3T,p-}]
- {-# L #-}
- ds_d2fn =
- PrelBase.[]{-5i,p-}{i}
- _@_ GHC.Void{-3T,p-}
- } in
- PrelTup.(,,){-63,p-}{i}
- {_@_ [GHC.Void{-3T,p-}]
- _@_ [GHC.Void{-3T,p-}]
- _@_ [GHC.Void{-3T,p-}]
- ds_d2ff
- ds_d2fj
- ds_d2fn}
- } in
- let {
- fail_d2fN ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2fN =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-}
- _string_ "ds020.hs:26|(PrelBase.[], PrelBase.[], PrelBase.[])"
- } in
- case
- ds_d2fM
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2fW ds_d2fY ds_d2fX ->
- case ds_d2fW of {
- PrelBase.:{-55,p-}{i} ds_d2g6 ds_d2g5 ->
- fail_d2fN;
- PrelBase.[]{-5i,p-}{i} ->
- case ds_d2fY of {
- PrelBase.:{-55,p-}{i} ds_d2gk ds_d2gj ->
- fail_d2fN;
- PrelBase.[]{-5i,p-}{i} ->
- case ds_d2fX of {
- PrelBase.:{-55,p-}{i} ds_d2gy ds_d2gx ->
- fail_d2fN;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- };
- };
- };}
-g{-r4r,x-} ::
- _forall_ [t{-a17G-} t{-a17I-}] => [t{-a17G-}] -> [t{-a17I-}]
-{-# L #-}
-g{-r4r,x-} =
- _/\_ t{-a17G-} t{-a17I-} -> \ ds_d2ha ::
- [t{-a17G-}]
- {-# L #-}
- ds_d2ha ->
- let { ds_d2uD ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uD =
- let { ds_d2uE ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uE =
- let { ds_d2uF ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uF =
- let { ds_d2uG ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uG =
- let {
- fail_d2hb ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2hb =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:22|PrelBase.[]"
- } in
- case ds_d2ha of {
- PrelBase.:{-55,p-}{i} ds_d2hj ds_d2hi ->
- fail_d2hb;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- }
- } in
- PrelBase.(){-60,p-}{i}
- {}
- } in
- PrelBase.(){-60,p-}{i}
- {}
- } in
- PrelBase.(){-60,p-}{i}
- {}
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a17I-}
-f{-r4s,x-} ::
- _forall_ [t{-a17W-} t{-a17Y-}] => [t{-a17W-}] -> [t{-a17Y-}]
-{-# L #-}
-f{-r4s,x-} =
- _/\_ t{-a17W-} t{-a17Y-} -> \ x_r3U ::
- [t{-a17W-}]
- {-# L #-}
- x_r3U ->
- let { x_r3U ::
- [t{-a17W-}]
- {-# L #-}
- x_r3U =
- let {
- fail_d2hN ::
- [t{-a17W-}]
- {-# L #-}
- fail_d2hN =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ [t{-a17W-}] _string_ "ds020.hs:19|(x@PrelBase.[])"
- } in
- case x_r3U of {
- PrelBase.:{-55,p-}{i} ds_d2hV ds_d2hU ->
- fail_d2hN;
- PrelBase.[]{-5i,p-}{i} ->
- x_r3U;
- }
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a17Y-}
-d{-r4t,x-} ::
- _forall_
- [t{-a18b-} t{-a18D-}]
- =>
- {PrelBase.Num{-2c,p-} t{-a18b-}}
- -> {PrelBase.Num{-2c,p-} t{-a18D-}}
- -> {PrelBase.Ord{-2d,p-} t{-a18b-}}
- -> t{-a18b-}
- -> t{-a18D-}
-{-# L #-}
-d{-r4t,x-} =
- _/\_ t{-a18b-} t{-a18D-} -> \ d.Num_a18H ::
- {PrelBase.Num{-2c,p-} t{-a18b-}}
- {-# L #-}
- d.Num_a18H d.Num_a18M ::
- {PrelBase.Num{-2c,p-} t{-a18D-}}
- {-# L #-}
- d.Num_a18M d.Ord_a18R ::
- {PrelBase.Ord{-2d,p-} t{-a18b-}}
- {-# L #-}
- d.Ord_a18R ->
- let {
- d.Eq_a18J ::
- {PrelBase.Eq{-23,p-} t{-a18b-}}
- {-# L #-}
- d.Eq_a18J =
- PrelBase.scsel_OrdPrelBaseEq{-a2jI,p-}
- _@_ t{-a18b-} d.Ord_a18R } in
- let {
- fromInt_a2jy ::
- PrelBase.Int{-3g,p-} -> t{-a18b-}
- {-# L #-}
- fromInt_a2jy =
- PrelBase.fromInt{-8R,p-}
- _@_ t{-a18b-} d.Num_a18H } in
- let { lit_a2jx ::
- t{-a18b-}
- {-# L #-}
- lit_a2jx =
- let {
- ds_d2jX ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2jX =
- PrelBase.I#{-5b,p-}{i}
- 11
- } in
- fromInt_a2jy
- ds_d2jX
- } in
- let {
- ==_a2jw ::
- t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a2jw =
- PrelBase.=={-8Y,p-}
- _@_ t{-a18b-} d.Eq_a18J } in
- let {
- fromInt_a2jv ::
- PrelBase.Int{-3g,p-} -> t{-a18D-}
- {-# L #-}
- fromInt_a2jv =
- PrelBase.fromInt{-8R,p-}
- _@_ t{-a18D-} d.Num_a18M } in
- let { lit_a2ju ::
- t{-a18D-}
- {-# L #-}
- lit_a2ju =
- let {
- ds_d2kr ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2kr =
- PrelBase.I#{-5b,p-}{i}
- 4
- } in
- fromInt_a2jv
- ds_d2kr
- } in
- let {
- fromInt_a2jt ::
- PrelBase.Int{-3g,p-} -> t{-a18b-}
- {-# L #-}
- fromInt_a2jt =
- fromInt_a2jy } in
- let { lit_a2js ::
- t{-a18b-}
- {-# L #-}
- lit_a2js =
- let {
- ds_d2kG ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2kG =
- PrelBase.I#{-5b,p-}{i}
- 12
- } in
- fromInt_a2jt
- ds_d2kG
- } in
- let {
- ==_a2jr ::
- t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a2jr =
- ==_a2jw } in
- let {
- fromInt_a2jq ::
- PrelBase.Int{-3g,p-} -> t{-a18D-}
- {-# L #-}
- fromInt_a2jq =
- fromInt_a2jv } in
- let { lit_a2jp ::
- t{-a18D-}
- {-# L #-}
- lit_a2jp =
- let {
- ds_d2kW ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2kW =
- PrelBase.I#{-5b,p-}{i}
- 3
- } in
- fromInt_a2jq
- ds_d2kW
- } in
- let {
- fromInt_a2jo ::
- PrelBase.Int{-3g,p-} -> t{-a18b-}
- {-# L #-}
- fromInt_a2jo =
- fromInt_a2jy } in
- let { lit_a2jn ::
- t{-a18b-}
- {-# L #-}
- lit_a2jn =
- let {
- ds_d2lb ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2lb =
- PrelBase.I#{-5b,p-}{i}
- 4
- } in
- fromInt_a2jo
- ds_d2lb
- } in
- let {
- >=_a2jm ::
- t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- >=_a2jm =
- PrelBase.>={-8Z,p-}
- _@_ t{-a18b-} d.Ord_a18R } in
- let {
- d.Num_a18T ::
- {PrelBase.Num{-2c,p-} t{-a18b-}}
- {-# L #-}
- d.Num_a18T =
- d.Num_a18H } in
- let {
- -_a2jl ::
- t{-a18b-} -> t{-a18b-} -> t{-a18b-}
- {-# L #-}
- -_a2jl =
- PrelBase.-{-817,p-}
- _@_ t{-a18b-} d.Num_a18T } in
- let {
- fromInt_a2jk ::
- PrelBase.Int{-3g,p-} -> t{-a18D-}
- {-# L #-}
- fromInt_a2jk =
- fromInt_a2jv } in
- let { lit_a2jj ::
- t{-a18D-}
- {-# L #-}
- lit_a2jj =
- let {
- ds_d2lH ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2lH =
- PrelBase.I#{-5b,p-}{i}
- 2
- } in
- fromInt_a2jk
- ds_d2lH
- } in
- let {
- fromInt_a2ji ::
- PrelBase.Int{-3g,p-} -> t{-a18b-}
- {-# L #-}
- fromInt_a2ji =
- fromInt_a2jy } in
- let { lit_a2jh ::
- t{-a18b-}
- {-# L #-}
- lit_a2jh =
- let {
- ds_d2lW ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2lW =
- PrelBase.I#{-5b,p-}{i}
- 43
- } in
- fromInt_a2ji
- ds_d2lW
- } in
- let {
- >=_a2jg ::
- t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- >=_a2jg =
- >=_a2jm } in
- let {
- -_a2jf ::
- t{-a18b-} -> t{-a18b-} -> t{-a18b-}
- {-# L #-}
- -_a2jf =
- -_a2jl } in
- let {
- fromInt_a2je ::
- PrelBase.Int{-3g,p-} -> t{-a18D-}
- {-# L #-}
- fromInt_a2je =
- fromInt_a2jv } in
- let { lit_a2jd ::
- t{-a18D-}
- {-# L #-}
- lit_a2jd =
- let {
- ds_d2md ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2md =
- PrelBase.I#{-5b,p-}{i}
- 1
- } in
- fromInt_a2je
- ds_d2md
- } in
- let {
- fromInt_a2jc ::
- PrelBase.Int{-3g,p-} -> t{-a18b-}
- {-# L #-}
- fromInt_a2jc =
- fromInt_a2jy } in
- let { lit_a2jb ::
- t{-a18b-}
- {-# L #-}
- lit_a2jb =
- let {
- ds_d2ms ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2ms =
- PrelBase.I#{-5b,p-}{i}
- 999
- } in
- fromInt_a2jc
- ds_d2ms
- } in
- let {
- >=_a2ja ::
- t{-a18b-} -> t{-a18b-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- >=_a2ja =
- >=_a2jm } in
- let {
- -_a2j9 ::
- t{-a18b-} -> t{-a18b-} -> t{-a18b-}
- {-# L #-}
- -_a2j9 =
- -_a2jl } in
- let {
- fromInt_a2j8 ::
- PrelBase.Int{-3g,p-} -> t{-a18D-}
- {-# L #-}
- fromInt_a2j8 =
- fromInt_a2jv } in
- let { lit_a2j7 ::
- t{-a18D-}
- {-# L #-}
- lit_a2j7 =
- let {
- ds_d2mJ ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2mJ =
- PrelBase.I#{-5b,p-}{i}
- 0
- } in
- fromInt_a2j8
- ds_d2mJ
- } in
- \ ds_d2ng ::
- t{-a18b-}
- {-# L #-}
- ds_d2ng ->
- let { fail_d2o7 ::
- t{-a18D-}
- {-# L #-}
- fail_d2o7 =
- let { ds_d2n0 ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2n0 =
- let {
- fail_d2nt ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2nt =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:13|(n+4)"
- } in
- case
- (\ ds_d2nn ::
- t{-a18b-}
- {-# L #-}
- ds_d2nn ->
- >=_a2jm
- ds_d2nn lit_a2jn)
- ds_d2ng
- of {
- PrelBase.True{-5E,p-}{i} ->
- let {
- n_r3O ::
- t{-a18b-}
- {-# L #-}
- n_r3O =
- (\ ds_d2nM ::
- t{-a18b-}
- {-# L #-}
- ds_d2nM ->
- -_a2jl
- ds_d2nM lit_a2jn)
- ds_d2ng
- } in
- PrelBase.(){-60,p-}{i}
- {};
- PrelBase.False{-58,p-}{i} ->
- fail_d2nt;
- }
- } in
- lit_a2jj
- } in
- let {
- fail_d2or ::
- t{-a18D-}
- {-# L #-}
- fail_d2or =
- case
- ==_a2jr
- lit_a2js ds_d2ng
- of {
- PrelBase.True{-5E,p-}{i} ->
- lit_a2jp;
- PrelBase.False{-58,p-}{i} ->
- fail_d2o7;
- }
- } in
- case
- ==_a2jw
- lit_a2jx ds_d2ng
- of {
- PrelBase.True{-5E,p-}{i} ->
- lit_a2ju;
- PrelBase.False{-58,p-}{i} ->
- fail_d2or;
- }
-c{-r4u,x-} ::
- _forall_
- [t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-}]
- =>
- {PrelNum.Fractional{-26,p-} t{-a19d-}}
- -> {PrelBase.Num{-2c,p-} t{-a199-}}
- -> t{-a19h-}
- -> t{-a19j-}
- -> t{-a199-}
- -> t{-a19d-}
- -> t{-a19h-}
-{-# L #-}
-c{-r4u,x-} =
- _/\_ t{-a19h-} t{-a19j-} t{-a199-} t{-a19d-} -> \ d.Fractional_a19r ::
- {PrelNum.Fractional{-26,p-} t{-a19d-}}
- {-# L #-}
- d.Fractional_a19r d.Num_a19m ::
- {PrelBase.Num{-2c,p-} t{-a199-}}
- {-# L #-}
- d.Num_a19m ->
- let {
- d.Eq_a19o ::
- {PrelBase.Eq{-23,p-} t{-a199-}}
- {-# L #-}
- d.Eq_a19o =
- PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
- _@_ t{-a199-} d.Num_a19m } in
- let {
- d.Num_a1b5 ::
- {PrelBase.Num{-2c,p-} t{-a19d-}}
- {-# L #-}
- d.Num_a1b5 =
- PrelNum.scsel_FractionalPrelBaseNum{-a2pr,p-}
- _@_ t{-a19d-} d.Fractional_a19r } in
- let {
- d.Eq_a19t ::
- {PrelBase.Eq{-23,p-} t{-a19d-}}
- {-# L #-}
- d.Eq_a19t =
- PrelBase.scsel_NumPrelBaseEq{-a2pi,p-}
- _@_ t{-a19d-} d.Num_a1b5 } in
- let {
- fromInt_a2p8 ::
- PrelBase.Int{-3g,p-} -> t{-a199-}
- {-# L #-}
- fromInt_a2p8 =
- PrelBase.fromInt{-8R,p-}
- _@_ t{-a199-} d.Num_a19m } in
- let { lit_a2p7 ::
- t{-a199-}
- {-# L #-}
- lit_a2p7 =
- let {
- ds_d2pO ::
- PrelBase.Int{-3g,p-}
- {-# L #-}
- ds_d2pO =
- PrelBase.I#{-5b,p-}{i}
- 11111
- } in
- fromInt_a2p8
- ds_d2pO
- } in
- let {
- ==_a2p6 ::
- t{-a199-} -> t{-a199-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a2p6 =
- PrelBase.=={-8Y,p-}
- _@_ t{-a199-} d.Eq_a19o } in
- let {
- fromRational_a2p5 ::
- PrelNum.Rational{-3r,p-} -> t{-a19d-}
- {-# L #-}
- fromRational_a2p5 =
- PrelNum.fromRational{-8T,p-}
- _@_ t{-a19d-} d.Fractional_a19r } in
- let {
- lit_a2p4 ::
- t{-a19d-}
- {-# L #-}
- lit_a2p4 =
- fromRational_a2p5
- _rational_ 62831853 20000000 } in
- let {
- ==_a2p3 ::
- t{-a19d-} -> t{-a19d-} -> PrelBase.Bool{-34,p-}
- {-# L #-}
- ==_a2p3 =
- PrelBase.=={-8Y,p-}
- _@_ t{-a19d-} d.Eq_a19t
- } in
- \ x_r3H ::
- t{-a19h-}
- {-# L #-}
- x_r3H ds_d2qY ::
- t{-a19j-}
- {-# L #-}
- ds_d2qY ds_d2qZ ::
- t{-a199-}
- {-# L #-}
- ds_d2qZ ds_d2qV ::
- t{-a19d-}
- {-# L #-}
- ds_d2qV ->
- let { ds_d2rv ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2rv =
- let {
- fail_d2r0 ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2r0 =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|3.1415926500000002"
- } in
- case
- ==_a2p3
- lit_a2p4 ds_d2qV
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- PrelBase.False{-58,p-}{i} ->
- fail_d2r0;
- }
- } in
- let { ds_d2rI ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2rI =
- let {
- fail_d2rw ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2rw =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-} _string_ "ds020.hs:11|11111"
- } in
- case
- ==_a2p6
- lit_a2p7 ds_d2qZ
- of {
- PrelBase.True{-5E,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- PrelBase.False{-58,p-}{i} ->
- fail_d2rw;
- }
- } in
- let {
- ds_d2qC ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2qC =
- PrelBase.(){-60,p-}{i}
- {}
- } in
- x_r3H
-b{-r4v,x-} ::
- _forall_ [t{-a19Q-} t{-a19X-}] => [t{-a19Q-}] -> [t{-a19X-}]
-{-# L #-}
-b{-r4v,x-} =
- _/\_ t{-a19Q-} t{-a19X-} -> \ ds_d2sd ::
- [t{-a19Q-}]
- {-# L #-}
- ds_d2sd ->
- let { ds_d2sU ::
- (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
- {-# L #-}
- ds_d2sU =
- let {
- fail_d2se ::
- (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
- {-# L #-}
- fail_d2se =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ (t{-a19Q-}, t{-a19Q-}, [t{-a19Q-}])
- _string_ "ds020.hs:8|(x PrelBase.: (xs PrelBase.: ys))"
- } in
- case ds_d2sd of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d2se;
- PrelBase.:{-55,p-}{i} x_r3z ds_d2sr ->
- case ds_d2sr of {
- PrelBase.[]{-5i,p-}{i} ->
- fail_d2se;
- PrelBase.:{-55,p-}{i} xs_r3A ys_r3B ->
- PrelTup.(,,){-63,p-}{i}
- {_@_ t{-a19Q-} _@_ t{-a19Q-} _@_ [t{-a19Q-}] x_r3z xs_r3A ys_r3B};
- };
- }
- } in
- let {
- x_r3z ::
- t{-a19Q-}
- {-# L #-}
- x_r3z =
- case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B ->
- x_r3z;} } in
- let {
- xs_r3A ::
- t{-a19Q-}
- {-# L #-}
- xs_r3A =
- case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B ->
- xs_r3A;} } in
- let {
- ys_r3B ::
- [t{-a19Q-}]
- {-# L #-}
- ys_r3B =
- case ds_d2sU of { PrelTup.(,,){-63,p-}{i} x_r3z xs_r3A ys_r3B ->
- ys_r3B;}
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a19X-}
-a{-r4w,x-} ::
- _forall_
- [t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-}]
- =>
- ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}]) -> [t{-a1at-}]
-{-# L #-}
-a{-r4w,x-} =
- _/\_ t{-a1al-} t{-a1ao-} t{-a1ar-} t{-a1at-} -> \ ds_d2tK ::
- ([t{-a1al-}], [t{-a1ao-}], [t{-a1ar-}])
- {-# L #-}
- ds_d2tK ->
- let { ds_d2uH ::
- PrelBase.(){-40,p-}
- {-# L #-}
- ds_d2uH =
- let {
- fail_d2tL ::
- PrelBase.(){-40,p-}
- {-# L #-}
- fail_d2tL =
- GHCerr.irrefutPatError{-8g,p-}
- _@_ PrelBase.(){-40,p-}
- _string_ "ds020.hs:5|(PrelBase.[], PrelBase.[], PrelBase.[])"
- } in
- case
- ds_d2tK
- of {
- PrelTup.(,,){-63,p-}{i} ds_d2tU ds_d2tW ds_d2tV ->
- case ds_d2tU of {
- PrelBase.:{-55,p-}{i} ds_d2u4 ds_d2u3 ->
- fail_d2tL;
- PrelBase.[]{-5i,p-}{i} ->
- case ds_d2tW of {
- PrelBase.:{-55,p-}{i} ds_d2ui ds_d2uh ->
- fail_d2tL;
- PrelBase.[]{-5i,p-}{i} ->
- case ds_d2tV of {
- PrelBase.:{-55,p-}{i} ds_d2uw ds_d2uv ->
- fail_d2tL;
- PrelBase.[]{-5i,p-}{i} ->
- PrelBase.(){-60,p-}{i}
- {};
- };
- };
- };}
- } in
- PrelBase.[]{-5i,p-}{i}
- _@_ t{-a1at-}
-end Rec }