Skip to content

Instantly share code, notes, and snippets.

@bgamari

bgamari/T10491.hs

Created June 22, 2015 12:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bgamari/c6e360478b0e98df62e3 to your computer and use it in GitHub Desktop.
Save bgamari/c6e360478b0e98df62e3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
T10491.hs
-- {terms: 2,789, types: 2,743, coercions: 78}
$s$fShape:._$cbound_sbQv
:: forall a_aaK6.
((Z :. Int) :. Int) :. Int
-> ((Z :. Int) :. Int) :. Int
-> Data.Array.Accelerate.Type.Boundary a_aaK6
-> Either a_aaK6 (((Z :. Int) :. Int) :. Int)
$s$fShape:._$cbound_sbQv =
\ (@ a142_abqH)
(w4_abqI :: ((Z :. Int) :. Int) :. Int)
(w5_abqJ :: ((Z :. Int) :. Int) :. Int)
(w6_abqK :: Data.Array.Accelerate.Type.Boundary a142_abqH) ->
case w4_abqI of _ { :. t1_abpt h1_abpu ->
case w5_abqJ of _ { :. t1_XchJ h1_XchL ->
case h1_XchL of _ { GHC.Types.I# ww7_abdr ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_abdr 0) of _ {
False ->
case h1_abpu of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_abdr y_abgL)
of _ {
False ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd12 ->
case h1_Xd12 of _ { GHC.Types.I# ww7_XbWS ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWS 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_XbZn ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWS y_XbZn)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0E ->
case h1_Xd0E of _ { GHC.Types.I# ww7_XbWp ->
let {
$j_snjSX
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_snjSX =
\ (ds_abgW :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abgW `cast` ...))
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWp 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZK ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWp y_XbZK)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjT5 :: Int
a_snjT5 = GHC.Types.I# ww7_XbWp } in
let {
ds_Xc07 :: ((), Int)
ds_Xc07 = (GHC.Tuple.(), a_snjT5) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjT5)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjTc :: GHC.Prim.Int#
a_snjTc = GHC.Prim.-# y_XbZK 1 } in
let {
a_snjTb :: Int
a_snjTb = GHC.Types.I# a_snjTc } in
let {
ds_abgW :: ((), Int)
ds_abgW = (GHC.Tuple.(), a_snjTb) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTb)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjTi :: GHC.Prim.Int#
a_snjTi =
GHC.Prim.-#
y_XbZK (GHC.Prim.+# (GHC.Prim.-# ww7_XbWp y_XbZK) 2) } in
let {
a_snjTh :: Int
a_snjTh = GHC.Types.I# a_snjTi } in
let {
ds_abgW :: ((), Int)
ds_abgW = (GHC.Tuple.(), a_snjTh) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTh)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjTo :: GHC.Prim.Int#
a_snjTo = GHC.Prim.-# ww7_XbWp y_XbZK } in
let {
a_snjTn :: Int
a_snjTn = GHC.Types.I# a_snjTo } in
let {
ds_abgW :: ((), Int)
ds_abgW = (GHC.Tuple.(), a_snjTn) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTn)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Constant e1_abht ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abht
}
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
ds_abgW :: ((), Int)
ds_abgW =
(GHC.Tuple.(),
Data.Array.Accelerate.Array.Representation.$fShape()4) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjTz :: GHC.Prim.Int#
a_snjTz = GHC.Prim.negateInt# ww7_XbWp } in
let {
a_snjTy :: Int
a_snjTy = GHC.Types.I# a_snjTz } in
let {
ds_abgW :: ((), Int)
ds_abgW = (GHC.Tuple.(), a_snjTy) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTy)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
let {
a_snjTF :: Int
a_snjTF =
case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWp)
} } in
let {
ds_abgW :: ((), Int)
ds_abgW = (GHC.Tuple.(), a_snjTF) } in
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTF)
(GHC.Types.I# ww7_XbWS))
(GHC.Types.I# ww7_abdr))
}
};
Data.Array.Accelerate.Type.Constant e1_abi4 ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abi4
}
}
}
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0H ->
case h1_Xd0H of _ { GHC.Types.I# ww7_XbWs ->
let {
$j_siQrA
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_siQrA =
\ (ds_abh8 :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abh8 `cast` ...))
(GHC.Types.I# (GHC.Prim.-# y_XbZn 1)))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWs 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZZ ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWs y_XbZZ)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjTP :: Int
a_snjTP = GHC.Types.I# ww7_XbWs } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTP)
(GHC.Types.I# (GHC.Prim.-# y_XbZn 1)))
(GHC.Types.I# ww7_abdr))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjTT :: GHC.Prim.Int#
a_snjTT = GHC.Prim.-# y_XbZZ 1 } in
let {
a_snjTS :: Int
a_snjTS = GHC.Types.I# a_snjTT } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjTS)
(GHC.Types.I# (GHC.Prim.-# y_XbZn 1)))
(GHC.Types.I# ww7_abdr))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_XbZn 1)))
(GHC.Types.I# ww7_abdr))
}
}
}
}
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0H ->
case h1_Xd0H of _ { GHC.Types.I# ww7_XbWs ->
let {
$j_siQs0
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_siQs0 =
\ (ds_abhh :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abhh `cast` ...))
(GHC.Types.I#
(GHC.Prim.-#
y_XbZn (GHC.Prim.+# (GHC.Prim.-# ww7_XbWS y_XbZn) 2))))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWs 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZZ ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWs y_XbZZ)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjU4 :: Int
a_snjU4 = GHC.Types.I# ww7_XbWs } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjU4)
(GHC.Types.I#
(GHC.Prim.-#
y_XbZn
(GHC.Prim.+# (GHC.Prim.-# ww7_XbWS y_XbZn) 2))))
(GHC.Types.I# ww7_abdr))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjU8 :: GHC.Prim.Int#
a_snjU8 =
GHC.Prim.-#
y_XbZZ
(GHC.Prim.+# (GHC.Prim.-# ww7_XbWs y_XbZZ) 2) } in
let {
a_snjU7 :: Int
a_snjU7 = GHC.Types.I# a_snjU8 } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjU7)
(GHC.Types.I#
(GHC.Prim.-#
y_XbZn
(GHC.Prim.+# (GHC.Prim.-# ww7_XbWS y_XbZn) 2))))
(GHC.Types.I# ww7_abdr))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUc :: GHC.Prim.Int#
a_snjUc = GHC.Prim.negateInt# ww7_XbWs } in
let {
a_snjUb :: Int
a_snjUb = GHC.Types.I# a_snjUc } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUb)
(GHC.Types.I#
(GHC.Prim.-#
y_XbZn (GHC.Prim.+# (GHC.Prim.-# ww7_XbWS y_XbZn) 2))))
(GHC.Types.I# ww7_abdr))
}
}
}
}
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0H ->
case h1_Xd0H of _ { GHC.Types.I# ww7_XbWs ->
let {
$j_siQss
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_siQss =
\ (ds_abhq :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abhq `cast` ...))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWS y_XbZn)))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWs 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZZ ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWs y_XbZZ)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUl :: Int
a_snjUl = GHC.Types.I# ww7_XbWs } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUl)
(GHC.Types.I# (GHC.Prim.-# ww7_XbWS y_XbZn)))
(GHC.Types.I# ww7_abdr))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUp :: GHC.Prim.Int#
a_snjUp = GHC.Prim.-# ww7_XbWs y_XbZZ } in
let {
a_snjUo :: Int
a_snjUo = GHC.Types.I# a_snjUp } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUo)
(GHC.Types.I# (GHC.Prim.-# ww7_XbWS y_XbZn)))
(GHC.Types.I# ww7_abdr))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUt :: Int
a_snjUt =
case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWs)
} } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUt)
(GHC.Types.I# (GHC.Prim.-# ww7_XbWS y_XbZn)))
(GHC.Types.I# ww7_abdr))
}
}
}
}
}
};
Data.Array.Accelerate.Type.Constant e1_abht ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abht
}
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0B ->
case h1_Xd0B of _ { GHC.Types.I# ww7_XbWm ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWm 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZT ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWm y_XbZT)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbWm))
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_abdr))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_XbZT 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_abdr))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_abdr))
}
}
}
}
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0B ->
case h1_Xd0B of _ { GHC.Types.I# ww7_XbWm ->
let {
$j_siQtj
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_siQtj =
\ (ds_abhO :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abhO `cast` ...))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWS)))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWm 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZT ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWm y_XbZT)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUP :: Int
a_snjUP = GHC.Types.I# ww7_XbWm } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUP)
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWS)))
(GHC.Types.I# ww7_abdr))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUT :: GHC.Prim.Int#
a_snjUT =
GHC.Prim.-#
y_XbZT (GHC.Prim.+# (GHC.Prim.-# ww7_XbWm y_XbZT) 2) } in
let {
a_snjUS :: Int
a_snjUS = GHC.Types.I# a_snjUT } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUS)
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWS)))
(GHC.Types.I# ww7_abdr))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(let {
a_snjUX :: GHC.Prim.Int#
a_snjUX = GHC.Prim.negateInt# ww7_XbWm } in
let {
a_snjUW :: Int
a_snjUW = GHC.Types.I# a_snjUX } in
Data.Array.Accelerate.Array.Sugar.:.
@ Z @ Int Data.Array.Accelerate.Array.Sugar.Z a_snjUW)
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWS)))
(GHC.Types.I# ww7_abdr))
}
}
}
}
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd0B ->
case h1_Xd0B of _ { GHC.Types.I# ww7_XbWm ->
let {
$j_siQtL
:: ((), Int) -> Either a142_abqH (((Z :. Int) :. Int) :. Int)
$j_siQtL =
\ (ds_abhX :: ((), Int)) ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
($s$fElt:._$ctoElt_sbHX (ds_abhX `cast` ...))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWS)
}))
(GHC.Types.I# ww7_abdr)) } in
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWm 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_XbZT ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWm y_XbZT)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
$j_siQtL (GHC.Tuple.(), GHC.Types.I# ww7_XbWm)
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
$j_siQtL (GHC.Tuple.(), GHC.Types.I# (GHC.Prim.-# ww7_XbWm y_XbZT))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
$j_siQtL
(GHC.Tuple.(),
case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWm)
})
}
}
}
}
}
};
Data.Array.Accelerate.Type.Constant e1_abi4 ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abi4
}
}
}
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd15 ->
case h1_Xd15 of _ { GHC.Types.I# ww7_XbWV ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWV 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_Xc0s ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWV y_Xc0s)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_Xc11 1)))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I# (GHC.Prim.-# y_Xc0s 1)))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_Xc11 1)))
(GHC.Types.I# (GHC.Prim.-# y_Xc0s 1)))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_Xc0s 1)))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_Xc0V 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd15 ->
case h1_Xd15 of _ { GHC.Types.I# ww7_XbWV ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWV 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_Xc0s ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWV y_Xc0s)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_Xc11
(GHC.Prim.+# (GHC.Prim.-# ww7_XbXu y_Xc11) 2))))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXu)))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0s
(GHC.Prim.+# (GHC.Prim.-# ww7_XbWV y_Xc0s) 2))))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_Xc11
(GHC.Prim.+# (GHC.Prim.-# ww7_XbXu y_Xc11) 2))))
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0s
(GHC.Prim.+# (GHC.Prim.-# ww7_XbWV y_Xc0s) 2))))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXu)))
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0s (GHC.Prim.+# (GHC.Prim.-# ww7_XbWV y_Xc0s) 2))))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWV)))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0V (GHC.Prim.+# (GHC.Prim.-# ww7_XbXo y_Xc0V) 2))))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWV)))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXo)))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWV)))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_abdr y_abgL) 2))))
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd15 ->
case h1_Xd15 of _ { GHC.Types.I# ww7_XbWV ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWV 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_Xc0s ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWV y_Xc0s)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXu y_Xc11)))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXu)
}))
(GHC.Types.I# ww7_XbWV))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1J ->
case h1_Xd1J of _ { GHC.Types.I# ww7_XbXu ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXu 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc11 ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXu y_Xc11)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXu))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWV y_Xc0s)))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXu y_Xc11)))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWV y_Xc0s)))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXu)
}))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWV y_Xc0s)))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWV)
}))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXo y_Xc0V)))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWV)
}))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXo)
}))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWV)
}))
(GHC.Types.I# (GHC.Prim.-# ww7_abdr y_abgL)))
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Constant e1_abht ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abht
}
}
};
True ->
case w6_abqK of _ {
Data.Array.Accelerate.Type.Clamp ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd0Z ->
case h1_Xd0Z of _ { GHC.Types.I# ww7_XbWP ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWP 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWP y_abgL)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# ww7_XbWP))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_Xc0V 1)))
(GHC.Types.I# ww7_XbWP))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# ww7_XbWP))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_Xc0V 1)))
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1x ->
case h1_Xd1x of _ { GHC.Types.I# ww7_XbXi ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXi 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXi y_abgL)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXi))
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# y_abgL 1)))
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
Data.Array.Accelerate.Array.Representation.$fShape()4)
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Mirror ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd0Z ->
case h1_Xd0Z of _ { GHC.Types.I# ww7_XbWP ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWP 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWP y_abgL)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# ww7_XbWP))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0V (GHC.Prim.+# (GHC.Prim.-# ww7_XbXo y_Xc0V) 2))))
(GHC.Types.I# ww7_XbWP))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXo)))
(GHC.Types.I# ww7_XbWP))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_XbWP y_abgL) 2))))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_Xc0V (GHC.Prim.+# (GHC.Prim.-# ww7_XbXo y_Xc0V) 2))))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_XbWP y_abgL) 2))))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXo)))
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_XbWP y_abgL) 2))))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1x ->
case h1_Xd1x of _ { GHC.Types.I# ww7_XbXi ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXi 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXi y_abgL)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXi))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWP)))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I#
(GHC.Prim.-#
y_abgL (GHC.Prim.+# (GHC.Prim.-# ww7_XbXi y_abgL) 2))))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWP)))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbXi)))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_XbWP)))
(GHC.Types.I# (GHC.Prim.negateInt# ww7_abdr)))
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Wrap ->
case t1_abpt of _ { :. t1_Xd0F h1_XchI ->
case t1_XchJ of _ { :. t1_Xda1 h1_Xd0Z ->
case h1_Xd0Z of _ { GHC.Types.I# ww7_XbWP ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbWP 0) of _ {
False ->
case h1_XchI of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbWP y_abgL)
of _ {
False ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# ww7_XbWP))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXo y_Xc0V)))
(GHC.Types.I# ww7_XbWP))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXo)
}))
(GHC.Types.I# ww7_XbWP))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1D ->
case h1_Xd1D of _ { GHC.Types.I# ww7_XbXo ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXo 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_Xc0V ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXo y_Xc0V)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXo))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWP y_abgL)))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXo y_Xc0V)))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWP y_abgL)))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXo)
}))
(GHC.Types.I# (GHC.Prim.-# ww7_XbWP y_abgL)))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
}
}
}
}
};
True ->
case t1_Xd0F of _ { :. t1_Xd0P h1_XchN ->
case t1_Xda1 of _ { :. t1_Xdab h1_Xd1x ->
case h1_Xd1x of _ { GHC.Types.I# ww7_XbXi ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# ww7_XbXi 0) of _ {
False ->
case h1_XchN of _ { GHC.Types.I# y_abgL ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww7_XbXi y_abgL)
of _ {
False ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# ww7_XbXi))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWP)
}))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(GHC.Types.I# (GHC.Prim.-# ww7_XbXi y_abgL)))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWP)
}))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
};
True ->
case t1_Xd0P of _ { Z ->
case t1_Xdab of _ { Z ->
Data.Either.Right
@ a142_abqH
@ (((Z :. Int) :. Int) :. Int)
(Data.Array.Accelerate.Array.Sugar.:.
@ ((Z :. Int) :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ (Z :. Int)
@ Int
(Data.Array.Accelerate.Array.Sugar.:.
@ Z
@ Int
Data.Array.Accelerate.Array.Sugar.Z
(case h1_XchN of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbXi)
}))
(case h1_XchI of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_XbWP)
}))
(case h1_abpu of _ { GHC.Types.I# x_abi1 ->
GHC.Types.I# (GHC.Prim.+# x_abi1 ww7_abdr)
}))
}
}
}
}
}
}
}
}
}
};
Data.Array.Accelerate.Type.Constant e1_abi4 ->
Data.Either.Left @ a142_abqH @ (((Z :. Int) :. Int) :. Int) e1_abi4
}
}
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment