-
-
-================================================================================
-Typechecked:
-C1{-r4,x-}{i} =
- _/\_ a_tr3j b_tr3k c_tr3l -> \ tpl_B1 tpl_B2 ->
- C1{-r4,x-}{i} {_@_ a_tr3j _@_ b_tr3k _@_ c_tr3l tpl_B1 tpl_B2}
-C2{-r3,x-}{i} =
- _/\_ a_tr3j b_tr3k c_tr3l -> \ tpl_B1 tpl_B2 ->
- C2{-r3,x-}{i} {_@_ a_tr3j _@_ b_tr3k _@_ c_tr3l tpl_B1 tpl_B2}
-C3{-r6,x-}{i} =
- _/\_ a_tr3j b_tr3k c_tr3l -> \ tpl_B1 tpl_B2 ->
- C3{-r6,x-}{i} {_@_ a_tr3j _@_ b_tr3k _@_ c_tr3l tpl_B1 tpl_B2}
-AbsBinds
-[taEz, taEB, taEC]
-[]
-[([taEz, taEB, taEC], con2tag_Foo#_rBK, con2tag_Foo#_aE7)]
- con2tag_Foo#_aE7 (C1{-r4,x-}{i} _ _) = 0#
- con2tag_Foo#_aE7 (C2{-r3,x-}{i} _ _) = 1#
- con2tag_Foo#_aE7 (C3{-r6,x-}{i} _ _) = 2#
-AbsBinds
-[taEU, taEX, taF0]
-[d.Eq_aGk, d.Eq_aGl, d.Eq_aGm]
-[([taEU, taEX, taF0], $d1{-rLl,x-}, d.Eq_aEK)]
- d.Eq_aGq = d.Eq_aGk
- ==_aLu = PrelBase.=={-8Y,p-} taEU d.Eq_aGq
- d.Eq_aGu = d.Eq_aGl
- ==_aLv = PrelBase.=={-8Y,p-} taEX d.Eq_aGu
- d.Eq_aGy = d.Eq_aGm
- ==_aLw = PrelBase.=={-8Y,p-} taF0 d.Eq_aGy
- ==_aLx = ==_aLy
- AbsBinds [] [] [([], ==_aLy, ==_aEO)]
- ==_aEO (C1{-r4,x-}{i} a1_rBS a2_rBT) (C1{-r4,x-}{i} b1_rBU b2_rBV)
- = (a1_rBS ==_aLu b1_rBU)
- PrelBase.&&{-rfc,p-} (a2_rBT ==_aLo b2_rBV)
- ==_aEO (C2{-r3,x-}{i} a1_rBX a2_rBY) (C2{-r3,x-}{i} b1_rBZ b2_rC0)
- = (a1_rBX ==_aLv b1_rBZ)
- PrelBase.&&{-rfc,p-} (a2_rBY ==_aLp b2_rC0)
- ==_aEO (C3{-r6,x-}{i} a1_rC2 a2_rC3) (C3{-r6,x-}{i} b1_rC4 b2_rC5)
- = (a1_rC2 ==_aLw b1_rC4)
- PrelBase.&&{-rfc,p-} (a2_rC3 ==_aLq b2_rC5)
- ==_aEO a_rC7 b_rC8 = PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], /=_aLz, /=_aGd)]
- /=_aGd a_rCc b_rCd = PrelBase.not{-rga,p-} ==_aLx a_rCc b_rCd
- d.Eq_aEK = ({-dict-} [] [==_aLy, /=_aLz])
-AbsBinds
-[taLi, taLj, taLk]
-[]
-[([taLi, taLj, taLk], $d2{-rLm,x-}, d.Eval_aGL)]
- d.Eval_aGL = ({-dict-} [] [])
-AbsBinds
-[taH0, taH1, taH2]
-[d.Ord_aKA, d.Ord_aKB, d.Ord_aKC, d.Eq_aKD]
-[([taH0, taH1, taH2], $d3{-rLn,x-}, d.Ord_aGT)]
- d.Eq_aKz = d.Eq_aKD
- d.Ord_aJb = d.Ord_aKA
- d.Ord_aJc = d.Ord_aKB
- d.Ord_aJd = d.Ord_aKC
- compare_aLA = compare_aLG
- compare_aLB = compare_aLG
- compare_aLC = compare_aLG
- compare_aLD = compare_aLG
- compare_aLE = compare_aLG
- compare_aLF = compare_aLG
- AbsBinds [] [] [([], compare_aLG, compare_aGX)]
- compare_aGX a_rD5 b_rD6
- = case con2tag_Foo#_rBK [taH2, taH0, taH1] a_rD5 of
- a#_rDI
- -> case con2tag_Foo#_rBK [taH2, taH0, taH1] b_rD6 of
- b#_rDK
- -> if a#_rDI GHC.==#{-79,w-}{I} b#_rDK then
- case cmp_eq_aLN a_rD5 b_rD6 of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.EQ{-r3m,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- else
- if a#_rDI GHC.<#{-7b,w-}{I} b#_rDK then
- PrelBase.LT{-r9P,p-}{i}
- else
- PrelBase.GT{-r9Q,p-}{i}
- where
- {- nonrec -}
- AbsBinds
- [taIi, taIj, taIm]
- [d.Ord_aIx, d.Ord_aIB, d.Ord_aIF]
- [([taIi, taIj, taIm], cmp_eq_rD8, cmp_eq_aH6)]
- compare_aLO = PrelBase.compare{-rfr,p-} taIi d.Ord_aIx
- compare_aLP = PrelBase.compare{-rfr,p-} taIj d.Ord_aIB
- compare_aLQ = PrelBase.compare{-rfr,p-} taIm d.Ord_aIF
- cmp_eq_aH6 (C1{-r4,x-}{i} a1_rDa a2_rDb)
- (C1{-r4,x-}{i} b1_rDc b2_rDd)
- = case compare_aLO a1_rDa b1_rDc of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i}
- -> case compare_aLr a2_rDb b2_rDd of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.EQ{-r3m,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- cmp_eq_aH6 (C2{-r3,x-}{i} a1_rDl a2_rDm)
- (C2{-r3,x-}{i} b1_rDn b2_rDo)
- = case compare_aLP a1_rDl b1_rDn of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i}
- -> case compare_aLs a2_rDm b2_rDo of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.EQ{-r3m,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- cmp_eq_aH6 (C3{-r6,x-}{i} a1_rDw a2_rDx)
- (C3{-r6,x-}{i} b1_rDy b2_rDz)
- = case compare_aLQ a1_rDw b1_rDy of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i}
- -> case compare_aLt a2_rDx b2_rDz of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.LT{-r9P,p-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.EQ{-r3m,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.GT{-r9Q,p-}{i}
- cmp_eq_aH6 _ _
- = IOBase.error{-87,w-}
- PrelBase.Ordering{-3o,p-} "Urk! in TcGenDeriv"
- {- nonrec -}
- cmp_eq_aLN =
- cmp_eq_rD8 [taH0, taH1, taH2] [d.Ord_aJb, d.Ord_aJc, d.Ord_aJd]
- {- nonrec -}
- AbsBinds [] [] [([], <_aLH, <_aJo)]
- <_aJo a_rCj b_rCk
- = case compare_aLA a_rCj b_rCk of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], <=_aLI, <=_aJB)]
- <=_aJB a_rCr b_rCs
- = case compare_aLB a_rCr b_rCs of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], >=_aLJ, >=_aJO)]
- >=_aJO a_rCz b_rCA
- = case compare_aLC a_rCz b_rCA of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], >_aLK, >_aK1)]
- >_aK1 a_rCH b_rCI
- = case compare_aLD a_rCH b_rCI of
- PrelBase.LT{-r9P,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.EQ{-r3m,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-r9Q,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], max_aLL, max_aKe)]
- max_aKe a_rCP b_rCQ
- = case compare_aLE a_rCP b_rCQ of
- PrelBase.LT{-r9P,p-}{i} -> b_rCQ
- PrelBase.EQ{-r3m,p-}{i} -> a_rCP
- PrelBase.GT{-r9Q,p-}{i} -> a_rCP
- AbsBinds [] [] [([], min_aLM, min_aKr)]
- min_aKr a_rCX b_rCY
- = case compare_aLF a_rCX b_rCY of
- PrelBase.LT{-r9P,p-}{i} -> a_rCX
- PrelBase.EQ{-r3m,p-}{i} -> b_rCY
- PrelBase.GT{-r9Q,p-}{i} -> b_rCY
- d.Ord_aGT =
- ({-dict-}
- [d.Eq_aKz]
- [compare_aLG, <_aLH, <=_aLI, >=_aLJ, >_aLK, max_aLL, min_aLM])
-d.Eq_aKX = PrelBase.$d8{-raU,p-}
-==_aLo = PrelBase.=={-8Y,p-} PrelBase.Int{-3g,W-} d.Eq_aKX
-d.Eq_aL0 = PrelNum.$d18{-rtI,p-}
-==_aLp = PrelBase.=={-8Y,p-} PrelBase.Double{-3a,W-} d.Eq_aL0
-d.Eq_aL5 = PrelBase.$d34{-rar,p-}
-d.Eq_aL3 = PrelBase.$d28{-rak,p-} PrelBase.Char{-38,W-} d.Eq_aL5
-==_aLq = PrelBase.=={-8Y,p-} PrelBase.String{-rfA,p-} d.Eq_aL3
-d.Ord_aL8 = PrelBase.$d7{-raT,p-}
-compare_aLr =
- PrelBase.compare{-rfr,p-} PrelBase.Int{-3g,W-} d.Ord_aL8
-d.Ord_aLb = PrelNum.$d17{-rtH,p-}
-compare_aLs =
- PrelBase.compare{-rfr,p-} PrelBase.Double{-3a,W-} d.Ord_aLb
-d.Ord_aLg = PrelBase.$d51{-raK,p-}
-d.Eq_aLh = d.Eq_aL3
-d.Ord_aLe =
- PrelBase.$d27{-raj,p-} PrelBase.Char{-38,W-} [d.Ord_aLg, d.Eq_aLh]
-compare_aLt =
- PrelBase.compare{-rfr,p-} PrelBase.String{-rfA,p-} d.Ord_aLe
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelBounded PrelNum
_usages_
-PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1 String 1;
+PrelBase 1 :: $d12 1 $d13 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d33 1 $d36 1 $d37 1 $d38 1 $d39 1 $d40 1 $d41 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1 String 1;
PrelNum 1 :: $d17 1 $d18 1;
_exports_
ShouldSucceed Foo(C1 C2 C3);
projects / ghc-hetmet.git / blobdiff