-==================== Typechecked ====================
-AbsBinds [taWg] [] [([taWg], init_last{-r3m,x-}, init_last_aWd)]
- init_last_aWd a_r3E b_r3F = (a_r3E, a_r3E)
-AbsBinds [taWp] [d.Ord_aWt] [([taWp], merge{-r3l,x-}, merge_aWm)]
- merge_aWm xs_r3B ys_r3C = xs_r3B
-AbsBinds [taWA] [d.Ord_aXy] [([taWA], sort{-r3k,x-}, sort_aWx)]
- d.Ord_aXw = d.Ord_aXy
- sort_aWx xs_r3o
- = s_aXL xs_r3o PrelList.length{-rhD,p-} taWA xs_r3o
- where
- {- nonrec -}
- AbsBinds [taWH] [d.Ord_aXh] [([taWH], s_r3q, s_aWE)]
- d.Ord_aXl = d.Ord_aXh
- merge_aXO = merge{-r3l,x-} taWH d.Ord_aXl
- d.Ord_aXn = d.Ord_aXh
- sort_aXN = sort{-r3k,x-} taWH d.Ord_aXn
- sort_aXM = sort_aXN
- s_aWE xs_r3u k_r3v
- = if k_r3v <=_aXK lit_aXJ then
- xs_r3u
- else
- merge_aXO sort_aXN ys_r3x sort_aXM zs_r3y
- where
- {- nonrec -}
- AbsBinds [] [] [([], ys_r3x, ys_aWK), ([], zs_r3y, zs_aWL)]
- (ys_aWK, zs_aWL)
- = init_last{-r3m,x-} taWH xs_r3u
- k_r3v
- div_aXI (PrelBase.I#{-5b,w-}{i} 2#)
- {- nonrec -}
- {- nonrec -}
- {- nonrec -}
- s_aXL = s_r3q taWA d.Ord_aXw
- {- nonrec -}
-d.Ord_aXE = PrelBase.$d7{-rrR,p-}
-<=_aXK = PrelBase.<={-rqO,p-} PrelBase.Int{-3g,W-} d.Ord_aXE
-lit_aXJ = PrelBase.I#{-5b,w-}{i} 1#
-d.Integral_aXH = PrelNum.$d36{-rFA,p-}
-div_aXI = PrelNum.div{-ry2,p-} PrelBase.Int{-3g,W-} d.Integral_aXH
-
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_