fixST for lazy ST is a bit wrong
#15349 (closed) exposed a problem with repeated computations in invocations of fixST that should fail but can instead produce answers or even subvert safe Haskell. That has been fixed for strict ST, but not yet for lazy ST.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.4.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Core Libraries |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |