-
-
-================================================================================
-Typechecked:
-E1{-r3D,x-}{i} = _/\_ a_tr3t -> E1{-r3D,x-}{i} {_@_ a_tr3t}
-C1{-r6,x-}{i} =
- _/\_ a_tr3v b_tr3w -> \ tpl_B1 ->
- C1{-r6,x-}{i} {_@_ a_tr3v _@_ b_tr3w tpl_B1}
-C2{-r5,x-}{i} =
- _/\_ a_tr3v b_tr3w -> \ tpl_B1 ->
- C2{-r5,x-}{i} {_@_ a_tr3v _@_ b_tr3w tpl_B1}
-AbsBinds [ta13t] [] [([ta13t], $d3{-r13E,x-}, d.Eval_aYx)]
- d.Eval_aYx = ({-dict-} [] [])
-AbsBinds
-[ta13u, ta13v]
-[]
-[([ta13u, ta13v], $d4{-r13F,x-}, d.Eval_aYE)]
- d.Eval_aYE = ({-dict-} [] [])
-AbsBinds
-[taYZ, taZ0]
-[d.Eq_a10G]
-[([taYZ, taZ0], $d5{-r13G,x-}, d.Read_aYL)]
- d.Eq_a10S = d.Eq_a10G
- d.Read_a10Q = $d1{-r13I,x-} taYZ d.Eq_a10S
- readsPrec_a13T =
- PrelRead.readsPrec{-r6M,p-} (T{-r3B,x-} taYZ) d.Read_a10Q
- d.Eq_a114 = d.Eq_a10G
- d.Eq_a112 = PrelBase.$d28{-re2,p-} taYZ d.Eq_a114
- d.Read_a110 = $d5{-r13G,x-} [[taYZ], [taZ0]] d.Eq_a112
- readsPrec_a13U =
- PrelRead.readsPrec{-r6M,p-} (Z{-r3C,x-} [taYZ] [taZ0]) d.Read_a110
- readsPrec_a13V = readsPrec_a13W
- AbsBinds [] [] [([], readsPrec_a13W, readsPrec_aYP)]
- >_a13Y = >_a13L
- lit_a13Z = lit_a13M
- ==_a140 = ==_a13N
- >>=_a141 = >>=_a13O
- return_a142 = return_a13P
- zero_a143 = zero_a13Q
- readsPrec_aYP a_rWJ b_rWK
- = ++_a13K (Z{-r3C,x-} taYZ taZ0, PrelBase.String{-r79,p-})
- (PrelRead.readParen{-r72,p-} (Z{-r3C,x-} taYZ taZ0) a_rWJ
- >_a13L lit_a13M
- \ c_rWM
- -> [(C1{-r6,x-}{i}
- [taYZ, taZ0] a1_rWQ,
- b1_rWR) |
- ("C1", d_rWO) <- PrelRead.lex{-r6P,p-} c_rWM, (a1_rWQ, b1_rWR) <- readsPrec_a13T PrelBase.I#{-5b,w-}{i} 10#
- d_rWO]
- b_rWK)
- (PrelRead.readParen{-r72,p-} (Z{-r3C,x-} taYZ taZ0) a_rWJ
- >_a13Y lit_a13Z
- \ c_rWT
- -> [(C2{-r5,x-}{i}
- [taYZ, taZ0] a1_rWX,
- b1_rWY) |
- ("C2", d_rWV) <- PrelRead.lex{-r6P,p-} c_rWT, (a1_rWX, b1_rWY) <- readsPrec_a13U PrelBase.I#{-5b,w-}{i} 10#
- d_rWV]
- b_rWK)
- AbsBinds [] [] [([], readList_a13X, readList_a10B)]
- readList_a10B = PrelRead.readList__{-r3A,p-}
- (Z{-r3C,x-} taYZ taZ0) readsPrec_a13V PrelBase.I#{-5b,w-}{i} 0#
- d.Read_aYL = ({-dict-} [] [readsPrec_a13W, readList_a13X])
-AbsBinds
-[ta11m, ta11p]
-[d.Eq_a120]
-[([ta11m, ta11p], $d6{-r13H,x-}, d.Show_a11c)]
- d.Eq_a128 = d.Eq_a120
- d.Show_a126 = $d2{-r13J,x-} ta11m d.Eq_a128
- showsPrec_a144 =
- PrelBase.showsPrec{-rjf,p-} (T{-r3B,x-} ta11m) d.Show_a126
- d.Eq_a12e = d.Eq_a120
- d.Eq_a12c = PrelBase.$d28{-re2,p-} ta11m d.Eq_a12e
- d.Show_a12a = $d6{-r13H,x-} [[ta11m], [ta11p]] d.Eq_a12c
- showsPrec_a145 =
- PrelBase.showsPrec{-rjf,p-} (Z{-r3C,x-} [ta11m] [ta11p])
- d.Show_a12a
- showsPrec_a146 = showsPrec_a147
- AbsBinds [] [] [([], showsPrec_a147, showsPrec_a11g)]
- >=_a149 = >=_a13R
- lit_a14a = lit_a13S
- showsPrec_a11g a_rX6 (C1{-r6,x-}{i} b1_rX7)
- = PrelBase.showParen{-rk3,p-} a_rX6 >=_a13R lit_a13S
- PrelBase..{-riV,p-}
- [PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}] PrelBase.showString{-rk6,p-} "C1 "
- showsPrec_a144 PrelBase.I#{-5b,w-}{i} 10#
- b1_rX7
- showsPrec_a11g a_rX9 (C2{-r5,x-}{i} b1_rXa)
- = PrelBase.showParen{-rk3,p-} a_rX9 >=_a149 lit_a14a
- PrelBase..{-riV,p-}
- [PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}] PrelBase.showString{-rk6,p-} "C2 "
- showsPrec_a145 PrelBase.I#{-5b,w-}{i} 10#
- b1_rXa
- AbsBinds [] [] [([], showList_a148, showList_a11V)]
- showList_a11V = PrelBase.showList__{-rk1,p-}
- (Z{-r3C,x-} ta11m ta11p) showsPrec_a146 PrelBase.I#{-5b,w-}{i} 0#
- d.Show_a11c = ({-dict-} [] [showsPrec_a147, showList_a148])
-AbsBinds
-[ta12s]
-[d.Eq_a12B]
-[([ta12s], $d1{-r13I,x-}, d.Read_a12l)]
- d.Read_a12F = d.Read_a12l
- $mreadList_a14b =
- PrelRead.$mreadList{-r6K,p-} (T{-r3B,x-} ta12s) d.Read_a12F
- AbsBinds [] [] [([], readsPrec_a14c, readsPrec_a12p)]
- readsPrec_a12p
- = IOBase.error{-87,w-}
- (PrelBase.Int{-3g,W-}
- -> PrelBase.String{-r79,p-}
- -> [(T{-r3B,x-} ta12s, PrelBase.String{-r79,p-})]) "read"
- AbsBinds [] [] [([], readList_a14d, readList_a12y)]
- readList_a12y = $mreadList_a14b
- d.Read_a12l = ({-dict-} [] [readsPrec_a14c, readList_a14d])
-AbsBinds
-[ta12T]
-[d.Eq_a132]
-[([ta12T], $d2{-r13J,x-}, d.Show_a12M)]
- d.Show_a136 = d.Show_a12M
- $mshowList_a14e =
- PrelBase.$mshowList{-riS,p-} (T{-r3B,x-} ta12T) d.Show_a136
- AbsBinds [] [] [([], showsPrec_a14f, showsPrec_a12Q)]
- showsPrec_a12Q
- = IOBase.error{-87,w-}
- (PrelBase.Int{-3g,W-}
- -> T{-r3B,x-} ta12T
- -> PrelBase.String{-r79,p-}
- -> PrelBase.String{-r79,p-}) "show"
- AbsBinds [] [] [([], showList_a14g, showList_a12Z)]
- showList_a12Z = $mshowList_a14e
- d.Show_a12M = ({-dict-} [] [showsPrec_a14f, showList_a14g])
-d.MonadPlus_a139 = PrelBase.$d23{-rdX,p-}
-++_a13K = PrelBase.++{-rj3,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a139
-d.Ord_a13c = PrelBase.$d7{-reB,p-}
->_a13L = PrelBase.>{-rjc,p-} PrelBase.Int{-3g,W-} d.Ord_a13c
-lit_a13M = PrelBase.I#{-5b,w-}{i} 9#
-d.Eq_a13h = PrelBase.$d34{-re9,p-}
-d.Eq_a13f = PrelBase.$d28{-re2,p-} PrelBase.Char{-38,W-} d.Eq_a13h
-==_a13N = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a13f
-d.Monad_a13k = PrelBase.$d25{-rdZ,p-}
->>=_a13O = PrelBase.>>={-811,p-} PrelBase.[]{-3j,W-} d.Monad_a13k
-d.Monad_a13n = d.Monad_a13k
-return_a13P =
- PrelBase.return{-816,p-} PrelBase.[]{-3j,W-} d.Monad_a13n
-d.MonadZero_a13p = PrelBase.$d24{-rdY,p-}
-zero_a13Q =
- PrelBase.zero{-810,p-} PrelBase.[]{-3j,W-} d.MonadZero_a13p
-d.Ord_a13s = d.Ord_a13c
->=_a13R = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a13s
-lit_a13S = PrelBase.I#{-5b,w-}{i} 10#
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
projects / ghc-hetmet.git / blobdiff