Commit fa661413 authored by ross's avatar ross

[project @ 2004-11-17 11:03:06 by ross]

update output (though the alpha one looks out-of-date)
parent 86abe71c
...@@ -118,10 +118,10 @@ Testing Enum (): ...@@ -118,10 +118,10 @@ Testing Enum ():
(toEnum 0)::() = () (toEnum 0)::() = ()
(toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument" (toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument"
(fromEnum ()) = 0 (fromEnum ()) = 0
([()..]) = [()] (take 7 [()..]) = [()]
([(),()..]) = [()] (take 7 [(),()..]) = [()]
([()..()]) = [()] (take 7 [()..()]) = [()]
([(),()..()]) = [()] (take 7 [(),()..()]) = [()]
Testing Enum Ordering (derived): Testing Enum Ordering (derived):
(succ LT) = EQ (succ LT) = EQ
(succ (minBound::Ordering)) = EQ (succ (minBound::Ordering)) = EQ
......
...@@ -102,10 +102,10 @@ Testing Enum (): ...@@ -102,10 +102,10 @@ Testing Enum ():
(toEnum 0)::() = () (toEnum 0)::() = ()
(toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument" (toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument"
(fromEnum ()) = 0 (fromEnum ()) = 0
([()..]) = [()] (take 7 [()..]) = [()]
([(),()..]) = [()] (take 7 [(),()..]) = [()]
([()..()]) = [()] (take 7 [()..()]) = [()]
([(),()..()]) = [()] (take 7 [(),()..()]) = [()]
Testing Enum Ordering (derived): Testing Enum Ordering (derived):
(succ LT) = EQ (succ LT) = EQ
(succ (minBound::Ordering)) = EQ (succ (minBound::Ordering)) = EQ
...@@ -171,60 +171,60 @@ Testing Enum Bool: ...@@ -171,60 +171,60 @@ Testing Enum Bool:
take 7 ([True,True .. False]) = [] take 7 ([True,True .. False]) = []
take 7 ([True,True .. True]) = [True,True,True,True,True,True,True] take 7 ([True,True .. True]) = [True,True,True,True,True,True,True]
Testing Enum Rational: Testing Enum Rational:
(succ (0::Rational)) = 1 % 1 (succ (0::Rational)) = 1%1
(succ ((-1)::Rational)) = 0 % 1 (succ ((-1)::Rational)) = 0%1
pred (1::Rational) = 0 % 1 pred (1::Rational) = 0%1
pred (0::Rational) = (-1) % 1 pred (0::Rational) = (-1)%1
(map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1 % 1,(-9223372036854775808) % 1,9223372036854775807 % 1] (map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1%1,(-9223372036854775808)%1,9223372036854775807%1]
(map fromEnum [(1::Rational),42,45]) = [1,42,45] (map fromEnum [(1::Rational),42,45]) = [1,42,45]
(take 7 [(1::Rational)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1] (take 7 [(1::Rational)..]) = [1%1,2%1,3%1,4%1,5%1,6%1,7%1]
(take 7 [(-5::Rational)..]) = [(-5) % 1,(-4) % 1,(-3) % 1,(-2) % 1,(-1) % 1,0 % 1,1 % 1] (take 7 [(-5::Rational)..]) = [(-5)%1,(-4)%1,(-3)%1,(-2)%1,(-1)%1,0%1,1%1]
(take 7 [(1::Rational),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1] (take 7 [(1::Rational),2..]) = [1%1,2%1,3%1,4%1,5%1,6%1,7%1]
(take 7 [(1::Rational),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1] (take 7 [(1::Rational),7..]) = [1%1,7%1,13%1,19%1,25%1,31%1,37%1]
(take 7 [(1::Rational),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1] (take 7 [(1::Rational),1..]) = [1%1,1%1,1%1,1%1,1%1,1%1,1%1]
(take 7 [(1::Rational),0..]) = [1 % 1,0 % 1,(-1) % 1,(-2) % 1,(-3) % 1,(-4) % 1,(-5) % 1] (take 7 [(1::Rational),0..]) = [1%1,0%1,(-1)%1,(-2)%1,(-3)%1,(-4)%1,(-5)%1]
(take 7 [(5::Rational),2..]) = [5 % 1,2 % 1,(-1) % 1,(-4) % 1,(-7) % 1,(-10) % 1,(-13) % 1] (take 7 [(5::Rational),2..]) = [5%1,2%1,(-1)%1,(-4)%1,(-7)%1,(-10)%1,(-13)%1]
(take 7 ([(1::Rational) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1] (take 7 ([(1::Rational) .. 5])) = [1%1,2%1,3%1,4%1,5%1]
(take 4 ([(1::Rational) .. 1])) = [1 % 1] (take 4 ([(1::Rational) .. 1])) = [1%1]
(take 7 ([(1::Rational) .. 0])) = [] (take 7 ([(1::Rational) .. 0])) = []
(take 7 ([(5::Rational) .. 0])) = [] (take 7 ([(5::Rational) .. 0])) = []
(take 7 [(5::Rational),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1] (take 7 [(5::Rational),4..1]) = [5%1,4%1,3%1,2%1,1%1]
(take 7 [(5::Rational),3..1]) = [5 % 1,3 % 1,1 % 1] (take 7 [(5::Rational),3..1]) = [5%1,3%1,1%1]
(take 7 [(5::Rational),3..2]) = [5 % 1,3 % 1,1 % 1] (take 7 [(5::Rational),3..2]) = [5%1,3%1,1%1]
(take 7 [(1::Rational),2..1]) = [1 % 1] (take 7 [(1::Rational),2..1]) = [1%1]
(take 7 [(2::Rational),1..2]) = [2 % 1] (take 7 [(2::Rational),1..2]) = [2%1]
(take 7 [(2::Rational),1..1]) = [2 % 1,1 % 1] (take 7 [(2::Rational),1..1]) = [2%1,1%1]
(take 7 [(2::Rational),3..1]) = [] (take 7 [(2::Rational),3..1]) = []
Testing Enum (Ratio Int): Testing Enum (Ratio Int):
(succ (0::Ratio Int)) = 1 % 1 (succ (0::Ratio Int)) = 1%1
(succ ((-1)::Ratio Int)) = 0 % 1 (succ ((-1)::Ratio Int)) = 0%1
pred (1::Ratio Int) = 0 % 1 pred (1::Ratio Int) = 0%1
pred (0::Ratio Int) = (-1) % 1 pred (0::Ratio Int) = (-1)%1
(map (toEnum::Int->Ratio Int) [1,minBound,maxBound]) = [1 % 1,(-9223372036854775808) % 1,9223372036854775807 % 1] (map (toEnum::Int->Ratio Int) [1,minBound,maxBound]) = [1%1,(-9223372036854775808)%1,9223372036854775807%1]
(map fromEnum [(1::Ratio Int),42,45]) = [1,42,45] (map fromEnum [(1::Ratio Int),42,45]) = [1,42,45]
(take 7 [(1::Ratio Int)..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1] (take 7 [(1::Ratio Int)..]) = [1%1,2%1,3%1,4%1,5%1,6%1,7%1]
(take 7 [(-5::Ratio Int)..]) = [(-5) % 1,(-4) % 1,(-3) % 1,(-2) % 1,(-1) % 1,0 % 1,1 % 1] (take 7 [(-5::Ratio Int)..]) = [(-5)%1,(-4)%1,(-3)%1,(-2)%1,(-1)%1,0%1,1%1]
(take 7 [((toEnum ((maxBound::Int)-5))::Ratio Int)..]) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1,(-9223372036854775808) % 1] (take 7 [((toEnum ((maxBound::Int)-5))::Ratio Int)..]) = [9223372036854775802%1,9223372036854775803%1,9223372036854775804%1,9223372036854775805%1,9223372036854775806%1,9223372036854775807%1,(-9223372036854775808)%1]
(take 7 [(1::Ratio Int),2..]) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1,6 % 1,7 % 1] (take 7 [(1::Ratio Int),2..]) = [1%1,2%1,3%1,4%1,5%1,6%1,7%1]
(take 7 [(1::Ratio Int),7..]) = [1 % 1,7 % 1,13 % 1,19 % 1,25 % 1,31 % 1,37 % 1] (take 7 [(1::Ratio Int),7..]) = [1%1,7%1,13%1,19%1,25%1,31%1,37%1]
(take 7 [(1::Ratio Int),1..]) = [1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1,1 % 1] (take 7 [(1::Ratio Int),1..]) = [1%1,1%1,1%1,1%1,1%1,1%1,1%1]
(take 7 [(1::Ratio Int),0..]) = [1 % 1,0 % 1,(-1) % 1,(-2) % 1,(-3) % 1,(-4) % 1,(-5) % 1] (take 7 [(1::Ratio Int),0..]) = [1%1,0%1,(-1)%1,(-2)%1,(-3)%1,(-4)%1,(-5)%1]
(take 7 [(5::Ratio Int),2..]) = [5 % 1,2 % 1,(-1) % 1,(-4) % 1,(-7) % 1,(-10) % 1,(-13) % 1] (take 7 [(5::Ratio Int),2..]) = [5%1,2%1,(-1)%1,(-4)%1,(-7)%1,(-10)%1,(-13)%1]
(take 7 [x, x-1 ..]) = [(-9223372036854775807) % 1,(-9223372036854775808) % 1,9223372036854775807 % 1,9223372036854775806 % 1,9223372036854775805 % 1,9223372036854775804 % 1,9223372036854775803 % 1] (take 7 [x, x-1 ..]) = [(-9223372036854775807)%1,(-9223372036854775808)%1,9223372036854775807%1,9223372036854775806%1,9223372036854775805%1,9223372036854775804%1,9223372036854775803%1]
(take 7 [x, x-1 ..]) = [(-9223372036854775803) % 1,(-9223372036854775804) % 1,(-9223372036854775805) % 1,(-9223372036854775806) % 1,(-9223372036854775807) % 1,(-9223372036854775808) % 1,9223372036854775807 % 1] (take 7 [x, x-1 ..]) = [(-9223372036854775803)%1,(-9223372036854775804)%1,(-9223372036854775805)%1,(-9223372036854775806)%1,(-9223372036854775807)%1,(-9223372036854775808)%1,9223372036854775807%1]
(take 7 [x, (x+1) ..]) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1,(-9223372036854775808) % 1] (take 7 [x, (x+1) ..]) = [9223372036854775802%1,9223372036854775803%1,9223372036854775804%1,9223372036854775805%1,9223372036854775806%1,9223372036854775807%1,(-9223372036854775808)%1]
(take 7 ([(1::Ratio Int) .. 5])) = [1 % 1,2 % 1,3 % 1,4 % 1,5 % 1] (take 7 ([(1::Ratio Int) .. 5])) = [1%1,2%1,3%1,4%1,5%1]
(take 4 ([(1::Ratio Int) .. 1])) = [1 % 1] (take 4 ([(1::Ratio Int) .. 1])) = [1%1]
(take 7 ([(1::Ratio Int) .. 0])) = [] (take 7 ([(1::Ratio Int) .. 0])) = []
(take 7 ([(5::Ratio Int) .. 0])) = [] (take 7 ([(5::Ratio Int) .. 0])) = []
(take 7 ([x..y])) = [9223372036854775802 % 1,9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1] (take 7 ([x..y])) = [9223372036854775802%1,9223372036854775803%1,9223372036854775804%1,9223372036854775805%1,9223372036854775806%1,9223372036854775807%1]
(take 7 ([x..y])) = [] (take 7 ([x..y])) = []
(take 7 [(5::Ratio Int),4..1]) = [5 % 1,4 % 1,3 % 1,2 % 1,1 % 1] (take 7 [(5::Ratio Int),4..1]) = [5%1,4%1,3%1,2%1,1%1]
(take 7 [(5::Ratio Int),3..1]) = [5 % 1,3 % 1,1 % 1] (take 7 [(5::Ratio Int),3..1]) = [5%1,3%1,1%1]
(take 7 [(5::Ratio Int),3..2]) = [5 % 1,3 % 1,1 % 1] (take 7 [(5::Ratio Int),3..2]) = [5%1,3%1,1%1]
(take 7 [(1::Ratio Int),2..1]) = [1 % 1] (take 7 [(1::Ratio Int),2..1]) = [1%1]
(take 7 [(2::Ratio Int),1..2]) = [2 % 1] (take 7 [(2::Ratio Int),1..2]) = [2%1]
(take 7 [(2::Ratio Int),1..1]) = [2 % 1,1 % 1] (take 7 [(2::Ratio Int),1..1]) = [2%1,1%1]
(take 7 [(2::Ratio Int),3..1]) = [] (take 7 [(2::Ratio Int),3..1]) = []
(take 7 [x,(x+1)..y]) = [9223372036854775803 % 1,9223372036854775804 % 1,9223372036854775805 % 1,9223372036854775806 % 1,9223372036854775807 % 1] (take 7 [x,(x+1)..y]) = [9223372036854775803%1,9223372036854775804%1,9223372036854775805%1,9223372036854775806%1,9223372036854775807%1]
(take 7 [x,(x-1)..y]) = [(-9223372036854775803) % 1,(-9223372036854775804) % 1,(-9223372036854775805) % 1,(-9223372036854775806) % 1,(-9223372036854775807) % 1,(-9223372036854775808) % 1] (take 7 [x,(x-1)..y]) = [(-9223372036854775803)%1,(-9223372036854775804)%1,(-9223372036854775805)%1,(-9223372036854775806)%1,(-9223372036854775807)%1,(-9223372036854775808)%1]
...@@ -102,10 +102,10 @@ Testing Enum (): ...@@ -102,10 +102,10 @@ Testing Enum ():
(toEnum 0)::() = () (toEnum 0)::() = ()
(toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument" (toEnum 1)::() = error "Prelude.Enum.().toEnum: bad argument"
(fromEnum ()) = 0 (fromEnum ()) = 0
([()..]) = [()] (take 7 [()..]) = [()]
([(),()..]) = [()] (take 7 [(),()..]) = [()]
([()..()]) = [()] (take 7 [()..()]) = [()]
([(),()..()]) = [()] (take 7 [(),()..()]) = [()]
Testing Enum Ordering (derived): Testing Enum Ordering (derived):
(succ LT) = EQ (succ LT) = EQ
(succ (minBound::Ordering)) = EQ (succ (minBound::Ordering)) = EQ
......
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