Hi,
I am trying to use the output value from the random function to generate
the random generator for the next value in list.
Below is the code -
----
import System.Random
myrandoms :: (RandomGen g, Random a) => g -> [a]
myrandoms gen = let (value, newGen) = random gen in value:myrandoms
(mkStdGen (value::Int))
----
however the compilation fails when the module is loaded -
[1 of 1] Compiling Main ( myrandoms.hs, interpreted )
myrandoms.hs:3:80:
Could not deduce (a ~ Int)
from the context (RandomGen g, Random a)
bound by the type signature for
myrandoms :: (RandomGen g, Random a) => g -> [a]
at myrandoms.hs:2:14-48
`a' is a rigid type variable bound by
the type signature for
myrandoms :: (RandomGen g, Random a) => g -> [a]
at myrandoms.hs:2:14
Relevant bindings include
value :: a (bound at myrandoms.hs:3:22)
myrandoms :: g -> [a] (bound at myrandoms.hs:3:1)
In the first argument of `mkStdGen', namely `(value :: Int)'
In the first argument of `myrandoms', namely
`(mkStdGen (value :: Int))'
----------
Even though I am converting my 'value' parameter to Int in my new
generator, I am unable to see the error behind this.
Please can someone explain or even better provide a fix.
Thanks,
Shishir
