Commit f44573e7 authored by Simon Marlow's avatar Simon Marlow

update output (Show Ratio changes)

parent 86f15573
......@@ -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,(-2147483648)%1,2147483647%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,(-2147483648) % 1,2147483647 % 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,(-2147483648)%1,2147483647%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,(-2147483648) % 1,2147483647 % 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)..]) = [2147483642%1,2147483643%1,2147483644%1,2147483645%1,2147483646%1,2147483647%1,(-2147483648)%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 ..]) = [(-2147483647)%1,(-2147483648)%1,2147483647%1,2147483646%1,2147483645%1,2147483644%1,2147483643%1]
(take 7 [x, x-1 ..]) = [(-2147483643)%1,(-2147483644)%1,(-2147483645)%1,(-2147483646)%1,(-2147483647)%1,(-2147483648)%1,2147483647%1]
(take 7 [x, (x+1) ..]) = [2147483642%1,2147483643%1,2147483644%1,2147483645%1,2147483646%1,2147483647%1,(-2147483648)%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)..]) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1,(-2147483648) % 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 ..]) = [(-2147483647) % 1,(-2147483648) % 1,2147483647 % 1,2147483646 % 1,2147483645 % 1,2147483644 % 1,2147483643 % 1]
(take 7 [x, x-1 ..]) = [(-2147483643) % 1,(-2147483644) % 1,(-2147483645) % 1,(-2147483646) % 1,(-2147483647) % 1,(-2147483648) % 1,2147483647 % 1]
(take 7 [x, (x+1) ..]) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1,(-2147483648) % 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])) = [2147483642%1,2147483643%1,2147483644%1,2147483645%1,2147483646%1,2147483647%1]
(take 7 ([x..y])) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 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]) = [2147483643%1,2147483644%1,2147483645%1,2147483646%1,2147483647%1]
(take 7 [x,(x-1)..y]) = [(-2147483643)%1,(-2147483644)%1,(-2147483645)%1,(-2147483646)%1,(-2147483647)%1,(-2147483648)%1]
(take 7 [x,(x+1)..y]) = [2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 1]
(take 7 [x,(x-1)..y]) = [(-2147483643) % 1,(-2147483644) % 1,(-2147483645) % 1,(-2147483646) % 1,(-2147483647) % 1,(-2147483648) % 1]
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