-
-Print004.hs:18: Warning: no explicit method nor default method for `showsPrec'
- in an instance declaration for `Show'
+
==================== Typechecked ====================
-Con{-r6v,l-}{i} =
- _/\_ a_tr6C -> \ tpl_B1 -> Con{-r6v,l-}{i} {_@_ a_tr6C tpl_B1}
-Junk11{-r4,l-}{i} = _/\_ a_tr6A -> Junk11{-r4,l-}{i} {_@_ a_tr6A}
-Junk2{-r3,l-}{i} = _/\_ a_tr6A -> Junk2{-r3,l-}{i} {_@_ a_tr6A}
-AbsBinds [taI0] [] [([taI0], $d2{-rI2,x-}, d.Eval_aGJ)]
- d.Eval_aGJ = ({-dict-} [] [])
-AbsBinds [taI1] [] [([taI1], $d3{-rI7,x-}, d.Eval_aGP)]
- d.Eval_aGP = ({-dict-} [] [])
-AbsBinds [taH4] [d.Ord_aHo] [([taH4], $d4{-rI6,x-}, d.Show_aGV)]
- d.Ord_aHw = d.Ord_aHo
- d.Show_aHu = $d1{-rI5,x-} taH4 d.Ord_aHw
- showsPrec_aIb =
- PrelBase.showsPrec{-r5B,p-} (FunnyInternalType{-r6u,l-} taH4)
- d.Show_aHu
- showsPrec_aIa = showsPrec_aI9
- AbsBinds [] [] [([], showsPrec_aI9, showsPrec_aIc)]
- showsPrec_aIc a_rG2 (Con{-r6v,l-}{i} b1_rG3)
- = PrelBase.showParen{-r63,p-} a_rG2 >=_aI4 lit_aI3
- PrelBase..{-r6d,p-}
- [PrelBase.String{-r5y,p-}, PrelBase.String{-r5y,p-}, PrelBase.String{-r5y,p-}] PrelBase.showString{-r62,p-} "Con "
- showsPrec_aIb PrelBase.I#{-5b,w-}{i} 10#
- b1_rG3
- AbsBinds [] [] [([], showList_aI8, showList_aId)]
- showList_aId = PrelBase.showList__{-r6F,p-}
- (OpaqueType{-r6,x-} taH4) showsPrec_aIa PrelBase.I#{-5b,w-}{i} 0#
- d.Show_aGV = ({-dict-} [] [showsPrec_aI9, showList_aI8])
-AbsBinds [taHK] [d.Ord_aHS] [([taHK], $d1{-rI5,x-}, d.Show_aHD)]
- d.Show_aHW = d.Show_aHD
- $mshowList_aIg =
- PrelBase.$mshowList{-rh6,p-} (FunnyInternalType{-r6u,l-} taHK)
- d.Show_aHW
- AbsBinds [] [] [([], showsPrec_aIf, showsPrec_aIh)]
- showsPrec_aIh
- = GHCerr.noDefaultMethodError{-8k,w-}
- (PrelBase.Int{-3f,W-}
- -> FunnyInternalType{-r6u,l-} taHK
- -> PrelBase.String{-r5y,p-}
- -> PrelBase.String{-r5y,p-}) "<NoSrcLoc>|showsPrec"
- AbsBinds [] [] [([], showList_aIe, showList_aIi)]
- showList_aIi = $mshowList_aIg
- d.Show_aHD = ({-dict-} [] [showsPrec_aIf, showList_aIe])
-d.Ord_aHZ = PrelBase.$d6{-rcZ,p-}
->=_aI4 = PrelBase.>={-810,p-} PrelBase.Int{-3f,W-} d.Ord_aHZ
-lit_aI3 = PrelBase.I#{-5b,w-}{i} 10#
+ExportOpaque.Junk11{-r3,l-} =
+ \ a{-ru2-} -> ExportOpaque.Junk11{-r3,l-} {__a a{-ru2-}}
+ExportOpaque.Junk2{-r5,l-} =
+ \ a{-ru2-} -> ExportOpaque.Junk2{-r5,l-} {__a a{-ru2-}}
+ExportOpaque.Con{-r9,l-} =
+ \ a{-ru6-} tpl_B1 -> ExportOpaque.Con{-r9,l-} {__a a{-ru6-} tpl_B1}
+AbsBinds
+[a{-aY7-}]
+[_dOrd{-aYo-}]
+[([a{-aY7-}],
+ ExportOpaque._fShowOpaqueType{-rXt,x-},
+ _dShow{-aXB-})]
+ _mshow{-aZt-} =
+ PrelBase._mshow{-rJ7,i-} (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-})
+ _dShow{-aYs-}
+ showsPrec{-aZs-} = showsPrec{-aY0-}
+ showsPrec{-aZu-} =
+ PrelBase.showsPrec{-rt1,i-}
+ (ExportOpaque.FunnyInternalType{-r1,l-} a{-aY7-})
+ _dShow{-aYv-}
+ _dShow{-aYs-} = _dShow{-aXB-}
+ _dShow{-aYv-} =
+ ExportOpaque._fShowFunnyInternalType{-rXl,x-} a{-aY7-} _dOrd{-aYx-}
+ _dOrd{-aYx-} = _dOrd{-aYo-}
+ AbsBinds [] [] [([], showList{-aXD-}, showList{-aXF-})]
+ showList{-aXF-} = PrelBase.showList__{-ru7,i-}
+ (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showsPrec{-aZs-} PrelBase.I#{-67,w-} 0#
+ AbsBinds [] [] [([], show{-aXP-}, show{-aXR-})]
+ show{-aXR-} = _mshow{-aZt-}
+ AbsBinds [] [] [([], showsPrec{-aY0-}, showsPrec{-aY2-})]
+ showsPrec{-aY2-} a{-aY8-} (ExportOpaque.Con{-r9,l-} b1{-aYl-})
+ = PrelBase.showParen{-rtv,i-} a{-aY8-} >={-aZv-} lit_aZw
+ PrelBase..{-rtD,i-}
+ [PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}, PrelBase.String{-rsZ,i-}] PrelBase.showString{-rtu,i-} "Con "
+ showsPrec{-aZu-} PrelBase.I#{-67,w-} 10#
+ b1{-aYl-}
+ _dShow{-aXB-} =
+ PrelBase._DShow{-rIw,i-}
+ (ExportOpaque.OpaqueType{-r7,x-} a{-aY7-}) showList{-aXD-}
+ show{-aXP-}
+ showsPrec{-aY0-}
+AbsBinds
+[a{-aYP-}]
+[_dOrd{-aZe-}]
+[([a{-aYP-}],
+ ExportOpaque._fShowFunnyInternalType{-rXl,x-},
+ _dShow{-aYG-})]
+ _mshow{-aZx-} =
+ PrelBase._mshow{-rJ7,i-}
+ (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
+ _dShow{-aZk-}
+ _mshowList{-aZy-} =
+ PrelBase._mshowList{-rJ6,i-}
+ (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
+ _dShow{-aZi-}
+ _mshowsPrec{-aZz-} =
+ PrelBase._mshowsPrec{-rJ5,i-}
+ (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-})
+ _dShow{-aZm-}
+ _dShow{-aZi-} = _dShow{-aYG-}
+ _dShow{-aZk-} = _dShow{-aYG-}
+ _dShow{-aZm-} = _dShow{-aYG-}
+ AbsBinds [] [] [([], showList{-aYI-}, showList{-aYK-})]
+ showList{-aYK-} = _mshowList{-aZy-}
+ AbsBinds [] [] [([], show{-aYU-}, show{-aYW-})]
+ show{-aYW-} = _mshow{-aZx-}
+ AbsBinds [] [] [([], showsPrec{-aZ5-}, showsPrec{-aZ7-})]
+ showsPrec{-aZ7-} = _mshowsPrec{-aZz-}
+ _dShow{-aYG-} =
+ PrelBase._DShow{-rIw,i-}
+ (ExportOpaque.FunnyInternalType{-r1,l-} a{-aYP-}) showList{-aYI-}
+ show{-aYU-}
+ showsPrec{-aZ5-}
+lit_aZw = PrelBase.I#{-67,w-} 10#
+>={-aZv-} = PrelBase.>={-01M,i-} PrelBase.Int{-3f,W-} _dOrd{-aZr-}
+_dOrd{-aZr-} = PrelBase._fOrdInt{-rJw,i-}
+
ghc: module version changed to 1; reason: no old .hi file
-_interface_ ExportOpaque 1
-_instance_modules_
-Addr ArrBase Foreign IO PrelBounded PrelNum
-_usages_
-PrelBase 1 :: $d1 1 $d10 1 $d12 1 $d13 1 $d15 1 $d2 1 $d20 1 $d21 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d6 1 $d7 1 $d8 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
-PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
-_exports_
-ExportOpaque OpaqueType;
-_instances_
-instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $d1;
-instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $d2;
-instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $d3;
-instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $d4;
-_declarations_
-1 $d1 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
-1 $d2 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
-1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
-1 $d4 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
+__export ExportOpaque OpaqueType;
+instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = _fShowFunnyInternalType;
+instance __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = _fShowOpaqueType;
+1 _fShowFunnyInternalType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;
+1 _fShowOpaqueType :: __forall [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;
1 data FunnyInternalType a = Junk11 | Junk2 ;
1 data OpaqueType a = Con (FunnyInternalType a) ;