Skip to content
Snippets Groups Projects
Commit 75fe1fd9 authored by Simon Marlow's avatar Simon Marlow
Browse files

[project @ 2000-04-18 16:47:50 by simonmar]

enumFrom<blah> on Ratios changed slightly recently.  The current
behaviour is correct.
parent f5c54ab3
No related merge requests found
......@@ -190,7 +190,7 @@ Testing Enum Rational:
(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]
(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]
......@@ -204,15 +204,15 @@ Testing Enum (Ratio Int):
(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]
(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]
(take 7 [x, x-1 ..]) = [-2147483643 % 1,-2147483644 % 1,-2147483645 % 1,-2147483646 % 1,-2147483647 % 1,-2147483648 % 1]
(take 7 [x, (x+1) ..]) = [2147483642 % 1,2147483643 % 1,2147483644 % 1,2147483645 % 1,2147483646 % 1,2147483647 % 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])) = []
......@@ -221,7 +221,7 @@ Testing Enum (Ratio Int):
(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]
(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]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment