RE: Random.lhs broken in ghc-4.02?

[Sigbjorn Finne (Intl Vendor)]

Hi,

this is a known one - it's fixed in the repository version,
which I've attached to this msg.

hth
--sigbjorn

> Michael Weber [mailto:[EMAIL PROTECTED]] writes: 
> 
> Hi!
> 
> Consider this:
> 
> \begin{code}
> import Random
> 
> main = do r <- randomRIO (6.0::Double,7.0::Double)
>           putStrLn $ "Got " ++ (show r)
>         getChar
>         main
> \end{code}      
> The output is in the interval [6.0..7.0], as expected.
> 
> Now take
> \begin{code}
> import Random
> 
> main = do r <- randomRIO (6::Integer,7::Integer)
>           putStrLn (show r)
>           getChar
>         main
> \end{code}
> 
> Output is in [0,1,2]! (because different type <-> different generator)
> 
> This is clearly not, what one expects... :-)
> 
> The cause seems to be randomIvalInteger. I didn't try to 
> understand what
> _exactly_ it does, but the following fix makes it work more 
> like I need it.
> 


begin 600 Random.lhs
M)0T*)2`H8RD@5&AE($=205-0+T%154$@4')O:F5C="P@1VQA<V=O=R!5;FEV
M97)S:71Y+"`Q.3DU+3DY#0HE#0H-"@T*5&AE($IU;F4@,3DX."`H=C,Q(",V
M*2!I<W-U92!O9B!T:&4@0V]M;75N:6-A=&EO;G,@;V8@=&AE($%#32!H87,@
M86X-"F%R=&EC;&4@8GD@4&EE<G)E($PG16-U>65R(&-A;&QE9"P@(D5F9FEC
M:65N="!A;F0@4&]R=&%B;&4@0V]M8FEN960-"E)A;F1O;2!.=6UB97(@1V5N
M97)A=&]R<R(N("!(97)E(&ES('1H92!0;W)T86)L92!#;VUB:6YE9"!'96YE
M<F%T;W(@;V8-"DPG16-U>65R(&9O<B`S,BUB:70@8V]M<'5T97)S+B`@270@
M:&%S(&$@<&5R:6]D(&]F(')O=6=H;'D@,BXS,#4X-&4Q."X-"@T*5')A;G-L
M:71E<F%T;W(Z($QE;FYA<G0@075G=7-T<W-O;@T*#0IS;V8@,2\Y.2`M(&-O
M9&4@8G)O=6=H="`H:VEC:VEN9R!A;F0@<V-R96%M:6YG*2!I;G1O('1H92!N
M97<@4F%N9&]M#0IW;W)L9"XN#0H-"EQB96=I;GMC;V1E?0T*;6]D=6QE(%)A
M;F1O;0T*"2@-"@D@(%)A;F1O;4=E;BAN97AT+"!S<&QI="D-"@DL(%-T9$=E
M;@T*"2P@;6M3=&1'96X-"@DL(%)A;F1O;2`H(')A;F1O;2P@("!R86YD;VU2
M+`T*"0D@("!R86YD;VUS+"`@<F%N9&]M4G,L#0H)"2`@(')A;F1O;4E/+"!R
M86YD;VU224\@*0T*"2P@9V5T4W1D4F%N9&]M#0H)+"!G9713=&1'96X-"@DL
M('-E=%-T9$=E;@T*"2P@;F5W4W1D1V5N#0H)*2!W:&5R90T*#0II;7!O<G0@
M0U!55&EM92`H9V5T0U!55&EM92D-"FEM<&]R="!0<F5L4U0-"FEM<&]R="!0
M<F5L4F5A9`T*:6UP;W)T(%!R96Q)3T)A<V4-"FEM<&]R="!0<F5L3G5M17AT
M<F$@*"!F;&]A=#)$;W5B;&4L(&1O=6)L93)&;&]A="`I#0II;7!O<G0@4')E
M;$)A<V4-"FEM<&]R="!0<F5L07)R#0II;7!O<G0@0VAA<B`H(&ES4W!A8V4L
M(&-H<BP@;W)D("D-"FEM<&]R="!4:6UE("AG971#;&]C:U1I;64L($-L;V-K
M5&EM92@N+BDI#0H-"EQE;F1[8V]D97T-"@T*7&)E9VEN>V-O9&5]#0IC;&%S
M<R!286YD;VU'96X@9R!W:&5R90T*("`@;F5X="`@.CH@9R`M/B`H26YT+"!G
M*0T*("`@<W!L:70@.CH@9R`M/B`H9RP@9RD-"@T*7&5N9'MC;V1E?0T*#0I<
M8F5G:6Y[8V]D97T-"F1A=&$@4W1D1V5N(`T*(#T@4W1D1V5N($EN="!);G0-
M"@T*:6YS=&%N8V4@4F%N9&]M1V5N(%-T9$=E;B!W:&5R90T*("!N97AT("`]
M('-T9$YE>'0-"B`@<W!L:70@/2!S=&13<&QI=`T*#0II;G-T86YC92!3:&]W
M(%-T9$=E;B!W:&5R90T*("!S:&]W<U!R96,@<"`H4W1D1V5N(',Q(',R*2`]
M(`T*("`@("!S:&]W4VEG;F5D26YT('`@<S$@+B`-"B`@("`@<VAO=U-P86-E
M("`@("`@("`@("X@#0H@("`@('-H;W=3:6=N961);G0@<"!S,@T*#0II;G-T
M86YC92!296%D(%-T9$=E;B!W:&5R90T*("!R96%D<U!R96,@<"`](%P@<B`M
M/@T*("`@("!C87-E('1R>5]R96%D('(@;V8-"B`@("`@("!R0%M?72`M/B!R
M#0H@("`@("`@7R`@("T^(%MS=&1&<F]M4W1R:6YG(')=("TM(&)E8V%U<V4@
M:70@<VAO=6QD;B=T(&5V97(@9F%I;"X-"B`@("!W:&5R92`-"B`@("`@('1R
M>5]R96%D('(@/2!D;PT*("`@("`@("`@*',Q+"!R,2D@/"T@<F5A9$1E8R`H
M9')O<%=H:6QE(&ES4W!A8V4@<BD-"@D@*',R+"!R,BD@/"T@<F5A9$1E8R`H
M9')O<%=H:6QE(&ES4W!A8V4@<C$I#0H)(')E='5R;B`H4W1D1V5N(',Q(',R
M+"!R,BD-"@T*>RT-"B!)9B!W92!C86YN;W0@=6YR879E;"!T:&4@4W1D1V5N
M(&9R;VT@82!S=')I;F<L(&-R96%T90T*(&]N92!B87-E9"!O;B!T:&4@<W1R
M:6YG(&=I=F5N+@T*+7T-"G-T9$9R;VU3=')I;F<@("`@("`@("`Z.B!3=')I
M;F<@+3X@*%-T9$=E;BP@4W1R:6YG*0T*<W1D1G)O;5-T<FEN9R!S("`@("`@
M("`]("AM:U-T9$=E;B!N=6TL(')E<W0I#0H)=VAE<F4@*&-S+"!R97-T*2`]
M('-P;&ET070@-B!S#0H@("`@("`@("`@("`@(&YU;2`@("`@("`@/2!F;VQD
M;"`H7&$@>"`M/B!X("L@,R`J(&$I(#$@*&UA<"!O<F0@8W,I#0I<96YD>V-O
M9&5]#0H-"EQB96=I;GMC;V1E?0T*;6M3=&1'96X@.CH@26YT("T^(%-T9$=E
M;B`M+2!W:'D@;F]T($EN=&5G97(@/PT*;6M3=&1'96X@<PT*('P@<R`\(#`@
M("`@(#T@;6M3=&1'96X@*"US*0T*('P@;W1H97)W:7-E(#T@4W1D1V5N("AS
M,2LQ*2`H<S(K,2D-"B`@("`@('=H97)E#0H)*'$L(',Q*2`](',@8&1I=DUO
M9&`@,C$T-S0X,S4V,@T*"7,R("`@("`@/2!Q(&!M;V1@(#(Q-#<T.#,S.3@-
M"@T*8W)E871E4W1D1V5N(#HZ($EN=&5G97(@+3X@4W1D1V5N#0IC<F5A=&53
M=&1'96X@<PT*('P@<R`\(#`@("`@(#T@8W)E871E4W1D1V5N("@M<RD-"B!\
M(&]T:&5R=VES92`](%-T9$=E;B`H=&]);G0@*',Q*S$I*2`H=&]);G0@*',R
M*S$I*0T*("`@("`@=VAE<F4-"@DH<2P@<S$I(#T@<R!@9&EV36]D8"`R,30W
M-#@S-38R#0H)<S(@("`@("`]('$@8&UO9&`@,C$T-S0X,S,Y.`T*#0I<96YD
M>V-O9&5]#0H-"E1H92!C;&%S<R!D969I;FET:6]N("T@<V5E(&QI8G)A<GD@
M<F5P;W)T(&9O<B!D971A:6QS+@T*#0I<8F5G:6Y[8V]D97T-"F-L87-S(%)A
M;F1O;2!A('=H97)E#0H@("TM($UI;FEM86P@8V]M<&QE=&4@9&5F:6YI=&EO
M;CH@<F%N9&]M(&%N9"!R86YD;VU2#0H@(')A;F1O;2`@.CH@4F%N9&]M1V5N
M(&<@/3X@9R`M/B`H82P@9RD-"B`@<F%N9&]M4B`Z.B!286YD;VU'96X@9R`]
M/B`H82QA*2`M/B!G("T^("AA+&<I#0H@(`T*("!R86YD;VUS("`Z.B!286YD
M;VU'96X@9R`]/B!G("T^(%MA70T*("!R86YD;VUS("!G("`@("`@/2!X(#H@
M<F%N9&]M<R!G)R!W:&5R92`H>"QG)RD@/2!R86YD;VT@9PT*#0H@(')A;F1O
M;5)S(#HZ(%)A;F1O;4=E;B!G(#T^("AA+&$I("T^(&<@+3X@6V%=#0H@(')A
M;F1O;5)S(&EV86P@9R`]('@@.B!R86YD;VU2<R!I=F%L(&<G('=H97)E("AX
M+&<G*2`](')A;F1O;5(@:79A;"!G#0H-"B`@<F%N9&]M24\@(#HZ($E/(&$-
M"B`@<F%N9&]M24\)("`@/2!G9713=&1286YD;VT@<F%N9&]M#0H-"B`@<F%N
M9&]M4DE/(#HZ("AA+&$I("T^($E/(&$-"B`@<F%N9&]M4DE/(')A;F=E("`]
M(&=E=%-T9%)A;F1O;2`H<F%N9&]M4B!R86YG92D-"EQE;F1[8V]D97T-"@T*
M7&)E9VEN>V-O9&5]#0II;G-T86YC92!286YD;VT@26YT('=H97)E#0H@(')A
M;F1O;5(@*&$L8BD@9R`](')A;F1O;4EV86Q);G1E9V5R("AT;TEN=&5G97(@
M82P@=&]);G1E9V5R(&(I(&<-"B`@<F%N9&]M(&<@("`@("`@(#T@<F%N9&]M
M4B`H;6EN0F]U;F0L;6%X0F]U;F0I(&<-"@T*:6YS=&%N8V4@4F%N9&]M($-H
M87(@=VAE<F4-"B`@<F%N9&]M4B`H82QB*2!G(#T@#0H@("`@("!C87-E("AR
M86YD;VU)=F%L26YT96=E<B`H=&]);G1E9V5R("AO<F0@82DL('1O26YT96=E
M<B`H;W)D(&(I*2!G*2!O9@T*("`@("`@("`H>"QG*2`M/B`H8VAR('@L(&<I
M#0H@(')A;F1O;2!G"2`@/2!R86YD;VU2("AM:6Y";W5N9"QM87A";W5N9"D@
M9PT*#0II;G-T86YC92!286YD;VT@0F]O;"!W:&5R90T*("!R86YD;VU2("AA
M+&(I(&<@/2`-"B`@("`@(&-A<V4@*')A;F1O;4EV86Q);G1E9V5R("AT;TEN
M=&5G97(@*&)O;VPR26YT(&$I+"!T;TEN=&5G97(@*&)O;VPR26YT(&(I*2!G
M*2!O9@T*("`@("`@("`H>"P@9RD@+3X@*&EN=#)";V]L('@L(&<I#0H@("`@
M("`@=VAE<F4-"B`@("`@("`@(&)O;VPR26YT($9A;'-E(#T@,`T*("`@("`@
M("`@8F]O;#));G0@5')U92`@/2`Q#0H-"@D@:6YT,D)O;VP@,`D]($9A;'-E
M#0H)(&EN=#)";V]L(%\)/2!4<G5E#0H-"B`@<F%N9&]M(&<)("`](')A;F1O
M;5(@*&UI;D)O=6YD+&UA>$)O=6YD*2!G#0H@#0II;G-T86YC92!286YD;VT@
M26YT96=E<B!W:&5R90T*("!R86YD;VU2(&EV86P@9R`](')A;F1O;4EV86Q)
M;G1E9V5R(&EV86P@9PT*("!R86YD;VT@9PD@/2!R86YD;VU2("AT;TEN=&5G
M97(@*&UI;D)O=6YD.CI);G0I+"!T;TEN=&5G97(@*&UA>$)O=6YD.CI);G0I
M*2!G#0H-"FEN<W1A;F-E(%)A;F1O;2!$;W5B;&4@=VAE<F4-"B`@<F%N9&]M
M4B!I=F%L(&<@/2!R86YD;VU)=F%L1&]U8FQE(&EV86P@:60@9PT*("!R86YD
M;VT@9R`@("`@("`](')A;F1O;5(@*#`Z.D1O=6)L92PQ*2!G#0H@(`T*+2T@
M:&%H+"!S;R!Y;W4@=&AO=6=H="!Y;W4@=V5R92!S879I;F<@8WEC;&5S(&)Y
M('5S:6YG($9L;V%T/PT*:6YS=&%N8V4@4F%N9&]M($9L;V%T('=H97)E#0H@
M(')A;F1O;5(@*&$L8BD@9R`](')A;F1O;4EV86Q$;W5B;&4@*&9L;V%T,D1O
M=6)L92!A+"!F;&]A=#)$;W5B;&4@8BD@9&]U8FQE,D9L;V%T(&<-"B`@<F%N
M9&]M(&<@("`@("`@(#T@<F%N9&]M279A;$1O=6)L92`H,#HZ1&]U8FQE+#$I
M(&1O=6)L93)&;&]A="!G#0H-"EQE;F1[8V]D97T-"@T*#0I<8F5G:6Y[8V]D
M97T-"FUK4W1D4DY'(#HZ($EN=&5G97(@+3X@24\@4W1D1V5N#0IM:U-T9%).
M1R!O(#T@9&\-"B`@("!C="`@("`@("`@("`\+2!G971#4%54:6UE#0H@("`@
M*%1/1"!S96,@7RD@/"T@9V5T0VQO8VM4:6UE#0H@("`@<F5T=7)N("AC<F5A
M=&53=&1'96X@*'-E8R`J(#$R,S0U("L@8W0@*R!O*2D-"@T*<F%N9&]M279A
M;$EN=&5G97(@.CH@*%)A;F1O;4=E;B!G+"!.=6T@82D@/3X@*$EN=&5G97(L
M($EN=&5G97(I("T^(&<@+3X@*&$L(&<I#0IR86YD;VU)=F%L26YT96=E<B`H
M;"QH*2!R;F<-"B!\(&P@/B!H("`@("`](')A;F1O;4EV86Q);G1E9V5R("AH
M+&PI(')N9PT*('P@;W1H97)W:7-E(#T@8V%S92`H9B!N(#$@<FYG*2!O9B`H
M=BP@<FYG)RD@+3X@*&9R;VU);G1E9V5R("AL("L@=B!@;6]D8"!K*2P@<FYG
M)RD-"B`@("`@=VAE<F4-"B`@("`@("!K(#T@:"`M(&P@*R`Q#0H@("`@("`@
M8B`](#(Q-#<T.#,U-C$-"B`@("`@("!N(#T@:4QO9T)A<V4@8B!K#0H-"B`@
M("`@("!F(#`@86-C(&<@/2`H86-C+"!G*0T*("`@("`@(&8@;B!A8V,@9R`]
M(`T*("`@("`@("`@(&QE=`T*"2`@("AX+&<G*2`@(#T@;F5X="!G#0H)("!I
M;@T*"2`@9B`H;BTQ*2`H9G)O;4EN="!X("L@86-C("H@8BD@9R<-"@T*<F%N
M9&]M279A;$1O=6)L92`Z.B`H4F%N9&]M1V5N(&<L($9R86-T:6]N86P@82D@
M/3X@*$1O=6)L92P@1&]U8FQE*2`M/B`H1&]U8FQE("T^(&$I("T^(&<@+3X@
M*&$L(&<I#0IR86YD;VU)=F%L1&]U8FQE("AL+&@I(&9R;VU$;W5B;&4@<FYG
M(`T*("!\(&P@/B!H("`@("`](')A;F1O;4EV86Q$;W5B;&4@*&@L;"D@9G)O
M;41O=6)L92!R;F<-"B`@?"!O=&AE<G=I<V4@/2`-"B`@("`@("!C87-E("AR
M86YD;VU)=F%L26YT96=E<B`H=&]);G1E9V5R("AM:6Y";W5N9#HZ26YT*2P@
M=&]);G1E9V5R("AM87A";W5N9#HZ26YT*2D@<FYG*2!O9@T*("`@("`@("`@
M*'@L(')N9R<I("T^(`T*"2`@("!L970-"@D@("`@('-C86QE9%]X(#T@#0H)
M"69R;VU$;W5B;&4@*"AL*V@I+S(I("L@#0H@("`@("`@("`@("`@("`@9G)O
M;41O=6)L92`H*&@M;"D@+R!R96%L5&]&<F%C(&EN=%)A;F=E*2`J#0H)"69R
M;VU);G1E9W)A;"`H>#HZ26YT*0T*"2`@("!I;@T*"2`@("`H<V-A;&5D7W@L
M(')N9R<I#0H-"FEN=%)A;F=E(#HZ($EN=&5G97(-"FEN=%)A;F=E("`]('1O
M26YT96=E<B`H;6%X0F]U;F0Z.DEN="D@+2!T;TEN=&5G97(@*&UI;D)O=6YD
M.CI);G0I#0H-"FE,;V="87-E(#HZ($EN=&5G97(@+3X@26YT96=E<B`M/B!)
M;G1E9V5R#0II3&]G0F%S92!B(&D@/2!I9B!I(#P@8B!T:&5N(#$@96QS92`Q
M("L@:4QO9T)A<V4@8B`H:2!@9&EV8"!B*0T*#0IS=&1.97AT(#HZ(%-T9$=E
M;B`M/B`H26YT+"!3=&1'96XI#0IS=&1.97AT("A3=&1'96X@<S$@<S(I(#T@
M*'HG+"!3=&1'96X@<S$G)R!S,B<G*0T*"7=H97)E"7HG("`@/2!I9B!Z(#P@
M,2!T:&5N('H@*R`R,30W-#@S-38R(&5L<V4@>@T*"0EZ("`@(#T@<S$G)R`M
M(',R)R<-"@T*"0EK("`@(#T@<S$@8'%U;W1@(#4S-C8X#0H)"7,Q)R`@/2`T
M,#`Q-"`J("AS,2`M(&L@*B`U,S8V."D@+2!K("H@,3(R,3$-"@D)<S$G)R`]
M(&EF(',Q)R`\(#`@=&AE;B!S,2<@*R`R,30W-#@S-38S(&5L<V4@<S$G#0H@
M("`@#0H)"6LG("`@/2!S,B!@<75O=&`@-3(W-S0-"@D)<S(G("`](#0P-CDR
M("H@*',R("T@:R<@*B`U,C<W-"D@+2!K)R`J(#,W.3$-"@D)<S(G)R`](&EF
M(',R)R`\(#`@=&AE;B!S,B<@*R`R,30W-#@S,SDY(&5L<V4@<S(G#0H-"G-T
M9%-P;&ET(#HZ(%-T9$=E;B`M/B`H4W1D1V5N+"!3=&1'96XI#0IS=&13<&QI
M="!S=&1`*%-T9$=E;B!S,2!S,BD@/2`H<W1D+"!U;G-A9F5097)F;W)M24\@
M*&UK4W1D4DY'("AF<F]M26YT(',Q*2DI#0H)#0I<96YD>V-O9&5]#0H-"@T*
M7&)E9VEN>V-O9&5]#0IG;&]B86Q?<FYG(#HZ($UU=&%B;&5687(@4F5A;%=O
M<FQD(%-T9$=E;@T*9VQO8F%L7W)N9R`]('5N<V%F95!E<F9O<FU)3R`D(&1O
M#0H@("!R;F<@/"T@;6M3=&123D<@,`T*("`@<W14;TE/("AN97=687(@<FYG
M*0T*#0IS9713=&1'96X@.CH@4W1D1V5N("T^($E/("@I#0IS9713=&1'96X@
M<V=E;B`]('-T5&])3R`H=W)I=&5687(@9VQO8F%L7W)N9R!S9V5N*0T*#0IG
M9713=&1'96X@.CH@24\@4W1D1V5N#0IG9713=&1'96X@/2!S=%1O24\@*')E
M861687(@9VQO8F%L7W)N9RD-"@T*;F5W4W1D1V5N(#HZ($E/(%-T9$=E;@T*
M;F5W4W1D1V5N(#T@9&\-"B`@<FYG(#PM(&=E=%-T9$=E;@T*("!L970@*&$L
M8BD@/2!S<&QI="!R;F<-"B`@<V5T4W1D1V5N(&$-"B`@<F5T=7)N(&(-"@T*
M9V5T4W1D4F%N9&]M(#HZ("A3=&1'96X@+3X@*&$L4W1D1V5N*2D@+3X@24\@
M80T*9V5T4W1D4F%N9&]M(&8@/2!D;PT*("`@<FYG"0D\+2!G9713=&1'96X-
M"B`@(&QE="`H=BP@;F5W7W)N9RD@/2!F(')N9PT*("`@<V5T4W1D1V5N(&YE
@=U]R;F<-"B`@(')E='5R;B!V#0I<96YD>V-O9&5]#0H=
`
end