i am speculating here, but i guess that if double initializations were to
result in _|_ one would have to check if a cell has already been initialized,
and if so replace it with _|_. currently ghc probably simply overwrites the array elements.
i personally prefer ghc's behavior.
-iavor
Wolfgang Jeltsch wrote:
Am Dienstag, 3. Februar 2004 18:17 schrieb Simon Peyton-Jones:
I think, I've found the problem. GHC seems to not implement Data.Array.array correctly. The implementation doesn't adhere to the following sentence from the Data.Array.IArray.array documentation: If any two associations in the list have the same index, the value at that index is undefined.
Could this be fixed?
[...]
We don't intend to fix this because fixing it will have a significant
overhead on every array construction.
Sorry, but I don't see where the overhead should come from.
[...]
Simon
Wolfgang
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
--
==================================================
| Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering |
| School of OGI at OHSU |
| http://www.cse.ogi.edu/~diatchki |
==================================================
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
