Am Montag, 29. Dezember 2008 12:54 schrieb Simon Peyton-Jones: > What a great bug -- I would never have predicted it, but in retrospect it > makes perfect sense. Record selectors had better get fixed. Can I read somewhere about what caused this bug? What is its trac URL? Best wishes, Wolfgang