[Haskell-cafe] lazily traversing a foreign data structure

[Ryan Ingram]

On 10/25/07, Brandon S. Allbery KF8NH <allbery at ece.cmu.edu> wrote:
> I think it might actually be safe in this case:  if the file changes
> out from under your lazy I/O, far worse things happen in the gdbm
> library layer than in the unsafe-IO Haskell layer.

Right, but if you do something like

do
  keys <- getKeysLazy db
  [.. some computation A here that may or may not evaluate all the keys ..]
  addRow db newRow
  [.. some other computation B that uses the key list ..]

does B see the new row or not?