[project @ 2003-01-13 11:42:16 by simonmar]
authorsimonmar <unknown>
Mon, 13 Jan 2003 11:42:16 +0000 (11:42 +0000)
committersimonmar <unknown>
Mon, 13 Jan 2003 11:42:16 +0000 (11:42 +0000)
UArrays should always be initialized with known elements, otherwise we
can lose referential transparency:

Prelude> :m + Data.Array.Unboxed
Prelude Data.Array.Unboxed> let f () = array (1, 5) [] :: UArray Int Int
Prelude Data.Array.Unboxed> f () == f ()
False

Noticed-by: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>

MERGE TO STABLE


No differences found