-
-
-================================================================================
-Typechecked:
-E1{-r3N,x-}{i} = _/\_ a_tr3A -> E1{-r3N,x-}{i} {_@_ a_tr3A}
-D1{-rd,x-}{i} = _/\_ b_tr3C -> D1{-rd,x-}{i} {_@_ b_tr3C}
-D2{-rc,x-}{i} =
- _/\_ b_tr3C -> \ tpl_B1 -> D2{-rc,x-}{i} {_@_ b_tr3C tpl_B1}
-C1{-r9,x-}{i} =
- _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
- C1{-r9,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
-C2{-r8,x-}{i} =
- _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
- C2{-r8,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
-C3{-rb,x-}{i} =
- _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
- C3{-rb,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
-AbsBinds [ta18z] [] [([ta18z], $d3{-r18X,x-}, d.Eval_aZt)]
- d.Eval_aZt = ({-dict-} [] [])
-AbsBinds [ta18A] [] [([ta18A], $d4{-r18Y,x-}, d.Eval_aZz)]
- d.Eval_aZz = ({-dict-} [] [])
-AbsBinds
-[ta18B, ta18C]
-[]
-[([ta18B, ta18C], $d5{-r18Z,x-}, d.Eval_aZG)]
- d.Eval_aZG = ({-dict-} [] [])
-AbsBinds [ta100] [d.Eq_a11o] [([ta100], $d6{-r190,x-}, d.Read_aZM)]
- d.Eq_a11G = PrelBase.$d8{-rbj,p-}
- d.Eq_a11H = d.Eq_a11o
- d.Read_a11E =
- $d7{-r191,x-} [PrelBase.Int{-3g,W-}, ta100] [d.Eq_a11G, d.Eq_a11H]
- readsPrec_a19o =
- PrelRead.readsPrec{-rkH,p-} (X{-r3M,x-} PrelBase.Int{-3g,W-} ta100)
- d.Read_a11E
- readsPrec_a19p = readsPrec_a19q
- AbsBinds [] [] [([], readsPrec_a19q, readsPrec_aZQ)]
- ==_a19s = ==_a197
- >>=_a19t = >>=_a198
- return_a19u = return_a199
- zero_a19v = zero_a19a
- readsPrec_aZQ a_rX0 b_rX1
- = ++_a196 (Y{-r3L,x-} ta100, PrelBase.String{-rfZ,p-})
- (PrelRead.readParen{-rkX,p-}
- (Y{-r3L,x-} ta100) PrelBase.False{-58,w-}{i}
- \ c_rX3
- -> [(D1{-rd,x-}{i} ta100, d_rX5) |
- ("D1", d_rX5) <- PrelRead.lex{-rkK,p-} c_rX3]
- b_rX1)
- (PrelRead.readParen{-rkX,p-} (Y{-r3L,x-} ta100) a_rX0
- >_a19b lit_a19c
- \ c_rX7
- -> [(D2{-rc,x-}{i}
- ta100 a1_rXb,
- b1_rXc) |
- ("D2", d_rX9) <- PrelRead.lex{-rkK,p-} c_rX7, (a1_rXb, b1_rXc) <- readsPrec_a19o PrelBase.I#{-5b,w-}{i} 10#
- d_rX9]
- b_rX1)
- AbsBinds [] [] [([], readList_a19r, readList_a11j)]
- readList_a11j = PrelRead.readList__{-rhB,p-}
- (Y{-r3L,x-} ta100) readsPrec_a19p PrelBase.I#{-5b,w-}{i} 0#
- d.Read_aZM = ({-dict-} [] [readsPrec_a19q, readList_a19r])
-AbsBinds
-[ta124, ta125]
-[d.Eq_a14x, d.Eq_a14y]
-[([ta124, ta125], $d7{-r191,x-}, d.Read_a11Q)]
- d.Eq_a14K = d.Eq_a14x
- d.Read_a14I = $d1{-r194,x-} ta124 d.Eq_a14K
- readsPrec_a19w =
- PrelRead.readsPrec{-rkH,p-} (T{-r3K,x-} ta124) d.Read_a14I
- d.Eq_a14U = d.Eq_a14y
- d.Read_a14S = $d6{-r190,x-} ta125 d.Eq_a14U
- readsPrec_a19x =
- PrelRead.readsPrec{-rkH,p-} (Y{-r3L,x-} ta125) d.Read_a14S
- d.Eq_a14Y = d.Eq_a14y
- d.Eq_a14Z = d.Eq_a14x
- d.Read_a14W = $d7{-r191,x-} [ta125, ta124] [d.Eq_a14Y, d.Eq_a14Z]
- readsPrec_a19y =
- PrelRead.readsPrec{-rkH,p-} (X{-r3M,x-} ta125 ta124) d.Read_a14W
- readsPrec_a19z = readsPrec_a19A
- AbsBinds [] [] [([], readsPrec_a19A, readsPrec_a11U)]
- ++_a19C = ++_a19d
- >_a19D = >_a19e
- lit_a19E = lit_a19f
- ==_a19F = ==_a19g
- >>=_a19G = >>=_a19h
- return_a19H = return_a19i
- zero_a19I = zero_a19j
- >_a19J = >_a19e
- lit_a19K = lit_a19f
- ==_a19L = ==_a19g
- >>=_a19M = >>=_a19h
- return_a19N = return_a19i
- zero_a19O = zero_a19j
- readsPrec_a11U a_rXk b_rXl
- = ++_a19d (X{-r3M,x-} ta124 ta125, PrelBase.String{-rfZ,p-})
- (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
- >_a19e lit_a19f
- \ c_rXn
- -> [(C1{-r9,x-}{i}
- [ta124, ta125] a1_rXr,
- b1_rXs) |
- ("C1", d_rXp) <- PrelRead.lex{-rkK,p-} c_rXn, (a1_rXr, b1_rXs) <- readsPrec_a19w PrelBase.I#{-5b,w-}{i} 10#
- d_rXp]
- b_rXl)
- (++_a19C (X{-r3M,x-} ta124 ta125, PrelBase.String{-rfZ,p-})
- (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
- >_a19D lit_a19E
- \ c_rXu
- -> [(C2{-r8,x-}{i}
- [ta124, ta125] a1_rXy,
- b1_rXz) |
- ("C2", d_rXw) <- PrelRead.lex{-rkK,p-} c_rXu, (a1_rXy, b1_rXz) <- readsPrec_a19x PrelBase.I#{-5b,w-}{i} 10#
- d_rXw]
- b_rXl)
- (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
- >_a19J lit_a19K
- \ c_rXB
- -> [(C3{-rb,x-}{i}
- [ta124, ta125] a1_rXF,
- b1_rXG) |
- ("C3", d_rXD) <- PrelRead.lex{-rkK,p-} c_rXB, (a1_rXF, b1_rXG) <- readsPrec_a19y PrelBase.I#{-5b,w-}{i} 10#
- d_rXD]
- b_rXl))
- AbsBinds [] [] [([], readList_a19B, readList_a14s)]
- readList_a14s = PrelRead.readList__{-rhB,p-}
- (X{-r3M,x-} ta124 ta125) readsPrec_a19z PrelBase.I#{-5b,w-}{i} 0#
- d.Read_a11Q = ({-dict-} [] [readsPrec_a19A, readList_a19B])
-AbsBinds
-[ta15f]
-[d.Eq_a15F]
-[([ta15f], $d8{-r192,x-}, d.Show_a157)]
- d.Eq_a15N = PrelBase.$d8{-rbj,p-}
- d.Eq_a15O = d.Eq_a15F
- d.Show_a15L =
- $d9{-r193,x-} [PrelBase.Int{-3g,W-}, ta15f] [d.Eq_a15N, d.Eq_a15O]
- showsPrec_a19P =
- PrelBase.showsPrec{-rfW,p-} (X{-r3M,x-} PrelBase.Int{-3g,W-} ta15f)
- d.Show_a15L
- showsPrec_a19Q = showsPrec_a19R
- AbsBinds [] [] [([], showsPrec_a19R, showsPrec_a15b)]
- showsPrec_a15b a_rXO D1{-rd,x-}{i}
- = PrelBase.showString{-rgN,p-} "D1"
- showsPrec_a15b a_rXQ (D2{-rc,x-}{i} b1_rXR)
- = PrelBase.showParen{-rgK,p-} a_rXQ >=_a19k lit_a19l
- PrelBase..{-rfC,p-}
- [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "D2 "
- showsPrec_a19P PrelBase.I#{-5b,w-}{i} 10#
- b1_rXR
- AbsBinds [] [] [([], showList_a19S, showList_a15A)]
- showList_a15A = PrelBase.showList__{-r3J,p-}
- (Y{-r3L,x-} ta15f) showsPrec_a19Q PrelBase.I#{-5b,w-}{i} 0#
- d.Show_a157 = ({-dict-} [] [showsPrec_a19R, showList_a19S])
-AbsBinds
-[ta167, ta16a]
-[d.Eq_a171, d.Eq_a172]
-[([ta167, ta16a], $d9{-r193,x-}, d.Show_a15X)]
- d.Eq_a17a = d.Eq_a171
- d.Show_a178 = $d2{-r195,x-} ta167 d.Eq_a17a
- showsPrec_a19T =
- PrelBase.showsPrec{-rfW,p-} (T{-r3K,x-} ta167) d.Show_a178
- d.Eq_a17e = d.Eq_a172
- d.Show_a17c = $d8{-r192,x-} ta16a d.Eq_a17e
- showsPrec_a19U =
- PrelBase.showsPrec{-rfW,p-} (Y{-r3L,x-} ta16a) d.Show_a17c
- d.Eq_a17i = d.Eq_a172
- d.Eq_a17j = d.Eq_a171
- d.Show_a17g = $d9{-r193,x-} [ta16a, ta167] [d.Eq_a17i, d.Eq_a17j]
- showsPrec_a19V =
- PrelBase.showsPrec{-rfW,p-} (X{-r3M,x-} ta16a ta167) d.Show_a17g
- showsPrec_a19W = showsPrec_a19X
- AbsBinds [] [] [([], showsPrec_a19X, showsPrec_a161)]
- >=_a19Z = >=_a19m
- lit_a1a0 = lit_a19n
- >=_a1a1 = >=_a19m
- lit_a1a2 = lit_a19n
- showsPrec_a161 a_rXZ (C1{-r9,x-}{i} b1_rY0)
- = PrelBase.showParen{-rgK,p-} a_rXZ >=_a19m lit_a19n
- PrelBase..{-rfC,p-}
- [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C1 "
- showsPrec_a19T PrelBase.I#{-5b,w-}{i} 10#
- b1_rY0
- showsPrec_a161 a_rY2 (C2{-r8,x-}{i} b1_rY3)
- = PrelBase.showParen{-rgK,p-} a_rY2 >=_a19Z lit_a1a0
- PrelBase..{-rfC,p-}
- [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C2 "
- showsPrec_a19U PrelBase.I#{-5b,w-}{i} 10#
- b1_rY3
- showsPrec_a161 a_rY5 (C3{-rb,x-}{i} b1_rY6)
- = PrelBase.showParen{-rgK,p-} a_rY5 >=_a1a1 lit_a1a2
- PrelBase..{-rfC,p-}
- [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C3 "
- showsPrec_a19V PrelBase.I#{-5b,w-}{i} 10#
- b1_rY6
- AbsBinds [] [] [([], showList_a19Y, showList_a16W)]
- showList_a16W = PrelBase.showList__{-r3J,p-}
- (X{-r3M,x-} ta167 ta16a) showsPrec_a19W PrelBase.I#{-5b,w-}{i} 0#
- d.Show_a15X = ({-dict-} [] [showsPrec_a19X, showList_a19Y])
-AbsBinds
-[ta17y]
-[d.Eq_a17H]
-[([ta17y], $d1{-r194,x-}, d.Read_a17r)]
- d.Read_a17L = d.Read_a17r
- $mreadList_a1a3 =
- PrelRead.$mreadList{-rkF,p-} (T{-r3K,x-} ta17y) d.Read_a17L
- AbsBinds [] [] [([], readsPrec_a1a4, readsPrec_a17v)]
- readsPrec_a17v
- = IOBase.error{-87,w-}
- (PrelBase.Int{-3g,W-}
- -> PrelBase.String{-rfZ,p-}
- -> [(T{-r3K,x-} ta17y, PrelBase.String{-rfZ,p-})]) "read"
- AbsBinds [] [] [([], readList_a1a5, readList_a17E)]
- readList_a17E = $mreadList_a1a3
- d.Read_a17r = ({-dict-} [] [readsPrec_a1a4, readList_a1a5])
-AbsBinds
-[ta17Z]
-[d.Eq_a188]
-[([ta17Z], $d2{-r195,x-}, d.Show_a17S)]
- d.Show_a18c = d.Show_a17S
- $mshowList_a1a6 =
- PrelBase.$mshowList{-rfz,p-} (T{-r3K,x-} ta17Z) d.Show_a18c
- AbsBinds [] [] [([], showsPrec_a1a7, showsPrec_a17W)]
- showsPrec_a17W
- = IOBase.error{-87,w-}
- (PrelBase.Int{-3g,W-}
- -> T{-r3K,x-} ta17Z
- -> PrelBase.String{-rfZ,p-}
- -> PrelBase.String{-rfZ,p-}) "show"
- AbsBinds [] [] [([], showList_a1a8, showList_a185)]
- showList_a185 = $mshowList_a1a6
- d.Show_a17S = ({-dict-} [] [showsPrec_a1a7, showList_a1a8])
-d.MonadPlus_a18f = PrelBase.$d23{-raE,p-}
-++_a196 = PrelBase.++{-rfK,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a18f
-d.Eq_a18k = PrelBase.$d34{-raQ,p-}
-d.Eq_a18i = PrelBase.$d28{-raJ,p-} PrelBase.Char{-38,W-} d.Eq_a18k
-==_a197 = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a18i
-d.Monad_a18n = PrelBase.$d25{-raG,p-}
->>=_a198 = PrelBase.>>={-811,p-} PrelBase.[]{-3j,W-} d.Monad_a18n
-d.Monad_a18q = d.Monad_a18n
-return_a199 =
- PrelBase.return{-816,p-} PrelBase.[]{-3j,W-} d.Monad_a18q
-d.MonadZero_a18s = PrelBase.$d24{-raF,p-}
-zero_a19a =
- PrelBase.zero{-810,p-} PrelBase.[]{-3j,W-} d.MonadZero_a18s
-d.Ord_a18v = PrelBase.$d7{-rbi,p-}
->_a19b = PrelBase.>{-rfT,p-} PrelBase.Int{-3g,W-} d.Ord_a18v
-lit_a19c = PrelBase.I#{-5b,w-}{i} 9#
-++_a19d = ++_a196
->_a19e = >_a19b
-lit_a19f = lit_a19c
-==_a19g = ==_a197
->>=_a19h = >>=_a198
-return_a19i = return_a199
-zero_a19j = zero_a19a
-d.Ord_a18y = d.Ord_a18v
->=_a19k = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a18y
-lit_a19l = PrelBase.I#{-5b,w-}{i} 10#
->=_a19m = >=_a19k
-lit_a19n = lit_a19l
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
projects / ghc-hetmet.git / blobdiff