#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar |Owner: igloo
Type: bug | Status: closed
Priority: normal |Milestone: 6.8
#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar |Owner: igloo
Type: bug | Status: new
Priority: normal |Milestone: 6.8
#801: random list from randomseed ... amd64 differs
--+-
Reporter: caaadar | Owner:
Type: bug | Status: new
Priority: normal| Milestone: 6.8
Co
#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
The library works when Int has at least 32 bits. So 64 should be fine.
I guess it should be rewritten with Int32.
-- Lennart
On Sep 28, 2006, at 08:05 , GHC wrote:
#801: random list from randomseed ... amd64 differs
---
+---
#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#801: random list from randomseed ... amd64 differs
---+
Reporter: caaadar |Owner:
Type: bug | Status: new
Priority: normal |Milestone: