Commit a67a46fc authored by simonm's avatar simonm
Browse files

[project @ 1998-04-17 15:58:37 by simonm]

Update test suite for 3.02
parent 198ab646
......@@ -8,13 +8,13 @@ SUBDIRS = \
deSugar \
deriving \
numeric \
printing \
reader \
rename \
simplCore \
stranal \
typecheck
# printing \
# io \
# programs
......
......@@ -2,7 +2,7 @@ TOP = ../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
HC_OPTS += -dcore-lint -fglasgow-exts
HC_OPTS += -noC -dcore-lint -fglasgow-exts
# Note that these tests are still in a state of flux... don't believe errors
# they report. In fact, these aren't really very good tests at all...
......
ghc: module version changed to 1; reason: no old .hi file
cc001.hs:5:
Cannot resolve the ambiguous context (PrelGHC.CCallable aJC)
`PrelGHC.CCallable aJC' arising from an argument in the _ccall_ to `foo', namely `(Prelude.undefined ())' at cc001.hs:5
Ambiguous type variable(s)
`aQf'
in the constraint `PrelGHC.CCallable aQf'
arising from an argument in the _ccall_ to `foo', namely `(undefined ())' at cc001.hs:5
Compilation had errors
PrelForeign.hi:23:
PrelForeign.hi:19:
Constructors for `ForeignObj' not visible when checking `PrelGHC.CCallable' instance
(Try either importing ForeignObj non-abstractly or compile using -fno-prune-tydecls ..)
cc002.hs:18:
No instance for: `PrelGHC.CCallable ForeignObj'
arising from an argument in the _ccall_ to `c', namely `x', at cc002.hs:18
No instance for `PrelGHC.CCallable ForeignObj'
(arising from an argument in the _ccall_ to `c', namely `x' at cc002.hs:18)
cc002.hs:10:
No instance for: `PrelGHC.CReturnable ForeignObj'
arising from the result of the _ccall_ to a, at cc002.hs:10
No instance for `PrelGHC.CReturnable ForeignObj'
(arising from the result of the _ccall_ to `a' at cc002.hs:10)
Compilation had errors
cc004.hs:2:
Cannot generalise these overloadings (in a _ccall_):
`PrelGHC.CReturnable aMl' arising from the result of the _ccall_ to f, at cc004.hs:18
`PrelGHC.CReturnable aSE' arising from the result of the _ccall_ to `f' at cc004.hs:18
cc004.hs:2:
Cannot generalise these overloadings (in a _ccall_):
`PrelGHC.CReturnable aNp' arising from the result of the _ccall_ to f, at cc004.hs:11
`PrelGHC.CReturnable aTM' arising from the result of the _ccall_ to `f' at cc004.hs:11
Compilation had errors
1.1754944e-38
1.1754944e-38
NaN
NaN
3.4028235e38
3.4028235e38
2.2250738585072014e-308
2.2250738585072014e-308
1.7976931348623157e308
......
Fail: dsrun005.hs:42: Non-exhaustive patterns in function `f'
Fail: dsrun005.hs:42: Non-exhaustive patterns in function f
NOTE: Simplifier still going after 4 iterations; bailing out.
drvfail004.hs:5:
No instance for: `Eq (Foo a b)'
arising from an instance declaration, at drvfail004.hs:5
Available context: (Eq (Foo a b))
From the superclasses of the instance declaration
Could not deduce `Eq (Foo a b)'
(arising from an instance declaration at drvfail004.hs:5)
from the context (Ord a, Ord b)
Probable cause: missing `Eq (Foo a b)' in instance declaration context
or missing instance declaration for `Eq (Foo a b)'
When checking the superclasses of an instance declaration
Compilation had errors
drvfail007.hs:2:
No instance for: `Eq (Int -> Int)' When deriving classes for `Foo'
No instance for `Eq (Int -> Int)'
When deriving classes for `Foo'
Compilation had errors
TOP = ..
include $(TOP)/mk/boilerplate.mk
SUBDIRS = should_run
include $(TOP)/mk/target.mk
TOP = ../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_run.mk
HC_OPTS += -dcore-lint
io002_RUNTEST_OPTS = -x 1
include $(TOP)/mk/target.mk
#-----------------------------------------------------------------------------
# $Id: Makefile,v 1.1 1998/01/07 18:13:11 simonm Exp $
# $Id: Makefile,v 1.2 1998/04/17 15:59:29 simonm Exp $
TOP = ../..
include $(TOP)/mk/boilerplate.mk
......@@ -7,4 +7,7 @@ include $(TOP)/mk/should_run.mk
HC_OPTS += -dcore-lint
arith011_HC_OPTS = -fglasgow-exts
arith012_HC_OPTS = -fglasgow-exts
include $(TOP)/mk/target.mk
==================== Typechecked ====================
Print001.BarNil{-r8-} =
_/\_ a_tr51 -> Print001.BarNil{-r8-} {_@_ a_tr51}
_/\_ a_tr58 -> Print001.BarNil{-r8-} {_@_ a_tr58}
Print001.BarCon{-r7-} =
_/\_ a_tr51 -> \ tpl_B1 tpl_B2 ->
Print001.BarCon{-r7-} {_@_ a_tr51 tpl_B1 tpl_B2}
Print001.MkFoo{-r57-} =
_/\_ d_tr53 e_tr54 f_tr55 -> \ tpl_B1 tpl_B2 tpl_B3 ->
Print001.MkFoo{-r57-} {_@_ d_tr53
_@_ e_tr54
_@_ f_tr55
tpl_B1
tpl_B2
tpl_B3}
_/\_ a_tr58 -> \ x1_B1
x2_B2 ->
Print001.BarCon{-r7-} {_@_ a_tr58 x1_B1 x2_B2}
Print001.MkFoo{-r50-} =
_/\_ d_tr5a
e_tr5b
f_tr5c -> \ x1_B1
x2_B2
x3_B3 ->
Print001.MkFoo{-r50-} {_@_ d_tr5a
_@_ e_tr5b
_@_ f_tr5c
x1_B1
x2_B2
x3_B3}
AbsBinds
[a_ta12D, b_ta12F]
[a_ta19e, b_ta19g]
[]
[([a_ta12D, b_ta12F], Print001.g{-r4S-}, g_a13Q)]
g_a13Q x_r4Z = lit_a13S
[([a_ta19e, b_ta19g], Print001.g{-r4W-}, g_a1aD)]
g_a1aD x_r56 = lit_a1aF
AbsBinds
[a_ta12R, b_ta12T, c_ta12V]
[d.Eq_a130, d.Ord_a131, d.Ix_a132]
[([a_ta12R, b_ta12T, c_ta12V], Print001.f2{-r4R-}, f2_a13Z)]
f2_a13Z x_r4X = x_r4X
[a_ta19y, b_ta19A, c_ta19C]
[d.Eq_a19H, d.Ord_a19I, d.Ix_a19J]
[([a_ta19y, b_ta19A, c_ta19C], Print001.f2{-r4X-}, f2_a1aM)]
f2_a1aM x_r54 = x_r54
AbsBinds
[a_ta13b, b_ta13d, c_ta13f]
[d.Eq_a13k]
[([a_ta13b, b_ta13d, c_ta13f], Print001.f{-r4Q-}, f_a140)]
f_a140 x_r4V = x_r4V
[a_ta19Y, b_ta1a0, c_ta1a2]
[d.Eq_a1a7]
[([a_ta19Y, b_ta1a0, c_ta1a2], Print001.f{-r4Y-}, f_a1aN)]
f_a1aN x_r52 = x_r52
AbsBinds
[a13o, a13q, a13s]
[a1ab, a1ad, a1af]
[]
[([a13o, a13q, a13s], Print001.mkFoo{-r4T-}, mkFoo_a141)]
mkFoo_a141 = Print001.MkFoo{-r57-} [a13o, a13q, a13s]
[([a1ab, a1ad, a1af], Print001.mkFoo{-r4Z-}, mkFoo_a1aO)]
mkFoo_a1aO = Print001.MkFoo{-r50-} [a1ab, a1ad, a1af]
AbsBinds
[a_ta13M]
[a_ta1az]
[]
[([a_ta13M], Print001.$d1{-r13Y-}, d.Eval_a13A)]
d.Eval_a13A = PrelBase.:Eval{-rR-} (Print001.Bar{-r56-} a_ta13M)
[([a_ta1az], Print001.$dEvalBar0{-r1aL-}, d.Eval_a1an)]
d.Eval_a1an =
PrelErr.error{-87-}
{PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1az)} "Compiler error: bad dictionary Eval"
AbsBinds
[d_ta13N, e_ta13P, f_ta13O]
[d_ta1aA, e_ta1aC, f_ta1aB]
[]
[([d_ta13N, e_ta13P, f_ta13O], Print001.$d2{-r13X-}, d.Eval_a13I)]
d.Eval_a13I =
PrelBase.:Eval{-rR-} (Print001.Foo{-r58-} d_ta13N e_ta13P f_ta13O)
lit_a13S = fromRational_a13R 2.0
fromRational_a13R =
PrelNum.fromRational{-8U-} PrelBase.Float{-3c-} d.Fractional_a13L
d.Fractional_a13L = PrelNum.$d23{-rF0-}
[([d_ta1aA, e_ta1aC, f_ta1aB],
Print001.$dEvalFoo0{-r1aK-},
d.Eval_a1av)]
d.Eval_a1av =
PrelErr.error{-87-}
{PrelBase.Eval{-24-} (Print001.Foo{-r5e-} d_ta1aA e_ta1aC f_ta1aB)} "Compiler error: bad dictionary Eval"
lit_a1aF = fromRational_a1aE 2.0
fromRational_a1aE =
PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1ay
d.Fractional_a1ay = PrelNum.$dFractionalFloat0{-rGQ-}
ghc: module version changed to 1; reason: no old .hi file
_interface_ Print001 1
_interface_ Print001 1 302
_instance_modules_
IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
_usages_
Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d10 1 $d11 1 $d12 1 $d13 1 $d15 1 $d2 1 $d20 1 $d21 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d3 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $d1 1 $d10 1 $d14 1 $d15 1 $d16 1 $d17 1 $d18 1 $d19 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d29 1 $d30 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d36 1 $d37 1 $d38 1 $d39 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
PrelTup 1 :: $d10 1 $d13 1 $d14 1 $d3 1 $d4 1 $d49 1 $d50 1 $d9 1;
Ix 1 :: $dIx2 1 $dIx3 1 $dIx4 1 $dIxBool0 1 $dIxChar0 1 $dIxInt0 1 $dIxOrdering0 1 Ix 1;
PrelBase 1 :: $dEnum0 1 $dEnumBool0 1 $dEnumChar0 1 $dEnumInt0 1 $dEnumOrdering0 1 $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalFloat0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $dEnumDouble0 1 $dEnumFloat0 1 $dEnumInteger0 1 $dEnumRatio0 1 $dEqDouble0 1 $dEqFloat0 1 $dEqInteger0 1 $dEqRatio0 1 $dEvalRatio0 1 $dFractionalDouble0 1 $dFractionalFloat0 1 $dFractionalRatio0 1 $dIntegralInt0 1 $dIntegralInteger0 1 $dIxInteger0 1 $dNumDouble0 1 $dNumFloat0 1 $dNumInteger0 1 $dNumRatio0 1 $dOrdDouble0 1 $dOrdFloat0 1 $dOrdInteger0 1 $dOrdRatio0 1 $dRealDouble0 1 $dRealFloat0 1 $dRealInt0 1 $dRealInteger0 1 $dRealRatio0 1 $dShowDouble0 1 $dShowFloat0 1 $dShowInteger0 1 $dShowRatio0 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1;
PrelTup 1 :: $dEq0 1 $dEq1 1 $dEval0 1 $dEval1 1 $dOrd0 1 $dOrd1 1 $dShow2 1 $dShow3 1;
_exports_
Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo);
_instances_
instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $d1;
instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
instance _forall_ [a] => {PrelBase.Eval (Bar a)} = $dEvalBar0;
instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $dEvalFoo0;
_declarations_
1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
1 $dEvalBar0 _:_ _forall_ [a] => {PrelBase.Eval (Bar a)} ;;
1 $dEvalFoo0 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
1 data Bar a = BarNil | BarCon (Foo a a a) (Bar a) ;
1 data Foo d e f = MkFoo [((d -> PrelBase.Int) -> d) -> e] (d -> e, e -> e) PrelBase.() ;
1 f _:_ _forall_ [a b c] {PrelBase.Eq a} => (a -> b -> c) -> a -> b -> c ;;
......
==================== Typechecked ====================
Word.bitLsh{-r3A-} =
_/\_ a_tr3y -> \ x1_B1 ->
case x1_B1 of { Word.:Bits{-r3C-} x2_B2 x3_B3 -> x2_B2;}
Word.bitRsh{-r3z-} =
_/\_ a_tr3x -> \ tpl_B1 ->
case tpl_B1 of { Word.:Bits{-r3B-} tpl_B2 tpl_B3 -> tpl_B2;}
Word.bitLsh{-r3y-} =
_/\_ a_tr3x -> \ tpl_B1 ->
case tpl_B1 of { Word.:Bits{-r3B-} tpl_B2 tpl_B3 -> tpl_B3;}
AbsBinds [a_tan2] [d.Bits_an1] []
_/\_ a_tr3y -> \ x1_B1 ->
case x1_B1 of { Word.:Bits{-r3C-} x2_B2 x3_B3 -> x3_B3;}
AbsBinds [a_taqh] [d.Bits_aqg] []
ghc: module version changed to 1; reason: no old .hi file
_interface_ Word 1
_interface_ Word 1 302
_instance_modules_
IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
_exports_
Word Bits(:Bits :Bits bitRsh bitLsh);
Word Bits(:Bits :Bits bitLsh bitRsh);
_fixities_
infixl 8 bitLsh;
infixl 8 bitRsh;
_declarations_
1 class Bits a where {bitRsh :: a -> PrelBase.Int -> a; bitLsh :: a -> PrelBase.Int -> a} ;
1 class Bits a where {bitLsh :: a -> PrelBase.Int -> a; bitRsh :: a -> PrelBase.Int -> a} ;
......@@ -5,94 +5,101 @@ Print004.hs:18: Warning:
==================== Typechecked ====================
ExportOpaque.Con{-r6P-} =
_/\_ a_tr6W -> \ tpl_B1 ->
ExportOpaque.Con{-r6P-} {_@_ a_tr6W tpl_B1}
ExportOpaque.Con{-r6Q-} =
_/\_ a_tr6X -> \ x1_B1 ->
ExportOpaque.Con{-r6Q-} {_@_ a_tr6X x1_B1}
ExportOpaque.Junk11{-r4-} =
_/\_ a_tr6U -> ExportOpaque.Junk11{-r4-} {_@_ a_tr6U}
_/\_ a_tr6V -> ExportOpaque.Junk11{-r4-} {_@_ a_tr6V}
ExportOpaque.Junk2{-r3-} =
_/\_ a_tr6U -> ExportOpaque.Junk2{-r3-} {_@_ a_tr6U}
_/\_ a_tr6V -> ExportOpaque.Junk2{-r3-} {_@_ a_tr6V}
AbsBinds
[a_taKh]
[a_taQG]
[]
[([a_taKh], ExportOpaque.$d2{-rKl-}, d.Eval_aIQ)]
d.Eval_aIQ =
PrelBase.:Eval{-rN-} (ExportOpaque.OpaqueType{-r1d-} a_taKh)
[([a_taQG], ExportOpaque.$dEvalOpaqueType0{-rQJ-}, d.Eval_aPf)]
d.Eval_aPf =
PrelErr.error{-87-}
{PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taQG)} "Compiler error: bad dictionary Eval"
AbsBinds
[a_taKi]
[a_taQH]
[]
[([a_taKi], ExportOpaque.$d3{-rKq-}, d.Eval_aIW)]
d.Eval_aIW =
PrelBase.:Eval{-rN-} (ExportOpaque.FunnyInternalType{-r6O-} a_taKi)
[([a_taQH],
ExportOpaque.$dEvalFunnyInternalType0{-rQO-},
d.Eval_aPl)]
d.Eval_aPl =
PrelErr.error{-87-}
{PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQH)} "Compiler error: bad dictionary Eval"
AbsBinds
[a_taJb]
[d.Ord_aJx]
[([a_taJb], ExportOpaque.$d4{-rKp-}, d.Show_aJ2)]
showsPrec_aKs =
[a_taPu]
[d.Ord_aPW]
[([a_taPu], ExportOpaque.$dShowOpaqueType0{-rQN-}, d.Show_aPr)]
showsPrec_aQP =
PrelBase.showsPrec{-r5W-}
(ExportOpaque.FunnyInternalType{-r6O-} a_taJb)
d.Show_aJF
showsPrec_aKj = showsPrec_aKk
d.Show_aJF = ExportOpaque.$d1{-rKo-} a_taJb d.Ord_aJH
d.Ord_aJH = d.Ord_aJx
AbsBinds [] [] [([], showsPrec_aKk, showsPrec_aKt)]
showsPrec_aKt a_rI9 (ExportOpaque.Con{-r6P-} b1_rIa)
= PrelBase.showParen{-r6s-} a_rI9 >=_aKm lit_aKn
PrelBase..{-r6C-}
[PrelBase.String{-r5T-}, PrelBase.String{-r5T-}, PrelBase.String{-r5T-}] PrelBase.showString{-r6r-} "Con "
showsPrec_aKs PrelBase.I#{-5b-} 10#
b1_rIa
AbsBinds [] [] [([], showList_aKr, showList_aKu)]
showList_aKu = PrelBase.showList__{-r6Z-}
(ExportOpaque.OpaqueType{-r1d-} a_taJb) showsPrec_aKj PrelBase.I#{-5b-} 0#
d.Show_aJ2 =
PrelBase.:Show{-r1c-}
(ExportOpaque.OpaqueType{-r1d-} a_taJb) showsPrec_aKk showList_aKr
(ExportOpaque.FunnyInternalType{-r6P-} a_taPu)
d.Show_aQ6
showsPrec_aQI = showsPrec_aPF
d.Show_aQ6 =
ExportOpaque.$dShowFunnyInternalType0{-rQM-} a_taPu d.Ord_aQ8
d.Ord_aQ8 = d.Ord_aPW
AbsBinds [] [] [([], showList_aPt, showList_aQQ)]
showList_aQQ = PrelBase.showList__{-r70-}
(ExportOpaque.OpaqueType{-r1e-} a_taPu) showsPrec_aQI PrelBase.I#{-5b-} 0#
AbsBinds [] [] [([], showsPrec_aPF, showsPrec_aQR)]
showsPrec_aQR a_rOA (ExportOpaque.Con{-r6Q-} b1_rOB)
= PrelBase.showParen{-r6t-} a_rOA >=_aQK lit_aQL
PrelBase..{-r6D-}
[PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con "
showsPrec_aQP PrelBase.I#{-5b-} 10#
b1_rOB
d.Show_aPr =
PrelBase.:Show{-r1d-}
(ExportOpaque.OpaqueType{-r1e-} a_taPu) showList_aPt showsPrec_aPF
AbsBinds
[a_taJT]
[d.Ord_aK5]
[([a_taJT], ExportOpaque.$d1{-rKo-}, d.Show_aJQ)]
$mshowList_aKx =
PrelBase.$mshowList{-rhx-}
(ExportOpaque.FunnyInternalType{-r6O-} a_taJT)
d.Show_aKb
d.Show_aKb = d.Show_aJQ
AbsBinds [] [] [([], showsPrec_aKw, showsPrec_aKy)]
showsPrec_aKy
= PrelErr.noDefaultMethodError{-8k-}
[a_taQk]
[d.Ord_aQw]
[([a_taQk],
ExportOpaque.$dShowFunnyInternalType0{-rQM-},
d.Show_aQh)]
$mshowList_aQS =
PrelBase.$mshowList{-ri7-}
(ExportOpaque.FunnyInternalType{-r6P-} a_taQk)
d.Show_aQA
d.Show_aQA = d.Show_aQh
AbsBinds [] [] [([], showList_aQj, showList_aQT)]
showList_aQT = $mshowList_aQS
AbsBinds [] [] [([], showsPrec_aQs, showsPrec_aQU)]
showsPrec_aQU
= PrelErr.noMethodBindingError{-8k-}
(PrelBase.Int{-3f-}
-> ExportOpaque.FunnyInternalType{-r6O-} a_taJT
-> PrelBase.String{-r5T-}
-> PrelBase.String{-r5T-}) "<<function>>"
AbsBinds [] [] [([], showList_aKv, showList_aKz)]
showList_aKz = $mshowList_aKx
d.Show_aJQ =
PrelBase.:Show{-r1c-}
(ExportOpaque.FunnyInternalType{-r6O-} a_taJT) showsPrec_aKw
showList_aKv
lit_aKn = PrelBase.I#{-5b-} 10#
>=_aKm = PrelBase.>={-810-} PrelBase.Int{-3f-} d.Ord_aKg
d.Ord_aKg = PrelBase.$d6{-rdt-}
-> ExportOpaque.FunnyInternalType{-r6P-} a_taQk
-> PrelBase.String{-r5U-}
-> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec"
d.Show_aQh =
PrelBase.:Show{-r1d-}
(ExportOpaque.FunnyInternalType{-r6P-} a_taQk) showList_aQj
showsPrec_aQs
lit_aQL = PrelBase.I#{-5b-} 10#
>=_aQK = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aQF
d.Ord_aQF = PrelBase.$dOrdInt0{-rdN-}
ghc: module version changed to 1; reason: no old .hi file
_interface_ ExportOpaque 1
_interface_ ExportOpaque 1 302
_instance_modules_
IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign 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;
PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 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 :: $dEqDouble0 1 $dEqInteger0 1 $dNumDouble0 1 $dNumInteger0 1 $dOrdDouble0 1 $dOrdInteger0 1 $dShowDouble0 1 $dShowInteger0 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;
instance _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} = $dEvalFunnyInternalType0;
instance _forall_ [a] => {PrelBase.Eval (OpaqueType a)} = $dEvalOpaqueType0;
instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} = $dShowFunnyInternalType0;
instance _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} = $dShowOpaqueType0;
_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)} ;;
1 $dEvalFunnyInternalType0 _:_ _forall_ [a] => {PrelBase.Eval (FunnyInternalType a)} ;;
1 $dEvalOpaqueType0 _:_ _forall_ [a] => {PrelBase.Eval (OpaqueType a)} ;;
1 $dShowFunnyInternalType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (FunnyInternalType a)} ;;
1 $dShowOpaqueType0 _:_ _forall_ [a] {PrelBase.Ord a} => {PrelBase.Show (OpaqueType a)} ;;
1 data FunnyInternalType a = Junk11 | Junk2 ;
1 data OpaqueType a = Con (FunnyInternalType a) ;
......@@ -13,8 +13,8 @@ infix 6 fixn
infixl 7 +#
infixr 8 fixr
{- rec -}
bindwith :: _forall_ [] (OrdClass a, OrdClass b) => a -> b -> b
g :: _forall_ [] (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
bindwith :: _forall_ [] (OrdClass a, OrdClass b) => a -> b -> b
fixn x y = x
fixl x y = x
fixr x y = x
......@@ -80,7 +80,7 @@ instance _forall_ [] (Eq a) => EqClass (EqTree a) where
[]
eqc x = 'a'
class (Ord a) => OrdClass a where {
orda :: a -> Char; ordb :: a -> Char; ordc :: a -> Char;
ordc :: a -> Char; ordb :: a -> Char; orda :: a -> Char;
}
class (Eq a) => EqClass a where {
eqc :: a -> Char;
......
......@@ -14,16 +14,16 @@ module Read003 where
read003.hs:8:
Occurs check: cannot construct the infinite type:
aIK = (aIK, aIN, aIQ)
Expected: aIK
Inferred: (aIK, [aIY], aIQ)
In a pattern binding:
~(a, b, c)
| nullity b = a
| nullity c = a
| otherwise = a
where
nullity = null
aMm = (aMm, aMp, aMs)
Expected: (aMm, [aMA], aMs)
Inferred: aMm
In a pattern binding:
~(a, b, c)
| nullity b = a
| nullity c = a
| otherwise = a
where
nullity = null
Compilation had errors
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment