Commit 29e224e0 authored by Simon Marlow's avatar Simon Marlow

accept output (Show Ratio changes)

parent 373460d1
......@@ -187,60 +187,60 @@ Testing Enum Bool:
take 7 ([True,True .. False]) = []
take 7 ([True,True .. True]) = [True,True,True,True,True,True,True]
Testing Enum Rational:
(succ (0::Rational)) = 1%1
(succ ((-1)::Rational)) = 0%1
pred (1::Rational) = 0%1
pred (0::Rational) = (-1)%1
(map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1%1,(-9223372036854775808)%1,9223372036854775807%1]
(succ (0::Rational)) = 1 % 1
(succ ((-1)::Rational)) = 0 % 1
pred (1::Rational) = 0 % 1
pred (0::Rational) = (-1) % 1
(map (toEnum::Int->Rational) [1,minBound,maxBound]) = [1 % 1,(-9223372036854775808) % 1,9223372036854775807 % 1]
(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 [(-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),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),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 ([(1::Rational) .. 5])) = [1%1,2%1,3%1,4%1,5%1]
(take 4 ([(1::Rational) .. 1])) = [1%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 [(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),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 [(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 4 ([(1::Rational) .. 1])) = [1 % 1]
(take 7 ([(1::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),3..1]) = [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 [(2::Rational),1..2]) = [2%1]
(take 7 [(2::Rational),1..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..2]) = [5 % 1,3 % 1,1 % 1]
(take 7 [(1::Rational),2..1]) = [1 % 1]
(take 7 [(2::Rational),1..2]) = [2 % 1]
(take 7 [(2::Rational),1..1]) = [2 % 1,1 % 1]
(take 7 [(2::Rational),3..1]) = []
Testing Enum (Ratio Int):
(succ (0::Ratio Int)) = 1%1
(succ ((-1)::Ratio Int)) = 0%1
pred (1::Ratio Int) = 0%1
pred (0::Ratio Int) = (-1)%1
(map (toEnum::Int->Ratio Int) [1,minBound,maxBound]) = [1%1,(-9223372036854775808)%1,9223372036854775807%1]
(succ (0::Ratio Int)) = 1 % 1
(succ ((-1)::Ratio Int)) = 0 % 1
pred (1::Ratio Int) = 0 % 1
pred (0::Ratio Int) = (-1) % 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]
(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 [((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),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),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 [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) ..]) = [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 4 ([(1::Ratio Int) .. 1])) = [1%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 [((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),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),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 [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) ..]) = [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 4 ([(1::Ratio Int) .. 1])) = [1 % 1]
(take 7 ([(1::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 [(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..2]) = [5%1,3%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..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..2]) = [5 % 1,3 % 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..1]) = [2 % 1,1 % 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,(-9223372036854775808)%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]
[0%1,0%1,0%1,2%1,2%1,(-2)%1,(-2)%1,22%7,1%5000]
[0 % 1,0 % 1,0 % 1,2 % 1,2 % 1,(-2) % 1,(-2) % 1,22 % 7,1 % 5000]
[0,0,0,2,2,-2,-2,22,1,1,1,1,1,1,1,1,7,5000]
[0%1,0%1,0%1,2%1,2%1,(-2)%1,(-2)%1,22%7,1%5000]
[0 % 1,0 % 1,0 % 1,2 % 1,2 % 1,(-2) % 1,(-2) % 1,22 % 7,1 % 5000]
[0,0,0,2,2,-2,-2,22,1,1,1,1,1,1,1,1,7,5000]
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