Commit 38c2ef57 authored by keithw's avatar keithw
Browse files

[project @ 1999-05-12 12:23:53 by keithw]

Fix some tests, mainly to deal with new dictionary format in interface files.
parent 192b2bc9
<<function>>
[1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425,1276425,1037862,1276425]
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed a;
1 a :: __forall [a] {PrelBase.Num a} => a -> a ;
1 a :: __forall [a] => {PrelBase.Num a} -> a -> a ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed g;
1 g :: __forall [t t1] {PrelBase.Num t} => ([t], t1) -> t ;
1 g :: __forall [t t1] => {PrelBase.Num t1} -> ([t1], t) -> t1 ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed n;
1 n :: __forall [t] {PrelBase.Num t} => PrelBase.Bool -> t ;
1 n :: __forall [t] => {PrelBase.Num t} -> PrelBase.Bool -> t ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed o;
1 o :: __forall [a] {PrelBase.Num a} => (PrelBase.Bool, a) -> a ;
1 o :: __forall [a] => {PrelBase.Num a} -> (PrelBase.Bool, a) -> a ;
......@@ -2,4 +2,4 @@ ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed k main s;
1 k :: __forall [t t1] => t -> t1 -> t ;
1 main :: __forall [t] => t -> t ;
1 s :: __forall [t t1 t2] => (t2 -> t1 -> t) -> (t2 -> t1) -> t2 -> t ;
1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;
......@@ -2,4 +2,4 @@ ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed k main s;
1 k :: __forall [t t1] => t -> t1 -> t ;
1 main :: __forall [t] => t -> t ;
1 s :: __forall [t t1 t2] => (t2 -> t1 -> t) -> (t2 -> t1) -> t2 -> t ;
1 s :: __forall [t t1 t2] => (t -> t2 -> t1) -> (t -> t2) -> t -> t1 ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed AList{ANull ANode} IntList g;
1 data AList a = ANull | ANode a (AList a) ;
1 g :: __forall [t] {PrelBase.Num t} => AList PrelBase.Bool -> t ;
1 g :: __forall [t] => {PrelBase.Num t} -> AList PrelBase.Bool -> t ;
1 type IntList = AList PrelBase.Int ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed Eqzq{deq};
instance __forall [a] {Eqzq a} => {Eqzq [a]} = zdfEqzqZMZN;
instance __forall [a] => {Eqzq a} -> {Eqzq [a]} = zdfEqzqZMZN;
1 class Eqzq a where {deq :: a -> a -> PrelBase.Bool} ;
1 zdfEqzqZMZN :: __forall [a] {Eqzq a} => {Eqzq [a]} ;
1 zdfEqzqZMZN :: __forall [a] => {Eqzq a} -> {Eqzq [a]} ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed f;
1 f :: __forall [a] {PrelBase.Num a, PrelBase.Eq a} => [a] -> [a] ;
1 f :: __forall [a] => {PrelBase.Num a} -> {PrelBase.Eq a} -> [a] -> [a] ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed f;
1 f :: __forall [a] {PrelBase.Eq a} => a -> [a] ;
1 f :: __forall [a] => {PrelBase.Eq a} -> a -> [a] ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed A{op1} B{op2} f;
instance {A PrelBase.Int} = zdfAInt;
instance __forall [a] {B a} => {B [a]} = zdfBZMZN;
instance __forall [a] => {B a} -> {B [a]} = zdfBZMZN;
1 class A a where {op1 :: a} ;
1 class B b where {op2 :: b -> PrelBase.Int} ;
1 f :: __forall [t a] {A a} => t -> a ;
1 f :: __forall [t a] => {A a} -> t -> a ;
1 zdfAInt :: {A PrelBase.Int} ;
1 zdfBZMZN :: __forall [a] {B a} => {B [a]} ;
1 zdfBZMZN :: __forall [a] => {B a} -> {B [a]} ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed B{op2} C{op1};
instance __forall [a] {B a} => {B [a]} = zdfBZMZN;
instance __forall [a] => {B a} -> {B [a]} = zdfBZMZN;
instance __forall [a] => {C [a]} = zdfCZMZN;
1 class {C a} => B a where {op2 :: a -> a -> a} ;
1 class C a where {op1 :: a -> a} ;
1 zdfBZMZN :: __forall [a] {B a, C [a]} => {B [a]} ;
1 zdfBZMZN :: __forall [a] => {B a} -> {C [a]} -> {B [a]} ;
1 zdfCZMZN :: __forall [a] => {C [a]} ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed OL f mp sd;
1 f :: __forall [t t1 t2] => t -> [(t1, t2)] -> [t2] ;
1 mp :: __forall [t t1] => (t1 -> t) -> [t1] -> [t] ;
1 sd :: __forall [t t1] => (t1, t) -> t ;
1 mp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
1 sd :: __forall [t t1] => (t, t1) -> t1 ;
1 type OL a = [a] ;
......@@ -3,7 +3,7 @@ __export ShouldSucceed AFE{MkAFE} FG{MkFG} OL{MkOL} mAp ranAFE ranOAL sNd;
1 data AFE n a b = MkAFE (OL (n, FG a b)) ;
1 data FG a b = MkFG (OL (a, b)) ;
1 data OL a = MkOL [a] ;
1 mAp :: __forall [t t1] => (t1 -> t) -> [t1] -> [t] ;
1 mAp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
1 ranAFE :: __forall [n a b] => AFE n a b -> [FG a b] ;
1 ranOAL :: __forall [a v] => OL (a, v) -> [v] ;
1 sNd :: __forall [t t1] => (t1, t) -> t ;
1 sNd :: __forall [t t1] => (t, t1) -> t1 ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
1 fib :: __forall [a] {PrelBase.Num a, PrelBase.Ord a} => a -> a ;
1 fib :: __forall [a] => {PrelBase.Num a} -> {PrelBase.Ord a} -> a -> a ;
1 main1 :: PrelBase.Bool ;
1 main2 :: PrelBase.Bool ;
1 main3 :: PrelBase.Bool ;
1 mem :: __forall [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;
1 mem1 :: __forall [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;
1 mem2 :: __forall [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;
1 mem3 :: __forall [t] {PrelBase.Eq [t]} => t -> [t] -> PrelBase.Bool ;
1 mem4 :: __forall [t] {PrelBase.Eq [t]} => t -> [t] -> PrelBase.Bool ;
1 mem :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
1 mem1 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
1 mem2 :: __forall [a] => {PrelBase.Eq a} -> a -> [a] -> PrelBase.Bool ;
1 mem3 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
1 mem4 :: __forall [t] => {PrelBase.Eq [t]} -> t -> [t] -> PrelBase.Bool ;
1 oR :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;
1 oR1 :: PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;
......@@ -4,6 +4,6 @@ instance {Foo PrelBase.Bool} = zdfFooBool;
instance {Foo PrelBase.Int} = zdfFooInt;
1 class Foo a where {o_and :: a -> a -> a} ;
1 f :: __forall [t] => PrelBase.Bool -> t -> PrelBase.Bool ;
1 g :: __forall [t a] {PrelBase.Num a, Foo a} => a -> t -> a ;
1 g :: __forall [t a] => {PrelBase.Num a} -> {Foo a} -> a -> t -> a ;
1 zdfFooBool :: {Foo PrelBase.Bool} ;
1 zdfFooInt :: {Foo PrelBase.Int} ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed Eqzq{doubleeq} Ordzq{lt};
instance {Eqzq PrelBase.Int} = zdfEqzqInt;
instance __forall [a] {Eqzq a} => {Eqzq [a]} = zdfEqzqZMZN;
instance __forall [a] => {Eqzq a} -> {Eqzq [a]} = zdfEqzqZMZN;
instance {Ordzq PrelBase.Int} = zdfOrdzqInt;
1 class Eqzq a where {doubleeq :: a -> a -> PrelBase.Bool} ;
1 class {Eqzq a} => Ordzq a where {lt :: a -> a -> PrelBase.Bool} ;
1 zdfEqzqInt :: {Eqzq PrelBase.Int} ;
1 zdfEqzqZMZN :: __forall [a] {Eqzq a} => {Eqzq [a]} ;
1 zdfEqzqZMZN :: __forall [a] => {Eqzq a} -> {Eqzq [a]} ;
1 zdfOrdzqInt :: {Ordzq PrelBase.Int} ;
ghc: module version changed to 1; reason: no old .hi file
__export ShouldSucceed Eqzq{deq} f;
instance {Eqzq PrelBase.Int} = zdfEqzqInt;
instance __forall [a] {Eqzq a} => {Eqzq [a]} = zdfEqzqZMZN;
instance __forall [a] => {Eqzq a} -> {Eqzq [a]} = zdfEqzqZMZN;
1 class Eqzq a where {deq :: a -> a -> PrelBase.Bool} ;
1 f :: __forall [t] {PrelBase.Num t, Eqzq [t]} => [t] -> PrelBase.Bool ;
1 f :: __forall [t] => {PrelBase.Num t} -> {Eqzq [t]} -> [t] -> PrelBase.Bool ;
1 zdfEqzqInt :: {Eqzq PrelBase.Int} ;
1 zdfEqzqZMZN :: __forall [a] {Eqzq a} => {Eqzq [a]} ;
1 zdfEqzqZMZN :: __forall [a] => {Eqzq a} -> {Eqzq [a]} ;
......@@ -4,6 +4,6 @@ instance {Eqzq PrelBase.Int} = zdfEqzqInt;
instance {Ordzq PrelBase.Int} = zdfOrdzqInt;
1 class Eqzq a where {doubleeq :: a -> a -> PrelBase.Bool} ;
1 class {Eqzq a} => Ordzq a where {lt :: a -> a -> PrelBase.Bool} ;
1 f :: __forall [t a] {PrelBase.Num a, Ordzq a} => a -> t -> PrelBase.Bool ;
1 f :: __forall [t a] => {PrelBase.Num a} -> {Ordzq a} -> a -> t -> PrelBase.Bool ;
1 zdfEqzqInt :: {Eqzq PrelBase.Int} ;
1 zdfOrdzqInt :: {Ordzq PrelBase.Int} ;
Markdown is supported
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